JavaScript函数(arguments,this)

29 Jun

JavaScript因为其语法松散,导致函数(尤其是this)看似简单,其实里面花头很多。本篇介绍一下JavaScript函数及其调用方法。

  • 函数声明和函数表达式
  • arguments
  • this
  • this补充说明

函数声明和函数表达式

JavaScript里对象字面量产生的对象将被连接到Object.prototype,函数对象将被连接到Function.prototype(但该对象本身也连接到Object.prototype)。先看一下函数声明和函数表达式(分匿名和命名):

function count(a,b) { return a*b; }            //函数声明
var d1 = function(n) { return n*2; };           //匿名函数表达式
var d2 = function double(n) { return n*2; };    //命名函数表达式

console.log(count(3,4));    //12
console.log(d1(3));         //6
console.log(d2(3));         //6
console.log(double(3));     //error,double未定义

上面代码可以看出函数声明和函数表达式在后续的调用中,效果是没有差别的。除语法不同外,两者的区别在于JS解析器读取的顺序。

解析器会事先读取函数声明,即使你把函数声明放在代码的末端也没关系。而对于函数表达式,同其它基本类型的变量一样,只有在执行到该行语句时才解析。因此用函数表达式时,必须确保它在调用语句之前,否则会报错。

再看匿名和命名函数表达式的区别。上例中命名函数表达式将函数绑定到变量d2上,而非变量double上,因此double(3);会出现未定义error。

那命名函数表达式有什么用呢?比如上面的变量double有什么用呢?函数名double可用于在函数内部做递归,但可惜仍旧没必要,因为变量d2同样也可以在函数内部递归。因此命名函数表达式真正的作用在于调试,JavaScript环境提供对Error对象的栈追踪功能,可以用double进行栈追踪。

但命名函数表达式仍旧有很多问题,类似with一样。因此通常推荐用匿名函数表达式,不推荐用命名函数表达式:

var d1 = function(n) { return n*2; };           //Yes,推荐
var d2 = function double(n) { return n*2; };    //No,不推荐

arguments

每个函数都接受2个附加参数:thisarguments。先看arguments。JS的函数参数其实就是个类似数组的arguments对象,是对形参的一个映射,但是值是通过索引来获取的。因此JS的函数天然支持可变参数。

arguments对象看似像数组,但请不要使用arguments.shift()等方法来修改arguments。修改arguments对象将可能导致命名参数失去意义。

例如person(name, age),参数name是arguments[0]的别名,age是arguments[1]的别名,如果用shift移除arguments后,name仍旧是arguments[0]的别名,age仍旧是arguments[1]的别名,函数开始失控。

因此,如果你无论如何要修改arguments,需要先将arguments对象转化为真正的数组:

var args = [].slice.call(arguments);

之后对args对象进行shift()等操作。这也常见于获取可变参数值,同样需要上述那样将arguments对象转化为真正的数组。

另外每个arguments对象都有两个额外的属性:arguments.calleearguments.caller。前者指向使用该arguments对象被调用的函数。后者指向调用该arguments对象的函数。

其实arguments.callee除允许匿名函数递归调用自身外,并没有什么太大用处。但可惜用函数名也能实现递归,所以它真没什么用处:

//用arguments.callee来递归
var factorial = (function(n) {
    return (n <= 1) ? 1 : (n * arguments.callee(n - 1));    //递归
});

//但也可以直接用函数名来递归
function factorial(n) {
    return (n <= 1) ? 1 : (n * factorial(n - 1));    
}

用arguments.caller可以跟踪栈信息,但它不可靠,如果某函数在栈中出现了不止一次,很容易陷入死循环,大多数环境已经移除了此特性。

JS严格模式下禁止使用arguments.callee和arguments.caller,因此这两个属性就不多废话了。

this

arguments介绍完后,再来看看this。在JS中this取决于调用的方式,不同的函数调用方式,this绑定的对象也不同。有5种调用方式:

  • 方法调用
  • 函数调用
  • 构造器调用
  • apply / call / bind调用
  • =>箭头函数调用

方法调用:当函数作为对象方法时,函数里的this被绑定到该对象上

var myNum = {
    value: 0,
    increment: function(inc) {  //函数作为对象方法
        this.value += inc;
    }
};
myNum.increment(2);  
console.log(myNum.value);   //2,this被绑定到myNum

函数调用:函数非对象方法时,this被绑定到全局对象window。这其实是语言设计上的一个错误(或曰特性),导致this不能调用内部函数。要调用内部函数,可以将that = this保存起来。

function double(n) { return n*2; }      //普通函数,this绑定到全局对象window

//错误的例子
myNum.count = function() {
    var helper = function() {    //普通函数,this绑定到全局对象window
        this.value = double(this.value);
    };
    helper();
}
myNum.count();
console.log(myNum.value);     //value不变

//正确的例子:
myNum.count = function() {
    var that = this;       
    var helper = function() {
        that.value = double(that.value);   //现在参数是myNum.value
    };
    helper();
}
myNum.count();
console.log(myNum.value);     //4

错误的例子中,期望this绑定的是对象myNum,但由于helper是普通函数,因此this绑定的是window。即调用helper时给window对象添加了value属性,值为undefined。因此double(this.value);等价于double(window.value);等价于double(undefined);。最终myNum的value值并没有被改变。

正确的例子在对象myNum方法里,this绑定的是myNum对象,因此先用that将this保存起来。然后在内部传递的都是that,回避了helper函数内this发生改变的问题。

