ES6 6. 函数的扩展

1 函数参数的默认值

1.1 基本用法

在ES6之前，不能直接为函数的参数指定默认值，只能采用变通的方法。

function log(x, y){
  y = y || 'World';
  console.log(x, y);
}

// 缺点：如果参数y赋值了，但是对应的布尔值为false，则该赋值无效。
log('Hello', '') // Hello World

为了避免这个问题，通常需要提前判断参数y是否被赋值，如果没有，再令其等于默认值。

if(typeof y === 'undefined'){
  y = 'World';
}

ES6之后允许为函数的参数设置默认值，即直接卸载参数定义的后面。

function log(x, y = 'World'){
  console.log(x, y);
}

• 参数是默认声明的
• 函数不能有同名参数
• 参数的默认值是惰性求值的

let x = 99;
function foo(p = x + 1){
  console.log(p);
}

foo() // 100

x = 100;
foo() // 101

1.2 与解构赋值默认值结合使用(不可省略)

function foo({x, y = 5}){
  console.log(x, y);
}

foo({}); // undefined, 5
foo({x: 1}); // 1, 5
foo({x: 1, y: 2}); // 1, 2
foo(); // TypeError: Cannot read property 'x' of undefined

写法一中函数参数的默认值是空对象，但是设置了对象解构赋值的默认值。

写法二中函数参数的默认值是一个有具体属性的函数，但是没有设置对象解构赋值的默认值。

// 写法一
function m1({x = 0, y = 0} = {}){
  return [x, y];
}

// 写法二
function m2({x, y} = {x: 0, y: 0}){
  return [x, y];
}

m1() // [0, 0]
m2() // [0, 0]

m1({x:3, y:8}) // [3, 8]
m2({x:3, y:8}) // [3, 8]

m1({x:3}) // [3, 0]
m2({x:3}) // [3, undefined]

m1({}) // [0, 0]
m2({}) // [undefined, undefined]

m1({z:3}) // [0, 0]
m2({z:3}) // [undefined, undefined]

1.3 参数默认值的位置

通常情况下，定义了默认值的参数应该是函数的尾函数。因为这样比较容易看出到底省略了哪些参数。如果非尾部的参数设置默认值，实际上这个参数是无法省略的。

function f(x = 1, y){
  return [x, y];
}

f() // [1, undefined]
f(2) // [2, undefined]
f(, 1) // 报错
f(undefined, 1) // [1, 1]

function f(x, y = 5, z){
  return [x, y, z];
}

f() // [undefined, 5, undefined]
f(1) // [1, 5, undefined]
f(1, 2) // 报错
f(1, undefined, 2) // [1, 5, 2]

只有undefined才能触发默认值

1.4 函数的length属性

指定默认值后，函数的length属性将返回没有指定默认值的参数个数。也就是说，指定默认值后，length属性会失真。

(function (a){}).length // 1
(function (a = 5){}).length // 0
(function (a, b, c = 5){}).length // 2

length属性的含义是该函数预期传入的参数个数。

如果设置了默认值的参数不是尾参数，那么length属性不在计入后面的参数

1.5 作用域

一旦设置了参数的默认值，函数进行声明初始化时，参数会形成一个单独的作用域。等到初始化结束，这个作用域就会消失。这种语法行为在不设置参数默认值时是不会出现的。

var x = 1;

function f(x, y = x){
  let x = 3;
  console.log(y);
}

f(2) // 2

1.6 应用

利用参数默认值可以指定某一个参数不得省略，如果省略就抛出错误。

function throwIfMissing(){
  throw new Error('Missing parameter');
}

function foo(mustBeProvided = throwIfMissing(){
	return mustBeProviede;
})

foo() // Error: Missing parameter

将参数默认值设为undefined后，可以表明这个参数可以省略

2 rest参数

ES6引入了rest参数（形式为"…变量名"），用于获取函数的多余参数，这样就不需要使用arguments对象了。

function add(...values){
  let sum = 0;

  for(var val of values){
    sum += val;
  }
  return sum;
}

add(2, 5, 3);

下面是rest参数代替arguments变量的例子。

// arguments 变量的写法
function sortNumbers(){
  return Array.prototype.slice.call(arguments).sort();
}

// rest 参数的写法
const sortNumber = (...numbers) => number.sort();

利用rest参数改写数组push方法的例子

function push(array, ...items){
  items.forEach(function(item){
    array.push(item);
    console.log(item);
  });
}

var a = [];
push(a, 1, 2, 3);

rest参数之后不能再有其他参数，否则会报错

同函数的默认值，函数的length属性不包括rest参数。

3 严格模式

