ES6躬行记(14)——函数
在前面的章节中,已陆陆续续介绍了ES6为改良函数而引入的几个新特性,本章将会继续讲解ES6对函数的其余改进,包括默认参数、元属性、块级函数和箭头函数等。
一、默认参数
在ES5时代,只能在函数体中定义参数的默认值,而自从ES6引入了默认参数(Default Parameter)后,就能让参数在声明时带上它的默认值,如下代码所示,func2()函数中的参数默认值在可读性和简洁性方面更为优秀。
function func1(name) { name = name || "strick"; //ES5的参数默认值 } function func2(name = "strick") { //ES6的参数默认值 }
1)undefined
只有当不给参数传值或传入undefined时,才会使用它的默认值。即使传入和undefined一样的假值(例如false、null等),也得不到它的默认值,如下所示。
function func(name = "strick") { return name; } func(undefined); //"strick" func(false); //false func(null); //null
2)位置
默认参数既可以位于普通参数之前,也可以位于其之后。例如下面的两个函数,都包含两个参数,其中一个带有默认值,依次执行,都能得到预期的结果。
function func1(name = "strick", age) { return name; } function func2(name, age = 28) { return age; } func1(undefined); //"strick" func2("strick"); //28
3)默认值
参数的默认值既可以是简单的字面量,也可以是复杂的表达式。在每次调用函数时,不仅参数会被重新初始化,默认值如果是表达式的话,还会将其重新计算一次。
function expression1(name, full = "pw" + name) { return full; } expression1("strick"); //"pwstrick" expression1("freedom"); //"pwfreedom"
在上面的代码中,调用了两次expression1()函数,返回的结果互不影响。并且full参数的默认值引用了前面的name参数,这是一种有效的语法,但反之就会报错,如下所示。
function expression2(name = full, full) { return name; } expression2(undefined, "strick"); //抛出未定义的引用错误
4)限制
第一条限制是在包含默认值的参数序列中,不允许出现同名参数。无论同名的是有默认值,亦或是无默认值,都是不允许的,如下所示。
function restrict1(name = "strick", name) { } function restrict1(name = "strick", age, age) { }
第二条限制是不能在函数体中为默认参数用let或const重新声明,如下代码所示,会抛出重复声明的语法错误。
function restrict2(name = "strick") { let name = "freedom"; }
因为默认参数相当于是用let声明的变量,所以是不允许重复声明的。上面代码中的restrict2()函数,它的name参数的初始化类似于下面这样。
let name = "strick";
参数序列中只要包含了默认参数,那么其它普通参数也会用let声明。知道这一点后,就能很容易的解释上一节第二个示例,在调用expression2()函数时会抛出未定义的错误原因。函数中的两个参数的初始化相当于下面这样。
let name = full,
full;
在第一篇中曾提到用let声明的变量,在声明之前都会被放到临时死区中,而在此时访问这些变量就会触发运行时错误。
5)三个作用域
根据ES6规范的9.1.2小节可知,当参数序列中包含默认参数时,将会出现三个作用域:参数作用域、函数外层作用域和函数体内作用域。关于这三个作用域需要注意两点:
(1)函数体内可以修改参数的值,但不能为其重新声明。
(2)参数作用域可以访问外层作用域中的变量,但不能访问函数体内的变量。
第一点很好理解,已在上文中做过解释。关于第二点,可先查看下面的两个函数。
let full = "freedom"; function scope1(name = full) { return name; } scope1(); function scope2(name = en) { let en = "justify"; return name; } scope2();
调用scope1()函数得到的返回值是“freedom”,而调用scope2()函数非但得不到结果,还会抛出en未定义的错误。接下来改造scope1()函数,把full变量改成name变量,如下所示。
let name = "freedom"; function scope1(name = name) { return name; }
此时再次调用scope1()函数,得到的却是name未定义的错误。虽然在外层作用域中包含名为name的变量,但是参数拥有自己的作用域,会先从当前作用域中查找变量,此时的name正处在临时死区中,因此在访问它时会报错。
除了以上所列的特性之外,在之前的第三篇的参数解构中,还介绍了解构默认值和参数默认值结合使用时的注意点。
二、函数属性
1)name
通过函数的name属性可得到它声明时所用的名称。ES6规定此属性既不可写,也不可枚举,只允许配置。在不同场景中,它的返回值会不同,具体如下所列,每一条规则后面都给出了相应的示例。
(1)利用Function构造器创建的函数,它的名称是“anonymous”。
var func = new Function("a", "b", "return a+b;"); func.name; //"anonymous"
(2)如果是用匿名函数表达式创建的函数,那么它的名称就是变量名;如果改用命名函数表达式创建,那么它的名称就是等号右侧的函数名称。
var expression1 = function() { }; expression1.name; //"expression1" var expression2 = function named() { }; expression2.name; //"named"
(3)当用bind()方法绑定一个函数时,它的名称就会加“bound”前缀。
function age() { } age.bind(this).name; //"bound age"
(4)访问器属性包含写入方法和读取方法,它们的名称会分别加“set”和“get”前缀。注意,需要调用Object.getOwnPropertyDescriptor()才能引用这两个方法。
var obj = { get age() { }, set age(value) { } }; var descriptor = Object.getOwnPropertyDescriptor(obj, "age"); descriptor.get.name; //"get age" descriptor.set.name; //"set age"
(5)如果对象的方法是用Symbol命名的,那么这个Symbol的描述就是它的名称。
var sym = Symbol("age"), obj = { [sym]: function() {} }; obj[sym].name; //"[age]"
2)length
函数的length属性可返回形参个数(即声明时的参数),但它的值会受剩余参数(已在第二篇中做过介绍)和默认参数的影响,如下代码所示。
(function rest(name, ...args){ }).length; //1 (function rest(name, age = 28){ }).length; //1 (function rest(name, age = 28, school){ }).length; //1
根据上面的代码可知,形参个数的统计会忽略剩余参数,并且止于默认参数。
三、块级函数
ES6允许块级函数(Block-Level Function)的声明,即在块级作用域中声明函数,而在ES5中如此操作的话,将会抛出语法错误的异常。
1)严格模式
在严格模式中,块级函数的声明可提升至当前代码块的顶部,在代码块之外是不可见的,如下代码所示。
"use strict"; (function() { func("strick"); //抛出未定义的引用错误 if(true) { func("freedom"); //"freedom" function func(name) { return name; } { func("jane"); //"jane" } } func("justify"); //抛出未定义的引用错误 })();
只有在func()函数所处的代码块或与之相邻的代码块中,才能被正确调用。
2)普通模式
在普通模式(即非严格模式)中,只有当块级函数所在的代码块被成功执行后,它的声明才能被提升至当前脚本文件或函数体的顶部,如下代码所示。
(function() { func("strick"); //抛出未定义的引用错误 if(true) { func("freedom"); //"freedom" function func(name) { return name; } { func("jane"); //"jane" } } func("justify"); //"justify" })();
在代码块之外调用了两次func()函数,由于第一次调用时,func()函数所处的代码块还未被执行(即还未声明),因此会抛出未定义的引用错误。
四、元属性
元属性(Meta Property)就是非对象的属性,能够以属性访问的形式读取特殊的元信息。new.target是由ES6引入的一个元属性,可检测一个函数是否与new运算符组合使用,并且只能存在于函数体内。
在JavaScript中,new是一个关键字,而不是一个对象。但当函数作为构造函数被调用时,new.target能够指向新创建的目标对象;而当函数作为普通函数被调用时,new.target的值为undefined,如下所示。
function func1() { typeof new.target; //"function" } new func1(); function func2() { new.target === undefined; //true } func2();
把func1()作为构造函数使用,在其函数体中利用typeof运算符检测出new.target是一个函数对象;而在func2()函数中,让new.target和undefined进行了全等比较,得到的结果为true。