我们对 JS 中的箭头函数优化有什么保证吗？

Question

假设我们有下一个 function：

const x = a => a;
const result = x('hello')

我们是否在 Google V8 / Firefox Quantum 中保证x将优化为const result = 'hello' ？

为什么我要问它？

请看我的回答。 有时，在 TypeScript 中推断类型的唯一方法是制作简单的 function。

type Validation<T> = T
const x = <T>(arg:Validation<T>)=>arg

这是一个开销。 所以，我很好奇，我可以使用这种技术进行类型推断并且不用担心 function 开销吗？

Answer 1

（这里是 V8 开发人员。）

一般来说：不能保证什么会或不会得到优化。 引擎的优化决策也会随着时间而改变：目标不是尽可能地优化（因为优化本身的成本并不总是值得的）； 目标是在正确的时间优化正确的事情。 这很可能意味着工程团队决定让他们的引擎优化得更少，以获得更好的整体性能（或更少的抖动，或更少的 memory 消耗，或其他）。

在这种特定情况下可能会发生什么：这取决于（像往常一样）。 如果该函数的定义及其调用站点是顶级代码（执行一次），它很可能不会得到优化——因为优化这样的代码通常是不值得的。 您将无法衡量差异，但如果您能够衡量差异，您会发现对于只运行一次的代码来说，不进行优化会更快。
另一方面，如果这个标识 function 是从“热”代码中调用的，而该热代码本身会在一段时间后被选择进行优化，那么优化编译器很可能会内联 function，然后（平凡地）优化它离开。
If the definition of the identity function is executed repeatedly, then (at least before/unless inlining happens) this will unnecessarily create several function objects (because JavaScript functions have object identity). 这是一种很容易避免的低效率（所以我个人会避免它）； 但同样：它是否真的重要，即它是否具有可衡量的效果，取决于代码执行的频率。

简而言之：在这种情况下，不用担心 function 开销可能没问题； 但是，不能保证对身份 function 的调用将得到优化。

（退后一步，看看更广泛的背景：我对 TypeScript 的高级功能知之甚少，但我的直觉是 TS 编译器的某种插件可能是一种更优雅的方式来强制对文字进行特定类型检查。如果字符串是在运行时构造的，那么 TS 的检查无论如何都无济于事，就像 TS 的类型检查系统的 rest 一样。）