JavaScript阴沟里翻船之运算符优先级

3,441 阅读4分钟

 首先欢迎大家关注我的Github博客,也算是对我的一点鼓励,毕竟写东西没法变现,坚持下去也是靠的是自己的热情和大家的鼓励。各位读者的Star是激励我前进的动力,请不要吝惜。  

起源

  写了两年的JavaScript的我,原以为是不会在语法上阴沟里翻船的,可是事实上被打脸,最近在产品开发中组里的一个帅小伙找我讨论一个问题,为了方便大家阅读,我将这个问题的模型抽象出来:

var provider = {
    test: {
        $get: function(){
            return function anonymous(config){
            };
        }
    }
};
var type = "test";
var config = {};
new provider[type].$get()(config);

  上面的语句运行时候为什么函数anonymous中的this指向的是window而不是new创建的新对象。我当时听到这个问题的第一时刻想的是: 纳尼 !怎么可能new操作符对应的构造函数中的this指向的不是新创建的对象实例呢?当时由于并没有仔细地将问题从业务中抽象出来,其实我也有点迷糊,但仔细一想,这个语句到底要表达什么呢?

思考

  在说这个表达式所要表达的含义之前,先说一个关于new操作符的几个小知识:

构造函数的返回

  JavaScript构造函数中可以返回值,也可以不返回值,比如:

function Person(){

}
var person = new Person()

  我们知道这个时候构造函数返回的是创建的实例对象,也就是构造函数中this所指向的对象。但是当你构造函数有返回值时,就要分情况区分。如果返回的是一个非引用类型的值时,实际上返回的是仍然是新创建的实例对象。但是当返回的是一个引用类型的值时,返回的是引用对象本身。比如:

function Person(){
    return function(){}
}
var person = new Person()
typeof person // "function"

  在JavaScript中函数作为一等公民,实质上就是引用类型,因此person就是返回的匿名函数。

new操作符的两种形态

  其实在MDN的new操作符描述中,语法是

new constructor[([arguments])]

  你会发现([arguments])被中括号所包围也就意味着可缺省,因此,如果对于不含参数的构造函数而言:

new Person()new Person

  二者并无区别,那我们接着思考一个问题,对于前面返回函数的Person而言,当

new Person()的时候为什么执行的是new Person()而不是(new Person)()呢。之前如果阅读过我之前的一篇文章的同学知道,带有参数的new操作符的优先级大于无参数列表的new操作符。因此总是会执行第一种而不是第二种。

  了解上面的步骤之后,我们已经接近了问题的本质,对于表达式

new provider[type].$get()(config);

  JavaScript引擎到底是解析成:

(new provider[type].$get())(config);

  还是

new (provider[type].$get())(config);

  对于第一种形式而言,(new provider[type].$get())返回的是anonymous函数,因此在anonymous(config)中内部this指向是window。而第二种模式中provider[type].$get()返回的是anonymous函数,因此运行new anonymous(config)时内部的this指针指向的是新创建的实例this

  当然我们从问题: this为什么指向的是window而不是new创建的新对象中可以看出来,其实作者当时想要表达的是第二种含义,但实际上却以第一种方式在运行。为什么?原因非常简单,第一种执行方式JavaScript引擎首先解析的是带参数列表的的new操作符,而第二种方式则是先执行了函数调用,再执行的是new操作符,我们对照上面的优先级图可以看到,带参数列表的new优先级高于函数调用,因此肯定是以第一种方式去运行。

  其实这篇文章并没有多少干货,但是从中还是有两点感悟吧,第一,从上一篇同类文章中我就强调避免使用这种模糊不清的表达式,多用几个括号一切问题都迎刃而解,比如有的同学会写出类似于:

var str = "Hello" + true ? "World" : "JavaScript";

那请问str内容是什么呢,有的人可能认为是Hello World,有的人会认为是World,实质上运算的结果是World, 因为+运算符优先级是高于条件运算符的,这时候添加括号会让你的代码变得更加易于阅读。第二,保持对技术的敬畏吧,最怕的就是你觉得你都会了,其实你一无所知。