由ES規(guī)范學(xué)JavaScript(二)：深入理解“連等賦值”問題

JasonZhang 發(fā)布于2019-08-19 17:18 / 2599人閱讀

摘要：有這樣一個熱門問題其實這個問題很好理解，關(guān)鍵要弄清下面兩個知識點引擎對賦值表達式的處理過程賦值運算的右結(jié)合性一賦值表達式形如的表達式稱為賦值表達式。賦值表達式是右結(jié)合的。

有這樣一個熱門問題：

var a = {n: 1};
var b = a;
a.x = a = {n: 2};
alert(a.x); // --> undefined
alert(b.x); // --> {n: 2}

其實這個問題很好理解，關(guān)鍵要弄清下面兩個知識點：

JS引擎對賦值表達式的處理過程

賦值運算的右結(jié)合性

一. 賦值表達式

形如

 A = B

的表達式稱為賦值表達式。其中A和B又分別可以是表達式。B可以是任意表達式，但是A必須是一個左值。

所謂左值，就是可以被賦值的表達式，在ES規(guī)范中是用內(nèi)部類型引用(Reference)描述的。例如：

表達式foo.bar可以作為一個左值，表示對foo這個對象中bar這個名稱的引用；

變量email可以作為一個左值，表示對當前執(zhí)行環(huán)境中的環(huán)境記錄項envRec中email這個名稱的引用；

同樣地，函數(shù)名func可以做左值，然而函數(shù)調(diào)用表達式func(a, b)不可以。

那么JS引擎是怎樣計算一般的賦值表達式 A = B的呢？簡單地說，按如下步驟：

計算表達式A，得到一個引用refA；

計算表達式B，得到一個值valueB；

將valueB賦給refA指向的名稱綁定；

返回valueB。

二. 結(jié)合性

所謂結(jié)合性，是指表達式中同一個運算符出現(xiàn)多次時，是左邊的優(yōu)先計算還是右邊的優(yōu)先計算。

賦值表達式是右結(jié)合的。這意味著：

A1 = A2 = A3 = A4

等價于

A1 = (A2 = (A3 = A4))

三. 連等的解析

好了，有了上面兩部分的知識。下面來看一下JS引擎是怎樣運算連等賦值表達式的。

以下面的式子為例：

Exp1 = Exp2 = Exp3 = Exp4

首先根據(jù)右結(jié)合性，可以轉(zhuǎn)換成

Exp1 = (Exp2 = (Exp3 = Exp4))

然后，我們已經(jīng)知道對于單個賦值運算，JS引擎總是先計算左邊的操作數(shù)，再計算右邊的操作數(shù)。所以接下來的步驟就是：

計算Exp1，得到Ref1；

計算Exp2，得到Ref2；

計算Exp3，得到Ref3；

計算Exp4，得到Value4。

現(xiàn)在變成了這樣的：

Ref1 = (Ref2 = (Ref3 = Value4))

接下來的步驟是：

將Value4賦給Exp3；

將Value4賦給Exp2；

將Value4賦給Exp1；

返回表達式最終的結(jié)果Value4。

注意：這幾個步驟體現(xiàn)了右結(jié)合性。

總結(jié)一下就是：

先從左到右解析各個引用，然后計算最右側(cè)的表達式的值，最后把值從右到左賦給各個引用。

四. 問題的解決

現(xiàn)在回到文章開頭的問題。

首先前兩個var語句執(zhí)行完后，a和b都指向同一個對象{n: 1}(為方便描述，下面稱為對象N1)。然后來看

a.x = a = {n: 2};

根據(jù)前面的知識，首先依次計算表達式a.x和a，得到兩個引用。其中a.x表示對象N1中的x，而a相當于envRec.a，即當前環(huán)境記錄項中的a。所以此時可以寫出如下的形式：

[[N1]].x = [[encRec]].a = {n: 2};

其中，[[]]表示引用指向的對象。

接下來，將{n: 2}賦值給[[encRec]].a，即將{n: 2}綁定到當前上下文中的名稱a。

接下來，將同一個{n: 2}賦值給[[N1]].x，即將{n: 2}綁定到N1中的名稱x。

由于b仍然指向N1，所以此時有

b <=> N1 <=> {n: 1, x: {n: 2}}

而a被重新賦值了，所以

a <=> {n: 2}

并且

a === b.x

五. 最后的最后

如果你明白了上面所有的內(nèi)容，應(yīng)該會明白a.x = a = {n:2};與b.x = a = {n:2};是完全等價的。因為在解析a.x或b.x的那個時間點。a和b這兩個名稱指向同一個對象，就像C++中同一個對象可以有多個引用一樣。而在這個時間點之后，不論是a.x還是b.x，其實早就不存在了，它已經(jīng)變成了那個內(nèi)存中的對象.x了。