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再次声明。
function foo(x = 5) {
let x = 1; // error
const x = 2; // error
}
- 使用参数默认值时,函数不能有同名参数。
function foo (x , x, y) { ... }
function foo (x , x, y = 1) { ... }
// SyntaxError: Duplicate parameter name not allowed in this context
- 参数默认值不是传值的,而是每次都从新计算默认值表达式的值
// 写法一 函数参数的默认值是空对象,但是设置了对象解构赋值的默认值
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]
// x 和 y 都有值的情况
m1({x: 3, y: 8}) // [3, 8]
m2({x: 3, y: 8}) // [3, 8]
// x 有值,y 无值的情况
m1({x: 3}) // [3, 0]
m2({x: 3}) // [3, undefined]
// x 和 y 都无值的情况
m1({}) // [0, 0];
m2({}) // [undefined, undefined]
m1({z: 3}) // [0, 0]
m2({z: 3}) // [undefined, undefined]
- 参数默认值的位置
定义了默认值的参数,应该是函数的尾参数。因为这样比较容易看出来,到底省略了哪些参数。如果非尾部的参数设置默认值,实际上这个参数是没法省略的。 - 函数的 length 属性
(1) 指定了默认值以后,函数的length
属性,精会返回指定默认值的参数个数,也就是说指定了默认值后.length
属性将失真.
(function (a) {}).length // 1
(function (a) { x = 1}).length // 0
(function (a) { a , b , c =3}).length // 2
(2) 如果设置了默认值的参数不是尾参数,那么length属性也不再计入后面的参数了。
(function (a = 0, b, c) {}).length // 0
(function (a, b = 1, c) {}).length // 1
- 作用域
一旦设置了参数的默认值,函数进行声明初始化时,参数会形成一个单独的作用域(context)。等到初始化结束,这个作用域就会消失。这种语法行为,在不设置参数默认值时,是不会出现的。
var x = 1;
function foo(x, y = function() { x = 2; }) {
var x = 3;
y();
console.log(x);
}
foo() // 3
x // 1
// 如果将var x = 3的var去除,函数foo的内部变量x就指向第一个参数x,
// 与匿名函数内部的x是一致的,所以最后输出的就是2,而外层的全局变
// 量x依然不受影响。
var x = 1;
function foo(x, y = function() { x = 2; }) {
x = 3;
y();
console.log(x);
}
foo() // 2
x // 1
- 应用
(1) 利用参数默认值,可以指定某一个参数不得省略,如果省略就抛出一个错误。
function throwIfMissing() {
throw new Error('Missing parameter');
}
function foo(mustBeProvided = throwIfMissing()) {
return mustBeProvided;
}
foo()
// Error: Missing parameter
(2) 可以将参数默认值设为undefined,表明这个参数是可以省略的。
function foo(optional = undefined) { ··· }
2. rest 参数
ES6 引入了rest
参数(形式为 ...变量名
), 用于获取函数的多余函数,这样就不需要使用arguments
对象了. rest 参数搭配的变量是一个数组,改变量将多余的参数放入数组中.
function sortNumbers() {
return Array.prototype.slice.call(arguments).sort();
}
// rest 参数写法
const sortNumbers = (...numbers) => numbers.sort();
1.0 rest 参数之后不能再有其他参数(即只能是最后一个参数),否则会报错。
2.0 函数的length属性,不包括 rest 参数。
3. 严格模式
从 ES5 开始,函数内部可以设定为严格模式。ES6 做了一点修改,规定只要函数参数使用了默认值、解构赋值、或者扩展运算符,那么函数内部就不能显式设定为严格模式,否则会报错。
// 报错
function doSomething(value = 070) {
'use strict';
return value;
}
两种方法可以规避这种限制。
1.0 第一种是设定全局性的严格模式,这是合法的。
2.0 第二种是把函数包在一个无参数的立即执行函数里面。
4. name 属性
函数的name属性,返回该函数的函数名。
function foo() {}
foo.name // "foo"
- 如果将一个匿名函数赋值给一个变量,ES5 的name属性,会返回空字符串,而 ES6 的name属性会返回实际的函数名。
- 如果将一个具名函数赋值给一个变量,则 ES5 和 ES6 的name属性都返回这个具名函数原本的名字。
- Function构造函数返回的函数实例,name属性的值为anonymous。
- bind返回的函数,name属性值会加上bound前缀。
5. 箭头函数
- ES6 允许使用“箭头”(=>)定义函数。
- 如果箭头函数不需要参数或需要多个参数,就使用一个圆括号代表参数部分。
- 如果箭头函数的代码块部分多于一条语句,就要使用大括号将它们括起来,并且使用return语句返回。
- 由于大括号被解释为代码块,所以如果箭头函数直接返回一个对象,必须在对象外面加上括号,否则会报错
- 如果箭头函数只有一行语句,且不需要返回值,可以采用下面的写法,就不用写大括号了。
- 箭头函数可以与变量解构结合使用。
- 箭头函数内部,还可以再使用箭头函数
// 正常函数写法
var result = values.sort(function (a, b) {
return a - b;
});
// 箭头函数写法
var result = values.sort((a, b) => a - b);
箭头函数有几个使用注意点。
(1)函数体内的this
对象,就是定义时所在的对象,而不是使用时所在的对象。
(2)不可以当作构造函数,也就是说,不可以使用new
命令,否则会抛出一个错误。
(3)不可以使用arguments
对象,该对象在函数体内不存在。如果要用,可以用 rest
参数代替。
(4)不可以使用yield
命令,因此箭头函数不能用作 Generator
函数。
上面四点中,第一点尤其值得注意。this对象的指向是可变的,但是在箭头函数中,它是固定的。
6. 双冒号运算符
箭头函数可以绑定this
对象,大大减少了显式绑定this
对象的写法(call
、apply
、bind
)。但是,箭头函数并不适用于所有场合,所以现在有一个提案,提出了“函数绑定”(function bind)运算符,用来取代call
、apply
、bind
调用。
函数绑定运算符是并排的两个冒号(::
),双冒号左边是一个对象,右边是一个函数。该运算符会自动将左边的对象,作为上下文环境(即this
对象),绑定到右边的函数上面。
7. 尾部调用优化
尾调用(Tail Call)是函数式编程的一个重要概念,本身非常简单,一句话就能说清楚,就是指某个函数的最后一步是调用另一个函数。
- 我们知道,函数调用会在内存形成一个“调用记录”,又称“调用帧”(call frame),保存调用位置和内部变量等信息。如果在函数A的内部调用函数B,那么在A的调用帧上方,还会形成一个B的调用帧。等到B运行结束,将结果返回到A,B的调用帧才会消失。如果函数B内部还调用函数C,那就还有一个C的调用帧,以此类推。所有的调用帧,就形成一个“调用栈”(call stack)。
- 尾调用由于是函数的最后一步操作,所以不需要保留外层函数的调用帧,因为调用位置、内部变量等信息都不会再用到了,只要直接用内层函数的调用帧,取代外层函数的调用帧就可以了。
- 这就叫做“尾调用优化”(Tail call optimization),即只保留内层函数的调用帧。如果所有函数都是尾调用,那么完全可以做到每次执行时,调用帧只有一项,这将大大节省内存。这就是“尾调用优化”的意义。
函数调用自身,称为递归。如果尾调用自身,就称为尾递归。
- 递归非常耗费内存,因为需要同时保存成千上百个调用帧,很容易发生“栈溢出”错误(stack overflow)。但对于尾递归来说,由于只存在一个调用帧,所以永远不会发生“栈溢出”错误。
- 如果改写成尾递归,只保留一个调用记录,复杂度 O(1) 。
ES6 的尾调用优化只在严格模式下开启,正常模式是无效的。
这是因为在正常模式下,函数内部有两个变量,可以跟踪函数的调用栈。
func.arguments
:返回调用时函数的参数。
func.caller
:返回调用当前函数的那个函数。
尾递归优化只在严格模式下生效,那么正常模式下,或者那些不支持该功能的环境中,有没有办法也使用尾递归优化呢?回答是可以的,就是自己实现尾递归优化。
它的原理非常简单。尾递归之所以需要优化,原因是调用栈太多,造成溢出,那么只要减少调用栈,就不会溢出。怎么做可以减少调用栈呢?就是采用“循环”换掉“递归”。
8. 函数参数的尾逗号
ES2017 允许函数的最后一个参数有尾逗号(trailing comma)。