Javascript （V8） 是否优化了未使用的返回值

Question

假设我们有一个这样的函数：

function foo() {

  // do some work...

  return () => {}; // foo returns a function

}

客户端代码可以在两种情况下使用：foo

使用函数的结果

const result = foo();

// some code that uses result...

忽略函数的结果

foo();

我想知道运行时（我不想引用语言本身，因为它很可能是依赖于实现的）是否会优化第1rst情况，所以我不必像这样自己做：

function foo(needTheResultValue = false) {

  // do some work...

  if (needTheResultValue) return () => {};

  // nothing is returned if the caller didn't ask for it

}

Answer 1

V8 开发人员在这里。简短的回答是“视情况而定，不要担心”。一般来说，据我所知，V8（和其他引擎）会根据每个功能进行优化。因此，在您的示例中，如果优化了，则不知道其返回值是将被使用还是被忽略，因此它无法对其进行优化。foo例外情况是内联：优化编译器能够在优化调用函数时内联调用函数，例如在此示例中：function foo() {&nbsp; // Do some FOO work...&nbsp; return {};}function bar() {&nbsp; foo();&nbsp; // Do some BAR work...}优化后，它将（继续）返回一个新分配的空对象，无论它从何处调用。当被优化时，编译器可能会决定内联，并且在该步骤之后，它会看到（它自己的假设函数的内部表示，例如）：foobarfoofunction bar() {&nbsp; // Do some FOO work...&nbsp; {};&nbsp; // Do some BAR work...}然后，它可以很容易地将未使用的对象分配放在那里。也就是说，正如对这个问题的评论所指出的那样，这不是你需要担心的事情。（除非你碰巧不必要地花费大量时间来构建昂贵但未使用的返回值 - 但这似乎不太可能，因为这是一个相当明显的低效率，所以你很可能不会首先编写这样的代码。特别是，与不返回任何内容相比，返回您计算的某个值的成本为零，因为每个函数总是返回一些东西 - 如果它没有语句，那么引擎将悄悄地为您插入一个。这意味着并且将编译为完全相同的代码。如果你决定写这样的东西：returnreturn undefined;function f1() {}function f2() { return undefined; }function overly_clever(need_result) {&nbsp; let result = do_some_work();&nbsp; if (result < 0) handle_error();&nbsp; if (need_result) {&nbsp; &nbsp; return result;&nbsp; } else {&nbsp; &nbsp; // Return nothing.&nbsp; }}那么这个函数会比你用一个简单的替换空行后面的所有内容稍微慢（不可测量），因为“空”-branch（自动插入）并不比 快，所以评估条件是浪费时间。return resultelsereturn undefined;return resultneed_result所以，简而言之：不要担心它。编写有意义的代码，让引擎负责优化它。（为了完整性：如果你确实觉得需要进行手动优化工作，请通过测量来指导它：分析你的应用以查看花费最多时间的位置，并测量任何尝试更改的效果以查看它们是否有效。不要使用微基准标记，因为它们往往会产生误导。