為什么以下兩個例子執(zhí)行結(jié)果不同？

函數(shù)聲明時設(shè)置的默認(rèn)參數(shù)值是在函數(shù)調(diào)用時計算賦值的，而不是在函數(shù)聲明時賦值

我們可以看下下面的例子

function foo2(a, b = (function() { console.log(c); return function(){} })()) {
    b();
}
foo2();

調(diào)用 foo2();
控制臺將輸出:
Uncaught ReferenceError: c is not defined

at b (<anonymous>:1:47)
at foo2 (<anonymous>:2:5)
at <anonymous>:1:1

而不掉用 foo2();
控制臺將不報錯

以上例子說明了函數(shù)參數(shù)的默認(rèn)值是在調(diào)用是賦值的，而不是在聲明時。

對于問題的代碼，還有注意一點，y默認(rèn)值函數(shù)聲明中的x是綁定為函數(shù)聲明中的參數(shù)x變量而不是foo外層作用域中的變量x

function foo(x, y = function() { x = 2; }) {
  console.log("x1:"+x);
  y();
  console.log("x2:"+x);
}
foo();

輸出
x1:undefined
x2:2

那么下面的代碼輸出2就好理解了

var x = 1;
function foo(x, y = function() { x = 2; }) {
  x = 3;
  y();
  console.log(x);
}

foo(); // 2

function foo(x, y = function() { x = 2; }) 參數(shù)中 foo參數(shù)y函數(shù)里的 x 指向foo參數(shù)x，這形成了一個閉包

先說第二個函數(shù)，當(dāng)執(zhí)行 x=3 的時候，參數(shù)x的值變成了3，在執(zhí)行y，因為引用的都是同一塊內(nèi)存空間，所以x又變成了2，最終打印2，這個x始終是foo的參數(shù)，所以不存在改變?nèi)謝的情況

第一個函數(shù)，當(dāng)foo內(nèi)部重新var x的時候，又重新開辟了一個內(nèi)存空間,這個空間未被y引用，所以執(zhí)行y的時候，改變的還是參數(shù)x，而打印的是重新開辟的x。

如果y在全局聲明，或者在foo函數(shù)內(nèi)部聲明，那么又是不同的情況

你可以這么理解，function的參數(shù)也會形成一個變量作用域，也就是函數(shù)聲明的時候，先生成一個變量作用域，這個作用域中包含參數(shù)的聲明，然后這個作用域里面又會生成一個變量作用域，這個作用域中是函數(shù)內(nèi)部聲明的變量。

var x = 1;
function foo(x, y = function() { x = 2; }) {
  var x = 3;
  y();
  console.log(x);
}

生成類似下面的作用域

調(diào)用foo的時候，會調(diào)用y，y函數(shù)變量作用域中沒有變量x，所以會一直向上層作用域查找，終于在foo參數(shù)變量作用域中找到x，然后將該作用域的x變?yōu)?code>2；然后執(zhí)行console.log(x)的時候，這個語句是在foo函數(shù)內(nèi)變量作用域中的，這個作用域中正好有變量x，x的值是3，所以輸出3。全局作用域中的x依然是1，所以輸出1。

var x = 1;
function foo(x, y = function() { x = 2; }) {
  x = 3;
  y();
  console.log(x);
}

生成類似下面的作用域：

和上圖對比你會發(fā)現(xiàn)不同的地方在foo函數(shù)內(nèi)變量作用域沒有聲明一個新的變量x。
執(zhí)行x = 3的時候因為foo函數(shù)內(nèi)變量作用域內(nèi)沒有x變量，所以會到foo參數(shù)變量作用域中查找，發(fā)現(xiàn)有x變量，然后將該作用域中的變量
x賦值為3；然后執(zhí)行y的時候，因為y函數(shù)變量作用域中也沒有x變量，所以會向上查找，直到在foo參數(shù)變量作用域找到變量x，然后將x賦值為2；執(zhí)行console.log(x)的時候，因為foo函數(shù)內(nèi)變量作用域沒有x變量，所以打印的是foo參數(shù)變量作用域內(nèi)的x變量，此時x為2；然后輸出全局的x為1。