ES5时已经支持严格模式，但是ES6规定了只要函数的参数使用了默认值、解构赋值、扩展运算符，就不能显式指定严格模式。因为这些函数在执行时，会执行参数，再执行函数体，这样会有不合理的地方：只有在函数体内才知道参数是否以严格模式执行，但是参数却应该先于函数体执行。

两种方法可以避免这种限制

• 全局性的严格模式
• 把函数包裹在一个无参的立即执行函数里面

'use strict';

function doSomething(a, b = a){
  // code
}

const doSomething = (function () {
  'use strict';
  return function(value = 42){
    return value;
  };
}());

4 name属性

返回函数的函数名。这个属性早就被浏览器广泛支持，但是知道ES6才写入了标准。

function foo() {}
foo.name // "foo"

ES6对这个属性的行为做出了一些修改。

var f = function(){};

// ES5
f.name // ""

// ES6
f.name // "f"

• 如果将一个匿名函数赋值给一个变量，ES5的name属性会返回空字符串，而ES6的name属性会返回实际的函数名。
• Function构造函数返回的函数实例，name属性的值为anonymous
• bind返回的函数，name属性会加上bound前缀

5 箭头函数

5.1 基本用法

var f = v => v;
// 等价于
var f = function(v){
  return v;
};

如果箭头函数不需要参数或需要多个参数，就使用圆括号代表参数部分。

var f = () => 5;
//等价于
var f = function() {return 5};

var sum = (num1, num2) => num1 + num2;
// 等价于
var sum = function(num1, num2){
  return num1 + num2;
};

如果箭头函数的代码块部分多于一条语句，就要使用大括号将其括起来，并使用return语句返回。

var sum = (num1, num2) => {return num1 + num2}

由于大括号被解释为代码块，所以如果箭头函数直接返回一个对象，必须在对象外面加上括号。

vaar getTempItem = id => ({id: id, name: "Temp"});

箭头函数可以与变量解构结合使用。

const full = ({first, last}) => first + ' ' + last;
// 等同于
function full(person){
  return person.first + ' ' + person.last;
}

5.2 注意事项

• 函数体内的this对象就是定义时所在的对象，而不是使用时所在的对象。在箭头函数内它是固定的。
• 不可以当作构造函数。也就是说，不可以使用new命令，否则会抛出一个错误。
• 不可以使用arguments对象，该对象在函数体内不存在。如果要用，可以用rest参数代替。
• 不可以使用yield命令，因此箭头函数不能用作Generator函数。

箭头函数内this绑定定义时所在的作用域，而不是指向运行时所在的作用域。

function Timer() {
  this.s1 = 0;
  this.s2 = 0;
  // 箭头函数
  setInterval(()=> this.s1++, 1000);
  // 普通函数
  setInterval(function () {
    this.s2++;
  }, 1000);
}

var timer = new Timer();

setTimeout(() => console.log('s1: ', timer.s1), 3100); // s1: 3
setTimeout(() => console.log('s2: ', timer.s2), 3100); // s2: 0

箭头函数里面的this总是指向外层代码块的this，实际原因是箭头函数根本没有自己的this，所以它也不能用作构造函数。

var handle = {
  id: '123456',
  init: function(){
    document.addEventListener('click',
      event => this.soSomething(event.type), false),
  },
    
  doSomething: function(type){
    console.log('Handle ' + type + ' for ' + this.id);
  }
};

除了this，以下3个变量在箭头函数中也是不存在的，分别之乡外层函数的对应变量：arguments、super和new.target。

function foo(){
  setTimeout(()=>{
    console.log('args:', arguments);
  }, 100);
}

foo(2, 4, 6, 8) // args: [2, 4, 6, 8]

因为没有自己的this，当然也就不能有call()、apply()、bind()这些方法去改变this的指向。

5.3 嵌套的箭头函数

function insert(value){
  return (into: function (array){
    return {after: function (afterValue){
      array.splice(array.indexOf(afterValue) + 1, 0, value);
      return array;
    }};
  });
}

insert(2).into([1, 3]).after(1); // [1, 2, 3]

// 等价于
let insert = (value) => ({into: (array)=>({after: (afterValue) => {array.aplice(array.indexOf(afterValue) + 1, 0, value)}})});

部署管道机制（pipeline）的例子，即前一个函数的输出是后一个函数的输入。

const pipeline = (...funcs) => val => funcs.reduce((a, b) => b(a), val);

const plus1 = a => a + 1;
const muilt2 = a => a * 2;
const addThenMult = pipeLine(plus1, mult2);

addThenMult(5) // 12

// 等价于
const plus1 = a => a + 1;
const mult2 = a => a * 2;
mult2(plus1(5))

