主页 / coding / 问题 / 79599365
Accepted
Ed Staub
Asked: 2025-04-30 08:34:25 +0800 CST

V8 是否根据闭包值优化内部函数？

  • 772

例如：

function makeFunc(a,b,c,d,e) {
    return () => {
        if (a) { /* do something expensive not referencing b,c,d,e */ }
        if (b) { /* do something expensive not referencing a,c,d,e */ }
        if (c) { /* do something expensive not referencing a,b,d,e */ }
        if (d) { /* do something expensive not referencing a,b,c,e */ }
        if (e) { /* do something expensive not referencing a,b,c,d */ }
    }
}

const func = makeFunc(true, false, false, false, false)
for ( let i=0; i < 100_000; i++) func()

我希望，在这个例子中，V8 能够优化if (x)闭包上的测试，只发出

/* do something expensive not referencing b,c,d,e */

if (a)执行100,000次之后。

javascript

2 个回答

  1. 据我所知，没有。（或者：也许）。

    您已将函数柯里化，使其能够进行部分求值，但这实际上仅对代码本身有帮助makeFunc。 中的代码func在每次调用时都会运行。而且 V8 不会进行任何常量传播来将a/ b/… 的值内联到 中。为什么？主要是因为它们不是常量，而是函数的参数；每次执行func时，它们的值可能都不同。if

    而真正的主要问题（或者说：你所期望的解决方案）是闭包代码的特化。闭包不是模板；即使makeFunc()创建了不同的函数对象，它们也共享相同的（字节）代码和相同的优化。从这篇关于 V8 优化的深入分析中可以看出：

    […] 我们希望在不同的闭包之间共享代码，因为为每个闭包生成一个代码对象会浪费资源（包括时间和内存），尤其是如果你使用带有高阶内置函数的箭头函数，例如

    let b = a.map(x => x + 1);

    您不希望每次执行此行时都运行优化编译器，只是为了为 x => x + 1 生成专门的代码对象。

    虽然我认为这不是您想要的通用答案，但您的具体示例代码确实得到了优化。但这仅仅是因为您只调用了一次该函数 :-/ 针对函数的首次调用进行优化（和专门化） 会带来可衡量的加速，因为网站上的很多函数只被调用一次。而且 V8 实际上可以进行函数上下文专门化（整篇深入探讨的文章都是关于它的！），然而，我上面省略的引用部分确实解释了 V8 就是这样做的：

    它仅在任何函数的第一次关闭时启用

    我找到的更多资源：

    • 2
  2. Best Answer

    是的，V8 对此进行了优化，只要外部上下文的变量永远不会被写入（意思是：只要不存在可以写入它们的代码）。

    这是一个反例，由于上下文变量不是常量，因此无法进行优化：

    function makeFuncs(a, b, c, d e) {
  return {
    f1: () => { if (a) { console.log("a was true"); }},
    f2: () => { a = !a; }
  }
}

let funcs = makeFuncs(true);
funcs.f1();  // prints
funcs.f2();
funcs.f1();  // doesn't print

    显然，当f1自行优化时，编译器不能仅仅采用当前值a并假设它永远不会改变。

    但只要f2赋值a = ...语句不存在，V8 就能意识到它a永远不会被写入，因此编译器可以安全地将其视为常量。所以在原帖的例子中，if检查确实被优化掉了。

    （感谢@Dada完成这里的大部分调查！）

    • 1

相关问题