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

函數(shù)聲明時(shí)設(shè)置的默認(rèn)參數(shù)值是在函數(shù)調(diào)用時(shí)計(jì)算賦值的，而不是在函數(shù)聲明時(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();
控制臺將不報(bào)錯(cuò)

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

對于問題的代碼，還有注意一點(diǎn)，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，這形成了一個(gè)閉包

先說第二個(gè)函數(shù)，當(dāng)執(zhí)行 x=3 的時(shí)候，參數(shù)x的值變成了3，在執(zhí)行y，因?yàn)橐玫亩际峭粔K內(nèi)存空間，所以x又變成了2，最終打印2，這個(gè)x始終是foo的參數(shù)，所以不存在改變?nèi)謝的情況

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

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

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

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

生成類似下面的作用域

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

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

生成類似下面的作用域：

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

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

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

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

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

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

foo() // 3
x // 1

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

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

如果將var x = 3的var去除，函數(shù)foo的內(nèi)部變量x就指向第一個(gè)參數(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)入門