箭头函数还有一个功能，就是可以很方便地改写λ演算。

// λ演算的写法
fix = λf.(λx.f(λv.x(x)(v))(λv.x(x)(v)));

// ES6的写法
var fix = f => (x => f(v => x(x)(v)))(x => f(v => x(x)(v)));

6 绑定this

箭头函数可以绑定this对象，大大减少了显式绑定this对象的写法（call、apply、bind）。但是，箭头函数并非适用于所有场合，所以ES7提出了“函数绑定”（function bind）运算符，用来取代call、apply、bind调用。虽然该语法还是ES7的一个提案，但是Babel转码器已经支持了。

函数绑定运算符是并排的双冒号（::），双冒号左边是一个对象，右边是一个函数。该运算符会自动将左边的对象作为上下文环境（即this对象）绑定到右边的函数上。

foo::bar;
// 等价于
bar.bind(foo);

foo::bar(...arguments);
// 等同于
bar.bind(foo, arguments);

如果双冒号左边为空，右边是一个对象的方法，则等于将该方法绑定在该对象上。

var menthod = obj::obj.foo;
// 等同于
var menthod = ::obj.foo;

let log = ::console.log;
// 等同于
var log = console.log.bind(console);

由于双冒号运算符返回的还是原对象，因此可以采用链式写法。

// 例一
import {map, takeWhile, forEach} from "iterlib";

getPlayers()
::map(x => x.character())
::takeWhile(x => x.strengrh > 100)
::forEach(x => console.log(x));

// 例二
let {find, html} = jake;
document.querySelectorAll("div.myClass")
::find("p")
::html("hahaha");

7 尾调用优化

7.1 什么是尾调用

（Tail Call）函数式编程的一个重要概念，就是指某个函数的最后一步是调用另一个函数。尾调用不一定出现在函数尾部 ，只要是最后一步操作即可。

function f(x){
  return g(x);
}

以下不属于尾调用

// 情况一
function f(x){
  let y = g(x);
  return y; // 调用函数后还有赋值操作。
}

// 情况二
function f(x){
  return g(x) + 1 // 调用另一函数后还有一步运算
}

// 情况三
function f(x){
  g(x);
  // return undefined;
}

7.2 尾调用优化

函数调用时会在内存形成一个”调用记录“，又称”调用帧“（call frame），保存调用位置和内存变量等信息。如果在函数A的内部调用函数B，那么在A的调用帧上方还会形成一个B的调用帧。等到B运行结束，将结果返回到A，B的调用帧才会消失。如果函数B内部还调用了函数C，那就还有一个C的调用帧，以此类推。所有的调用帧就会形成一个”调用栈“（call stack）。

尾调用由于事函数的最后一步操作，所以不需要保留外层函数的调用帧，因为调用位置、内部变量等信息都不会再用到了，直接用内层函数的调用帧取代外层函数的即可。

function f(){
  let m = 1;
  let n = 2;
  return g(m + n);
}
f();

// 等同于
function f(){
  return g(3);
}
f();

// 等同于
g(3);

这就是尾部调用优化，即只保留函数的调用帧。如果所有函数都是尾调用，那么完全可以做到每次执行时调用帧只有一项，这将大大节省内存。

function addOne(a){
  var one = 1;
  function inner(b){
    return b + one;
  }
  return inner(a);
}

上面的函数不会进行尾调用优化，因为内层函数inner用到了外层函数addOne的内部变量one。

7.3 尾递归

函数调用自身成为递归。如果尾调用自身就成为尾递归

递归非常费内存，因为需要同时保存成百上千个调用帧，很容易发生”栈溢出“错误（stack overflow）。但对于尾递归来说，由于只存在一个调用帧，所以永远不会发生“栈溢出”错误。

function factorial(n){
  if(n === 1) return 1;
  return n * factorial(n - 1);
}

factorial(5); // 120

上面的代码时一个阶乘函数，计算n的阶乘，最多需要保存n个调用记录，复杂度为O(n)。

如果改成尾递归，只保留一个调用记录，则复杂度为O(1)；

function factorial(n, total){
  if(n === 1) return total;
  return factorial(n - 1, n * total);
}

还有个比较著名的例子——计算Fibonacci数列，也能充分说明尾递归优化的重要性。非尾递归的Fibonacci数列实现如下。

function Fibonacci(n){
  if(n <= 1){return 1};
  
  return Fibonacci(n - 1) + Fibonacci(n - 2);
}

Fibonacci(10); // 89
Fibonacci(100); // 堆栈溢出
Fibonacci(500); // 堆栈溢出

尾递归优化的Fibonacci数列实现如下。

