`Function.prototype.length` 到底是什么意思？

Question

有一个Function.prototype.arity 属性用于获取函数期望的参数数量。现在它已经过时了（从 JS 1.4 开始），同样的目标有 Function.prototype.length。

但是最近我在文档中发现了一篇关于Array.prototype.reduce 方法的文章。它清楚地表明该方法的属性length 等于1：

reduce 方法的 length 属性为 1。

这篇确切的文章有一个带有多个参数的标题，其中有两个：

Array.prototype.reduce ( callbackfn [ , initialValue ] )

callbackfn 和 initialValue（可选）。

所以我不清楚length 属性的确切用途。
如果它是用来给开发者提供有用信息的，那么它实际上并没有。
如果它只是一个技术自动生成的属性，只是表示函数定义中的参数数量，那为什么不保持它的一致性呢？

Answer 1

Array.prototype.reduce 的length 为 1，因为第二个参数是可选的。*

所以我不清楚length 属性的确切用途。

告诉开发者在第一个具有默认值的参数（如果有）或其余参数（如果有）之前有多少个声明的参数，以参数列表中最早的那个为准。或者the spec puts it:

length 属性的值是一个整数，表示函数期望的参数的典型数量。

确切的算法在the spec's Static Semantics: ExpectedArgumentCount section。

如果它是用来给开发者提供有用信息的，那么它实际上并没有。

嗯，这是一个见仁见智的问题。 :-)

当你有一种像 JavaScript 这样的语言时，函数只能表达一个期望，但可以用更少或更多的参数调用，特别是当你添加默认参数值和剩余参数的概念时，函数的arity 也就不足为奇了是一个有点软的概念。

一些有趣的例子：

function ex1(a) { }             // length is 1, of course
function ex2(a, b = 42) { }     // length is 1, `b` has a default
function ex3(a, b = 42, c) { }  // length is 1, `b` has a default and
                                // `c` is after `b`
function ex4(a, ...rest) { }    // length is 1 yet again, rest parameter doesn't count

---

* 在 ES5 中，它在 JavaScript 中的声明是：

function reduce(callback) {
    // ...
}

...然后它将使用arguments.length 来确定您是否应该使用initialValue。

在 ES2015+（又名“ES6”+）中，要么仍然是这样，要么是这样：

function reduce(callback, ...args) {
    // ...
}

...并使用args.length查看是否有初始值。

或者可能是这样的：

const omitted = {};
function reduce(callback, initialValue = omitted) {
    // ...
}

...然后使用initialValue === omitted 来了解您是否提供了初始值。 （initialValue 的默认值不能是 undefined 或 null 或类似的，因为函数必须根据参数是否提供 [不是它的值] 进行分支。但是我们可以使用对象标识来做到这一点.)