天天看点

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。