[ES6深度解析]9：Rest参数和默认值

Rest参数

在创建API时，一个常见的需求是创建可变参数函数（参数个数不确定），这个函数可以接受任意数量的参数。例如，string.prototype.concat方法接受任意数量的字符串参数。通过使用rest参数，ES6提供了一种编写可变参数函数的新方法。

为了演示，让我们编写一个简单的可变参数函数containsAll，它检查一个字符串是否包含许多子字符串。例如，containsAll("banana","b","nan")将返回true，而containsAll("banana"，"c"，"nan")将返回false。

下面是实现这个函数的传统方法:

function containsAll(haystack) {
  for (var i = 1; i < arguments.length; i++) {
    var needle = arguments[i];
    if (haystack.indexOf(needle) === -1) {
      return false;
    }
  }
  return true;
}

这个实现使用了神奇的arguments对象，这是一个包含传递给函数的形参的类数组对象。这段代码当然做了我们想要的，但是它的可读性不是最佳的。函数形参列表只包含一个形参haystack，所以不可能一眼就看出函数实际上有多个实参。此外，我们必须小心地开始遍历arguments 索引为1而不是0的参数，因为arguments[0] 对应于haystack参数。如果我们想在haystack之前或之后添加另一个参数，我们必须记住更新for循环。Rest参数解决了这两个问题。下面是一个使用rest参数的containsAll的自然ES6实现:

function containsAll(haystack, ...needles) {
  for (var needle of needles) {
    if (haystack.indexOf(needle) === -1) {
      return false;
    }
  }
  return true;
}

这个版本的函数具有与第一个相同的行为，但包含特殊的...needles语法。让我们看看调用containsAll("banana"，"b"，"nan")时如何调用这个特殊语法。参数haystack像往常一样被首先传递的参数赋值，即banana。needles前的省略号...表示它是一个rest参数。所有其他传递的参数都放在一个数组中，并赋值给变量needles。对于我们的示例调用，needles设置为[“b”，“nan”]。然后函数继续正常执行。

只有函数的最后一个参数才可以标记为rest参数。在调用中，rest参数之前的参数照常赋值。任何“额外”参数被放入一个数组中，并赋值给rest参数。如果没有额外的参数，那么rest形参将只是一个空数组;rest参数永远不会是undefined

缺省参数（Default parameters）

通常，函数不需要调用者传递所有可能的参数，对于未传递的参数，可以使用合理的默认值。JavaScript总是有一种不灵活的默认参数形式;未传递值的参数默认为undefined。ES6引入了一种指定任意参数默认值的方法。这是一个例子:

function animalSentence(animals2="tigers", animals3="bears") {
    return `Lions and ${animals2} and ${animals3}! Oh my!`;
}

对于每个参数，=后面的部分是一个表达式，如果调用者没有传递参数，则指定参数的默认值。因此，animalSentence() 返回"Lions and tigers and bears! Oh my!";animalSentence("elephants") 返回"Lions and elephants and bears! Oh my!";animalSentence("elephants", "whales") 返回"Lions and elephants and whales! Oh my!";

以下是与默认参数相关的一些微妙之处:

• 与Python不同，默认值表达式在函数调用时从左到右计算求值。这也意味着默认值表达式可以使用在它之前（左侧）填充的参数的值。例如，我们可以让我们的动物句子功能更奇妙，如下所示:

function animalSentenceFancy(animals2="tigers", animals3=(animals2 == "bears") ? "sealions" : "bears")
{
  return `Lions and ${animals2} and ${animals3}! Oh my!`;
}
// animalSentenceFancy("bears") 返回 "Lions and bears and sealions. Oh my!"

• 传递undefined被认为等于什么都不传递。因此，animalSentence(undefined, "unicorns")返回"Lions and tigers and unicorns! Oh my!"
• 没有默认值的形参隐式默认为undefined。 function myFunc(a=42, b) {...}是允许的，等同于function myFunc(a=42, b=undefined) {...}

抛弃arguments

现在我们已经看到，rest形参和默认值可以替代arguments对象的使用，删除arguments通常会使代码更易于阅读。除了有损可读性之外，arguments对象的魔力还会给优化JavaScript vm带来麻烦。