函數(shù)形參是有自己的作用域的 所以y函數(shù)里修改的x只會是在他之前定義的x而不是外部的x 所以外部的x不會變
而在函數(shù)內(nèi)重新var的x是函數(shù)作用域的x 不是形參作用域的x 函數(shù)運(yùn)行在定義時 所以y修改的是形參x的只 log時的是函數(shù)作用域的x 沒var的x會向上找x 找到的是形參的x 所以修改的是形參的x 打印的x也是形參的x

有意思, 試了一下, 無語凝噎:

總結(jié): 注意區(qū)分函數(shù)調(diào)用與函數(shù)聲明, 不要給參數(shù)重新賦值 ?

看到了很多答案，在大家的提示下 我去查了很多資料現(xiàn)在已經(jīng)理解了這個結(jié)果。

var x = 1;
function foo(x, y = function() { x = 2; }) {
  var x = 3;
  y();
  console.log(x);
}

foo() // 3
x // 1

以上的代碼 作用域鏈如下：

以上的圖涉及一個問題，那就是為什么foo的參數(shù)居然是自成一個作用域鏈？
這是因為es6規(guī)定：
一旦設(shè)置了參數(shù)的默認(rèn)值，函數(shù)進(jìn)行聲明初始化時，參數(shù)會形成一個單獨(dú)的作用域（context）。等到初始化結(jié)束，這個作用域就會消失。這種語法行為，在不設(shè)置參數(shù)默認(rèn)值時，是不會出現(xiàn)的。
也就是說y中的x=2，因為y中是沒有x變量的，所以向上一級查找，他的上一級就是傳入的參數(shù)x，因此y函數(shù)的作用改變的是參數(shù)x
而當(dāng)foo內(nèi)部var x=3時，這時內(nèi)部的x已經(jīng)覆蓋掉了參數(shù)x，
console.log查找的是它的上一層foo的內(nèi)部變量作用域x，這個x是等于3的，因此foo執(zhí)行為3，一下貼出作用域鏈的一個概念，覺得解釋的非常好
作用域鏈：作用域鏈?zhǔn)且粋€對象列表或者鏈表，這組對象定義了這段代碼’作用關(guān)于中’的變量。當(dāng)javascript需要查找變量x的值得時候（變量解析)，他會從鏈中的第一個對象開始查找，如果這個對象有一個名為x的屬性，則會直接使用這個屬性的值，如果第一個對象中不存在名為x的屬性，javascript會繼續(xù)查找鏈上的下一個對象。如果第二個對象依然沒有名為x的屬性，則會繼續(xù)查找下一個對象，以此類推。如果作用域鏈上沒有任何一個對象含有屬性x，那么久認(rèn)為這段代碼的作用域鏈上不存在x，并最終爆出一個引用錯誤異常。（犀牛書P59）

而第二段代碼：

var x = 1;
function foo(x, y = function() { x = 2; }) {
  x = 3;
  y();
  console.log(x);
}

foo() // 2
x // 1

作用域鏈如下：

foo中的console.log(x)中的x會查到他的上一級傳入的參數(shù)x，因為傳入的參數(shù)被y函數(shù)改為2，所以輸出2
而第一個例子中的x上一級作用域鏈直接是新定義的x=3所以輸出3

var x = 1;
function foo(x, y = function() { x = 2; }) {
  var x = 3;
  y();
  console.log(x);
}

foo() // 3
x // 1

上面代碼中，函數(shù)foo的參數(shù)形成一個單獨(dú)作用域。這個作用域里面，首先聲明了變量x，然后聲明了變量y，y的默認(rèn)值是一個匿名函數(shù)。這個匿名函數(shù)內(nèi)部的變量x，指向同一個作用域的第一個參數(shù)x。函數(shù)foo內(nèi)部又聲明了一個內(nèi)部變量x，該變量與第一個參數(shù)x由于不是同一個作用域，所以不是同一個變量，因此執(zhí)行y后，內(nèi)部變量x和外部全局變量x的值都沒變。

如果將var x = 3的var去除，函數(shù)foo的內(nèi)部變量x就指向第一個參數(shù)x，與匿名函數(shù)內(nèi)部的x是一致的，所以最后輸出的就是2，而外層的全局變量x依然不受影響。

var x = 1;
function foo(x, y = function() { x = 2; }) {
  x = 3;
  y();
  console.log(x);
}

foo() // 2
x // 1

上述代碼和解釋來源：ES6 標(biāo)準(zhǔn)入門