JavaScript陰溝里翻船之運(yùn)算符優(yōu)先級

selfimpr 發(fā)布于2019-08-23 13:41 / 3492人閱讀

摘要：操作符的兩種形態(tài)其實在的操作符描述中，語法是你會發(fā)現(xiàn)被中括號所包圍也就意味著可缺省，因此，如果對于不含參數(shù)的構(gòu)造函數(shù)而言與二者并無區(qū)別，那我們接著思考一個問題，對于前面返回函數(shù)的而言，當(dāng)?shù)臅r候為什么執(zhí)行的是而不是呢。

　首先歡迎大家關(guān)注我的Github博客，也算是對我的一點鼓勵，畢竟寫東西沒法變現(xiàn)，堅持下去也是靠的是自己的熱情和大家的鼓勵。各位讀者的Star是激勵我前進(jìn)的動力，請不要吝惜。
　

起源

　　寫了兩年的JavaScript的我，原以為是不會在語法上陰溝里翻船的，可是事實上被打臉，最近在產(chǎn)品開發(fā)中組里的一個帥小伙找我討論一個問題，為了方便大家閱讀，我將這個問題的模型抽象出來:

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

　　上面的語句運(yùn)行時候為什么函數(shù)anonymous中的this指向的是window而不是new創(chuàng)建的新對象。我當(dāng)時聽到這個問題的第一時刻想的是: 納尼 !怎么可能new操作符對應(yīng)的構(gòu)造函數(shù)中的this指向的不是新創(chuàng)建的對象實例呢？當(dāng)時由于并沒有仔細(xì)地將問題從業(yè)務(wù)中抽象出來，其實我也有點迷糊，但仔細(xì)一想，這個語句到底要表達(dá)什么呢？

思考

　　在說這個表達(dá)式所要表達(dá)的含義之前，先說一個關(guān)于new操作符的幾個小知識:

構(gòu)造函數(shù)的返回

　　JavaScript構(gòu)造函數(shù)中可以返回值，也可以不返回值，比如:

function Person(){

}
var person = new Person()

　　我們知道這個時候構(gòu)造函數(shù)返回的是創(chuàng)建的實例對象，也就是構(gòu)造函數(shù)中this所指向的對象。但是當(dāng)你構(gòu)造函數(shù)有返回值時，就要分情況區(qū)分。如果返回的是一個非引用類型的值時，實際上返回的是仍然是新創(chuàng)建的實例對象。但是當(dāng)返回的是一個引用類型的值時，返回的是引用對象本身。比如:

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

　　在JavaScript中函數(shù)作為一等公民，實質(zhì)上就是引用類型，因此person就是返回的匿名函數(shù)。

new操作符的兩種形態(tài)

　　其實在MDN的new操作符描述中，語法是

new constructor[([arguments])]

　　你會發(fā)現(xiàn)([arguments])被中括號所包圍也就意味著可缺省，因此，如果對于不含參數(shù)的構(gòu)造函數(shù)而言:

new Person()與new Person

　　二者并無區(qū)別，那我們接著思考一個問題，對于前面返回函數(shù)的Person而言，當(dāng)

new Person()的時候為什么執(zhí)行的是new Person()而不是(new Person)()呢。之前如果閱讀過我之前的一篇文章的同學(xué)知道，帶有參數(shù)的new操作符的優(yōu)先級大于無參數(shù)列表的new操作符。因此總是會執(zhí)行第一種而不是第二種。

　　了解上面的步驟之后，我們已經(jīng)接近了問題的本質(zhì)，對于表達(dá)式

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

　　JavaScript引擎到底是解析成:

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

　　還是

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

　　對于第一種形式而言，(new provider[type].$get())返回的是anonymous函數(shù)，因此在anonymous(config)中內(nèi)部this指向是window。而第二種模式中provider[type].$get()返回的是anonymous函數(shù)，因此運(yùn)行new anonymous(config)時內(nèi)部的this指針指向的是新創(chuàng)建的實例this。

　　當(dāng)然我們從問題: this為什么指向的是window而不是new創(chuàng)建的新對象中可以看出來，其實作者當(dāng)時想要表達(dá)的是第二種含義，但實際上卻以第一種方式在運(yùn)行。為什么？原因非常簡單，第一種執(zhí)行方式JavaScript引擎首先解析的是帶參數(shù)列表的的new操作符，而第二種方式則是先執(zhí)行了函數(shù)調(diào)用，再執(zhí)行的是new操作符，我們對照上面的優(yōu)先級圖可以看到，帶參數(shù)列表的new優(yōu)先級高于函數(shù)調(diào)用，因此肯定是以第一種方式去運(yùn)行。

　　其實這篇文章并沒有多少干貨，但是從中還是有兩點感悟吧，第一，從上一篇同類文章中我就強(qiáng)調(diào)避免使用這種模糊不清的表達(dá)式，多用幾個括號一切問題都迎刃而解，比如有的同學(xué)會寫出類似于:

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

那請問str內(nèi)容是什么呢，有的人可能認(rèn)為是Hello World,有的人會認(rèn)為是World，實質(zhì)上運(yùn)算的結(jié)果是World，
因為+運(yùn)算符優(yōu)先級是高于條件運(yùn)算符的，這時候添加括號會讓你的代碼變得更加易于閱讀。第二，保持對技術(shù)的敬畏吧，最怕的就是你覺得你都會了，其實你一無所知。