初学ES6笔记四函数的扩展

本人的笔记内容来自于[阮一峰老师的ECMAScript 6 详细内容请看(http://es6.ruanyifeng.com/#docs/array)

函数的扩展

1.函数参数的默认值

ES6可以直接为函数的参数指定默认值。即直接写在参数定义的后面。

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

参数变量是默认声明的，所以不能用let或const再次声明。
一般情况下，定义默认值得参数应该在函数的尾函数。这样你叫容易看出。忽略了哪些参数。
使用参数默认值时，函数不能有同名参数。
参数默认值是惰性求值的（参数默认值不是传值的，而是每次都重新计算默认值表达式的值）
如果传入undefined，将触发该参数等于默认值,null就不会。
eg:

function foo(x=5,y=6){
console.log(x,y)
}
foo(undefined,null)//5 null

函数length属性是返回没有指定默认值得参数个数，指定默认值后，length属性将失真。

(function (a) {}).length // 1
(function (a = 5) {}).length // 0
(function (a, b, c = 5) {}).length // 2
length属性的返回值，等于函数的参数个数减去指定了默认值的参数个数。比如，上面最后一个函数，定义了 3 个参数，其中有一个参数c指定了默认值，因此length属性等于3减去1，最后得到2

2.rest参数
ES6 引入 rest 参数（形式为…变量名），用于获取函数的多余参数，这样就不需要使用arguments对象了。rest 参数搭配的变量是一个数组，该变量将多余的参数放入数组中。
rest 参数代替arguments变量的例子。

// arguments变量的写法
function sortNumbers() {
  return Array.prototype.slice.call(arguments).sort();
}
// rest参数的写法
const sortNumbers = (...numbers) => numbers.sort();

arguments对象不是数组，而是一个类似数组的对象。所以为了使用数组的方法，必须使用Array.prototype.slice.call`先将其转为数组。
rest 参数就不存在这个问题，它就是一个真正的数组，数组特有的方法都可以使用。

function push(array, ...items) {
  items.forEach(function(item) {
    array.push(item);
    console.log(item);
  });
}
var a = [];
push(a, 1, 2, 3)
rest 参数之后不能再有其他参数（即只能是最后一个参数），否则会报错

函数的length属性，不包括 rest 参数。

(function(a) {}).length  // 1
(function(...a) {}).length  // 0
(function(a, ...b) {}).length  // 1

3.严格模式
函数内部可以设定为严格模式。

function doSomething(a, b) {
  'use strict';
  // code
}

函数参数使用了默认值、解构赋值、或者扩展运算符，那么函数内部就不能显式设定为严格模式，否则会报错。

// 报错
function doSomething(a, b = a) {
  'use strict';    // code
}  
// 报错
const doSomething = function ({a, b}) {
  'use strict';      // code
};
// 报错
const doSomething = (...a) => {
  'use strict';   // code
};
const obj = {
  // 报错
  doSomething({a, b}) {
    'use strict';  // code
  }
};

增加了复杂性，两种方法可以规避这种限制。第一种是设定全局性的严格模式，这是合法的。

'use strict';

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

第二种是把函数包在一个无参数的立即执行函数里面。

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

4.扩展运算符
扩展运算符（spread）是三个点（…）。它好比rest参数的逆运算，将一个数组转为逗号分隔的参数序列。

console.log(...[1,2,3])//1 2 3
console.log(1,...[1,2,3],5)//1 2 3 4 5

该运算符主要用于函数调用。

function push(array,...item){
array.push(...item);
}
function add(x,y){
return x+y;
}
var number=[4,38];
add(...number)//42

array.push(…item)和add(…number)都使用了函数调用，他们使用了扩展运算符，该运算符将一个数组变为参数序列。

扩展运算符与正常的函数参数可以结合使用。

function f(v,w,x,y,z){
var args=[0,1];
}
f(-1,...arg,2,...[3]);

替代数组apply方法
由于扩展运算符可以展开数组，所以可以不再需要apply方法将数组转换为函数的参数了。

//ES5写法
function f(v,w,x,y,z){}
var args=[0,1,2];
f.apply(null,args);
 //ES6写法
function f(x,y,z){}
var args=[0,1,2];
f(...args);

应用Math.max方法简化求数组最大元素的写法

//ES5的写法
Math.max.apply(null,[14,3,77])
//ES6的写法
Math,max(...[14,3,77])
//等同于
Math.max(14,3,77)

通过push函数将一个数组添加到另一个数组的尾部。

//ES5的写法
var arr1=[0,1,2];
var arr2=[3,4,5];
Array.prototype.push.apply(arr1,arr2);
//ES6的写法
var arr1=[0,1,2];
var arr2=[3,4,5];
arr1.push(...arr2)

合并数组
扩展运算符提供了数组合并的新写法

//ES5的写法
[1,2].concat(more)
//ES6的写法
[1,2,...more]
var arr1=['a','b'];
var arr2=['c'];
var arr3=['d','e'];

//ES5的合并数组
arr1.concat(arr2,arr3);//['a','b','c','d','e']
//ES6的合并数组
[...arr1,arr2,...arr3]//['a','b','c','d','e']

与解构赋值空结合
扩展运算符可以与解构赋值结合起来用于生成数组

    //ES5
    a=list[0],rest=list.slice(1);
    //ES6
    [a,...rest]=list
const [first,...rest]=[1,2,3,4,5];
first//1
rest//[2,3,4,5]
const [first,...rest]=[];
first//undefined
rest//[];
 const [first,...rest]=['foo'];
 first//'foo'
 rest//[]

如果将运算符用于数组赋值，只能放在参数的最后一位，否则会报错。
函数返回值，JavaScript只能返回一个值，扩展运算符能返回数组或对象。

var dataFields=readDateFields(database);
var d=new Date(...dateFields);

能将字符串转为真正的数组

[...''hello]//['h','e','l','l','o']
能够识别32位的Unicode
'x\uD83D\uDE80y'.length//4
[...'x\uD83D\uDE80y'].length//3
上面这种写法。JavaScript容易吧Unicode识别成两个字符。写成下面这样就OK了
function length(str){
return [...str].length
}

length('x\uD83D\uDE80y')//3

任何类似数组的对象都可以用扩展运算符转为真正的数组。

var nodeList=document.querySelectctorAll('div');
var array=[...nodeList];

Map和Set结构，Generator函数
扩展运算符内部都是调用数据结构的Iterator接口，只要有Iterator接口就可以使用扩展运算符。

let map=new Map([
[1,'one'],
[2,'two'],
[3,'three']
])
let arr=[...map.keys()];//[1,2,3]

Generator函数运行后返回一个遍历器对象，也可以用扩展运算符。

var go=function *(){
yield 1;
yield 2;
yield 3;
};
[...go()]//[1,2,3]

变量go是一个Generator函数，函数执行后返回的是一个遍历器对象对这个遍历器对象执行扩展运算符，就会将内部遍历得到的值转为一个数组。

5.name属性
函数的name属性，返回该函数的函数名。

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

将一个具名函数赋值给一个变量，则 ES5 和 ES6 的name属性都返回这个具名函数原本的名字。

 const bar = function baz() {};
  // ES5
    bar.name // "baz"
    // ES6
    bar.name // "baz"

Function构造函数返回的函数实例，name属性的值为anonymous。

(new Function).name // "anonymous"

bind返回的函数，name属性值会加上bound前缀。

function foo() {};
foo.bind({}).name // "bound foo"

(function(){}).bind({}).name // "bound "

6.箭头函数
ES6 允许使用“箭头”（=>）定义函数。
箭头函数不需要参数或需要多个参数，就使用一个圆括号代表参数部分

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; }

如果箭头函数**直接返回一个对象**，必须在对象外面加上括号，否则会报错。

// 报错
let getTempItem = id => { id: id, name: "Temp" };

// 不报错
let getTempItem = id => ({ id: id, name: "Temp" });

箭头函数有几个使用注意点。

（1）函数体内的this对象，就是定义时所在的对象，而不是使用时所在的对象。

（2）不可以当作构造函数，也就是说，不可以使用new命令，否则会抛出一个错误。

（3）不可以使用arguments对象，该对象在函数体内不存在。如果要用，可以用 rest 参数代替。

（4）不可以使用yield命令，因此箭头函数不能用作 Generator 函数。

不适用场合
由于箭头函数使得this从“动态”变成“静态”，下面两个场合不应该使用箭头函数。

第一个场合是定义函数的方法，且该方法内部包括this。

const cat = {
  lives: 9,
  jumps: () => {
    this.lives--;
  }
}

第二个场合是需要动态this的时候，也不应使用箭头函数。

var button = document.getElementById('press');
button.addEventListener('click', () => {
  this.classList.toggle('on');
});

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

// 等同于
bar.bind(foo);

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

const hasOwnProperty = Object.prototype.hasOwnProperty;
function hasOwn(obj, key) {
  return obj::hasOwnProperty(key);
}

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

var method = obj::obj.foo;
// 等同于
var method = ::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.strength > 100)
::forEach(x => console.log(x));

8.尾调用优化
指某个函数的最后一步是调用另一个函数。

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);
}

情况一是调用函数g之后，还有赋值操作，所以不属于尾调用，即使语义完全一样。
情况二也属于调用后还有操作，即使写在一行内。
情况三等同于下面的代码。

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

尾调用不一定出现在函数尾部，只要是最后一步操作即可。

function f(x) {
  if (x > 0) {
    return m(x)
  }
  return n(x);
}

尾调用优化，即只保留内层函数的调用帧

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

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);
}

factorial(5, 1) // 120