function Fibonacci2(n, ac1 = 1, ac2 = 1){
  if(n <= 1){return ac2};
	return Fibonacci2(n -1, ac2, ac1 + ac2);
}

Fibonacci2(100); // 573147844013817200000
Fibonacci2(1000); // 7.0330367711422765e+208
Fibonacci2(10000); // Infinity

7.4 递归函数的改写

尾递归的实现往往需要改写递归函数，确保最后一步只调用自身。要做到这一点，需要把所有用到的内部变量改写成函数的参数。比如上面的例子，阶乘函数factorial需要用到一个中间变量total，那么就把这个中间变量改写成函数的参数。

7.4.1 第一种方法

function tailFactorial(n, total){
  if(n === 1) return total;
  return tailFactorial(n - 1, n * total);
}

function factorial(n){
  return tailFactorial(n, 1);
}

factorial(5) // 120

**函数式编程有一个概念，叫做柯里化（currying），**意思是将多参数的函数转换成单参数的形式。这里也可以使用柯里化。

function curring(fn, n){
  return function (m){
    return fn.call(this, m, n);
  }
}

function tailFactorial(n, total){
  if(n === 1) return total;
  return tailFactorial(n - 1, n * total);
}

const factorial = currying(tailFactorial, 1);

factorial(5);

7.4.2 第二种方法

采用ES6的函数默认值

function factorial(n, total = 1){
  if(n == 1) return total;
  return factorail(n - 1, n * total);
}

factorial(5) // 120

7.5 严格模式

ES6的尾调用优化只有在严格模式下开启，正常模式下是无效的。

正常模式下函数内部有两个变量，可以跟踪函数的调用栈。

• func.arguments：返回调用时函数的参数
• func.caller：返回调用当前函数的那个函数

尾调用优化发生时，函数的调用栈会改写，因此上面两个变量就会失真。严格模式禁用这两个变量，所以尾调用模式尽在严格模式下生效。

function restricted(){
  'use strict';
  restricted.caller; // 报错
  restricted.arguments; // 报错
}

7.6 尾递归优化的实现

尾递归优化只在严格模式下生效，那么如何在正常模式下使用——自己实现尾递归优化

尾递归之所以需要优化，是因为调用栈太多造成溢出，那么只要减少调用栈就不会溢出。可以通过“循环”替换“递归”来减少调用栈。

下面是一个正常的递归函数

function sum(x, y){
  if(y > 0){
    return sum(x + 1, y)
  } else {
    return x;
  }
}

sum(1, 100000);

// Uncaught RangeError：Maximum call stack size exceeded(..)

上面代码就是超出调用栈的最大次数。

蹦床函数（trampoline）可以将递归执行转为循环执行。

function trampoline(f){
  while (f && f is instanceof Function){
    f = f();
  }
  return f;
}

以上代码就是蹦床函数的一个实现，它接受函数f作为参数。只要f执行后返回一个函数，就继续执行。

这里是返回一个函数，然后执行该函数，而不是在函数里面调用函数，这样就避免了递归执行，从而消除了调用栈过大的问题。

然后要做的是将原来的递归函数改写为每一步返回另一个函数。

function sum(x, y){
  if(y > 0){
    return sum.bind(null, x + 1, y - 1);
  } else {
    return x;
  }
}

上面的代码中，sum函数的每次执行都会返回自身的另一个版本。

现在，使用蹦床函数执行sum就不会出现调用栈溢出

trampoline(sum(1, 100000))
// 100001

蹦床函数并不是真正的尾递归优化，下面的实现才是。

function tco(f){
  var value;
  var active = false;
  var accumulated = [];
  
  return function accumulator(){
    if(!active){
      active = true;
      while(accumulated.length){
        value = f.apply(this, accumulated.shift());
      }
      active = false;
      return value;
    }
  }
}

var sum = tco(function(x, y){
  if(y > 0){
    return sum(x + 1, y - 1)
  } else {
    return x;
  }
});

sum(1, 100000)
// 100001

上面的代码中，tco函数是尾递归优化的实现，它的奥妙在于状态变量active。默认情况下，这个变量是不被激活的。一旦进入尾递归优化的过程，这个变量就被激活了。然后每一轮递归sum返回都是undefined，所以就避免了递归执行；而accumulate数组存放每一轮sum执行的参数，总是有值的，这就保证了accumulator函数内部的while循环总会执行，很巧妙地将“递归”改成了“循环”，而后一轮的参数会取代前一轮的参数，保证了调用栈只有一层。

8 函数参数的尾逗号(提案)

ES2017中有一个提案，允许函数的最后一个参数有尾逗号。

对于版本管理系统来说，每次修改参数个数时，避免了尾部添加一个逗号而引起的冗余。