构造函数调用:用new调用构造函数,会先创建一个连接到构造函数的prototype的新对象,再将this会绑定到该新对象

var Name = function(n) { 
    this.name = n; 
}
Name.prototype.getName = function() {
    return this.name;
}
var myName = new Name("Jack");      //this绑定到myName对象
console.log(myName.getName());          //Jack

apply / call / bind调用:允许我们自己绑定想要的this

var friend = {
    name: "Betty"
};
console.log(Name.prototype.getName.apply(friend));    //Betty
console.log(Name.prototype.getName.call(friend));     //Betty
console.log(Name.prototype.getName.bind(friend)());   //Betty

=>箭头函数调用:ES6里的箭头函数里的this指向定义时所在的对象,而非使用时所在的对象。这意味着=>里的this是固定不变的。例如:

function foo() {
  setTimeout(() => {
    console.log('id:', this.id);
  }, 100);
}
var id = 10;
foo.call({ id: 20 }); // id: 20

上例中,setTimeout的参数是一个箭头函数,该箭头函数被定义在普通函数foo内。如果不是ES6的箭头函数,而是ES5普通函数的话,参照上面函数调用的this的说明, 100毫秒后执行时this应该指向全局对象window,应该输出10。但ES6的箭头函数里this总是指向被定义时所在的对象({id: 20}),所以结果是20。

为了更清晰地分辨ES6箭头函数和ES5普通函数对this绑定的区别,再看一个例子:

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

var timer = new Timer();
setTimeout(() => console.log('count1: ', timer.count1), 3100); // count1: 0
setTimeout(() => console.log('count2: ', timer.count2), 3100); // count2: 3

上例中,Timer函数内部的两个定时器,分别用了ES6箭头函数和ES5普通函数。前者的this指向运行时所在的作用域window,后者的this指向定义时所在的作用域Timer函数。结果普通函数内的count一次都没被更新,而箭头函数的内的count被正确更新了3次。

ES6的箭头函数显然更能预防this错误绑定的问题,因此推荐用ES6的新语法来写JS。例如以前在定义回调函数前,总是先写:

var _this = this;
var that = this;
var self = this;

你一定见过这些先将this保存起来,再在回调函数里需要用this的地方用_this / that / self来代替,就是为了解决(更精确地说是回避)回调函数执行时this绑定的问题。现在用ES6的箭头函数就不需要这么麻烦了:

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

上例中init方法内用了箭头函数,因此内部的this,总是指向handler对象。否则,回调函数运行时,由于this指向的是window,所以this.doSomething会报错。

究其本质,ES6的箭头函数能将this绑定固化,并不是增加了什么新语法,本质上就是ES5的语法糖。箭头函数没有自己的this,它的this其实就是外层代码块的this。将箭头函数用Babel转码一下:

// ES6的代码
function foo() {
  setTimeout(() => {
    console.log('id:', this.id);
  }, 100);
}

// 转码后ES5的代码
function foo() {
  var _this = this;
  setTimeout(function () {
    console.log('id:', _this.id);
  }, 100);
}

戏法拆穿就显得了无生趣了,仍旧是ES5那套_this / that / self的把戏。

function foo() {
  return () => {
    return () => {
      return () => {
        console.log('id:', this.id);
      };
    };
  };
}
var f = foo.call({id: 1});
var t1 = f.call({id: 2})()(); // id: 1
var t2 = f().call({id: 3})(); // id: 1
var t3 = f()().call({id: 4}); // id: 1

上例中,看似嵌套了很多箭头函数,有点晕。但只要知道了这是ES5老把戏的语法糖的话,就不会晕了。整个foo里只有一个this,指向foo对象。不论嵌套多少层,语法糖里箭头函数没有自己的this,只有_this即指向foo的this。

箭头函数没有自己的this,因此不能作为构造函数被使用,new会报错。也没有自身的arguments,super,new.target,它们指向的都是外层代码块的对应变量。也不能使用yield用作Generator函数。也不能用call() / apply() / bind()这些方法去改变this的指向。

this补充说明

这一节并无任何新的内容,只不过对this进一步补充说明一下。我们知道对象都有prototype俗称原型对象。那prototype里的this绑定谁呢?其实原则没有变,从上面构造函数调用的例子就能看出this仍旧是绑定调用的对象。

为了更清晰一点,将上面构造函数调用的例子稍微改一下:

var Name = function() {};
Name.prototype =  {
    name: "(not set)",
    setName: function(n) {
        this.name = n;
    }
}

var myName = new Name();
console.log(myName.name);                   //(not set)
console.log(myName.hasOwnProperty("name"));    //false
console.log(myName.hasOwnProperty("setName"));   //false

myName.setName("Jack");
console.log(myName.name);                       //Jack
console.log(myName.hasOwnProperty("name"));    //true
console.log(myName.hasOwnProperty("setName"));   //false

先看第一段结果代码,Name本身没有任何属性,name和setName是在它的原型prototype中定义的。因此用hasOwnProperty来检查全是false。这与我们的预想完全一致,没什么可奇怪的。

再看第二段结果代码,由于执行了myName.setName(“Jack”);。原型prototype中的this不是绑定原型对象,而是绑定调用的对象。即setName中的this绑定的是对象myName,会给对象增加一个name属性。所以hasOwnProperty(“name”)会为true。

明白这些原理后,再回过头看看以前不明白的代码里this,that,self等就轻松多了。

Leave a Reply

Your email address will not be published. Required fields are marked *