摘要：函數的形參和函數體就是兩個不同的作用域。這里只聲明了還是形參這里改變了形參的值，所以返回是這題還有一個坑點，我拿到里面去轉一下得到的結果是這里結果是這種神奇的代碼還是盡量不要寫呀如果有理解錯誤的地方，歡迎指正

把話說完：90%面試官都不會問的題，因為面試官也不一定懂。

直接來看一看今天要說的題目：

// 問題：foo.x的值是什么？bar.x?
var foo = { n: 1 };
var bar = foo;
foo.x = foo = { n: 2 };
console.log(foo.x) // ?
console.log(bar.x) // ? 

// 問題：下面兩題的結果是？

(function(x, f = () => x) {
  var x;
  var y = x;
  x = 2;
  return [x, y, f()]; // ?
})(1)

(function(x, f = () => x) {
  var y = x;
  x = 2;
  return [x, y, f()]; // ?
})(1)

這兩題是我最近在一個討論群里看到的，發出來的時候還是引起了大家非常熱烈的討論。不過大家最后都覺得這種題目沒有什么意義，實際做項目的時候不會也不建議這么寫（ps: 我要是在項目發現誰這樣寫，直接從三樓丟下去），不過從學習的角度其實還是可以研究一下的。

// 問題：foo.x的值是什么？bar.x?
var foo = { n: 1 };
var bar = foo;
foo.x = foo = { n: 2 };
console.log(foo.x) // ?
console.log(bar.x) // ? 

我一看到這個問題，第一個反應的結果是：

foo.x = {n: 2};
bar.x = {n: 2};

當時我的內心獨白是這樣的： So easy !! 這種題也有什么好問的！
然而結果是：

bar.x = {n: 2};
foo.x = undefined;

Why!!!!!!?????? 我表示很郁悶

然后我果斷去調研了一番，下面大概總結一下～
針對這題其實要明白兩點：

對于對象賦值，傳遞的都是引用，都是引用調用

對于賦值語句，總是先對lhs求值，再對rhs求值，然后PutValue。

可以參考一下ECMAScript標準，下面來看一下上面代碼的執行。

1.第一第二行代碼很簡單，就是把一個對象（{n: 2}）賦給 foo, 然后通過 foo 再把對象賦值給 bar。這時候 bar 和 foo 存的都是對象 {n: 2} 的引用。

2.接下來重點看 foo.x = foo = { n: 2 }。我們就按照 [ 對于賦值語句，總是先對lhs求值，再對rhs求值，然后PutValue。 ] 來解析這行代碼。

第一步，首先對 foo.x 進行求值，foo 指向的是對象 { n: 2 }(下面稱為：ObjectF ), ObjectF 沒有屬性 x ，那么為 ObjectF 添加屬性x，左值的求值結果就是對剛才添加的屬性 x 的引用(某個內存地址X)。

第二步， 對右值進行求值，右值是 foo = {n : 2}。遞歸向下，先對左值求值，得到 foo，foo 還是 ObjectF 引用，然后對右值{a : 2}求值，得到 ObjectE ，接著PutValue將改變 foo 的指向到 ObjectE，賦值表達式foo = {n : 2}返回得到 ObjectE引用。

這個時候 foo 和 ObjectF 已經解綁，而且重新指向了 ObjectE，ObjectE上沒有 x 這個屬性，所以 foo.x 這個時候是undefined。

第三步, PutValue將左值指向 ObjectE，也就是說第一步中的內存地址X存的是ObjectE的引用。

到這里整個賦值過程就完成了。

// 問題：下面兩題的結果是？
(function(x, f = () => x) {
    var x;
    var y = x;
    x = 2;
    return [x, y, f()]; // [2, 1, 1]
})(1)

(function(x, f = () => x) {
    var y = x;
    x = 2;
    return [x, y, f()]; // [2, 2, 1]
})(1)

對于這個問題，第二個函數相信大家都不會有啥疑問。應該集中在第一個上。

要理解這題也需要明白兩個點：

1.函數體內和函數體外是兩個不同的命名空間或者說作用域，函數體外的作用域是不能訪問函數體內的變量的。函數的形參（x, f） 和 函數體 { } 就是兩個不同的作用域。

(function(a, f = () => x) {
    var x = 2;
    return [ a, f()];
})(1) // Uncaught ReferenceError: x is not defined

2.函數中的默認參數可用于后面的默認參數（已經遇到的參數可用于以后的默認參數）。

怎么理解 【函數中的默認參數可用于后面的默認參數（已經遇到的參數可用于以后的默認參數）】，看下面的例子：

function singularAutoPlural(singular, plural = singular+"s", rallyingCry = plural + " ATTACK!!!") {
    return [singular, plural, rallyingCry ]; 
}

//["Gecko","Geckos", "Geckos ATTACK!!!"]
singularAutoPlural("Gecko");

//["Fox","Foxes", "Foxes ATTACK!!!"]
singularAutoPlural("Fox","Foxes");

//["Deer", "Deer", "Deer ... change."]
singularAutoPlural("Deer", "Deer", "Deer peaceably and respectfully
   petition the government for positive change.")

Demo來自MDN

看懂了這個，接下來就直接來解釋一下這個題目~

(function(x, f = () => x) { // 首先這里給參數 f 默認賦值了一個匿名函數，根據我們之前說的第二個知識點這里的 x 就是形參 x。由于作用域的關系 函數f 是不能訪問到函數內的 x 的。
    var x; // ！！！ 注意，這里進行了變量聲明，會分配新的內存地址。但是因為只進行了聲明而沒有賦值，所以在作用域鏈還會找到 形參x
    var y = x; // 這里 y 的值取的還是形參 x 的值
    x = 2; // 這里 對上面的 var x 進行賦值而形參x 的值是不受影響的（console.log(arguments[0])試一下， 所以 f()  返回是1），此時作用域鏈上會先找到函數內聲明的 x。
    return [x, y, f()]; // [2, 1, 1]
})(1)

(function(x, f = () => x) {
    var y = x; // 這里只聲明了y, x 還是形參x
    x = 2; // 這里改變了形參x的值，所以 f() 返回是 2
    return [x, y, f()]; // [2, 1, 2]
})(1)

這題還有一個坑點，我拿到babel里面去轉一下得到的結果是

"use strict";

(function (x) {
   var f = arguments.length > 1 && arguments[1] !== undefined ? arguments[1] : function () {
       return x;
   };

   var x;
   var y = x;
   x = 2;
   return [x, y, f()]; // ！！！  這里結果是 [2, 1, 2]
})(1);

這種神奇的代碼還是盡量不要寫呀！

如果有理解錯誤的地方，歡迎指正！