摘要：講清楚之參數(shù)傳值參數(shù)傳值是指函數(shù)調(diào)用時(shí)，給函數(shù)傳遞配置或運(yùn)行參數(shù)的行為，包括通過進(jìn)行傳值。所以對(duì)的賦值會(huì)改變上下文棧中標(biāo)識(shí)符保存的具體值此時(shí)如果使用的是按引用傳遞，則變量所指向的對(duì)象因該也被賦值為。

參數(shù)傳值是指函數(shù)調(diào)用時(shí)，給函數(shù)傳遞配置或運(yùn)行參數(shù)的行為，包括通過call、apply 進(jìn)行傳值。

在實(shí)際開發(fā)中，我們總結(jié)javascript參數(shù)傳值分為基本數(shù)據(jù)類型按值傳遞（String、Numbe、Boolean、Null、undefind），引用數(shù)據(jù)類型按引用傳遞(Object, 包括Array、Function、Data)。這篇文章將要糾正這一誤解： 實(shí)質(zhì)上引用類型是按共享傳遞的。

在探索傳值問題前，我們先看一下 javascript 在聲明變量時(shí)是怎樣分配內(nèi)存的

原始值：存儲(chǔ)在棧（stack）中的簡(jiǎn)單數(shù)據(jù)段，也就是說，它們的值直接存儲(chǔ)在變量訪問的位置。這是因?yàn)檫@些原始類型占據(jù)的空間是固定的，所以可將他們存儲(chǔ)在較小的內(nèi)存區(qū)域 – 棧中。這樣存儲(chǔ)便于迅速查尋變量的值。

引用值：存儲(chǔ)在堆（heap）中的對(duì)象，也就是說，存儲(chǔ)在變量處的值是一個(gè)指針（point），指向存儲(chǔ)對(duì)象的內(nèi)存地址。這是因?yàn)椋阂弥档拇笮?huì)改變，所以不能把它放在棧中，否則會(huì)降低變量查尋的速度。相反，放在變量的?？臻g中的值是該對(duì)象存儲(chǔ)在堆中的地址。地址的大小是固定的，所以把它存儲(chǔ)在棧中對(duì)變量性能無任何負(fù)面影響。

基本類型是將原始值保存在棧中。引用類型是將數(shù)據(jù)保存在堆中，然后在棧中建立堆地址的引用。在javascript中是不允許直接訪問保存在堆內(nèi)存中的對(duì)象的，所以在訪問一個(gè)對(duì)象時(shí)，首先得到的是這個(gè)對(duì)象在堆內(nèi)存中的地址，然后再按照這個(gè)地址去獲得這個(gè)對(duì)象中的值，這就是傳說中的按引用訪問。而原始類型的值則是可以直接訪問到的。不同的內(nèi)存分配機(jī)制也帶來了不同的訪問機(jī)制。

而基本類型和引用類型在變量復(fù)制的時(shí)候也存在區(qū)別：

原始值：在將一個(gè)保存著原始值的變量復(fù)制給另一個(gè)變量時(shí)，會(huì)將原始值的副本賦值給新變量，此后這兩個(gè)變量是完全獨(dú)立的，他們只是擁有相同的 value 而已。

引用值：在將一個(gè)保存著對(duì)象內(nèi)存地址的變量復(fù)制給另一個(gè)變量時(shí)，會(huì)把這個(gè)內(nèi)存地址賦值給新變量，也就是說這兩個(gè)變量都指向了堆內(nèi)存中的同一個(gè)對(duì)象，他們中任何一個(gè)作出的改變都會(huì)反映在另一個(gè)身上。復(fù)制是不會(huì)產(chǎn)生新的堆內(nèi)存消耗。

所以我們總結(jié) javascript 中所有函數(shù)參數(shù)都是按值傳遞，都是把形參復(fù)制給實(shí)參，只是基本數(shù)據(jù)類型復(fù)制的是原始值，而引用類型復(fù)制的是堆內(nèi)存的地址。

引用類型的這種求值策略就是 按共享傳遞(call by sharing).

理論知識(shí)梳理完了，下面舉幾個(gè)例子分析一下具體的情形.

let a = 1
function foo(x) {
    console.log(x)
}
foo(a)
console.log(a)
// 2
// 1

變量 a 的值直接復(fù)制到了foo函數(shù)的實(shí)參x上，此時(shí)變量x是變量 a 的一個(gè)副本。它們獨(dú)立的在各自的上下文棧中保存了值‘1’，且相互之間互不影響，我們對(duì) a、x的讀寫操作，操作的是他們各自的值。

示例圖中，在全局上下文和foo的上下文中各自保存了值1.

let a = {
    abc: 1
}
function foo(x) {
    x.abc = 2
    console.log(x.abc)
}
foo(a)
console.log(a.abc)
// 2
// 2

根據(jù)編碼經(jīng)驗(yàn)我們會(huì)很錯(cuò)誤的得出，上面的栗子是按引用傳遞。對(duì)象a的引用被傳遞到函數(shù)foo內(nèi)部， 函數(shù)內(nèi)部變量x指向全局變量a，從而實(shí)現(xiàn)了引用的傳遞，所以變量x和變量a讀寫的是同一個(gè)對(duì)象。我們用一張圖來揭示：

但其實(shí)是按共享傳遞。按引用傳遞是我們對(duì) javascript 求值策略的誤解，如果是按引用傳遞那下面這個(gè)例子就懵比了：

let a = {
    abc: 1
}
function foo(x) {
    console.log(x) // {abc: 1}
    x = 2
    console.log(x) // 2
}
foo(a)
console.log(a.abc) // 1

foo 函數(shù)執(zhí)行時(shí)第一個(gè)打印輸出 ‘{abc: 1}’, 第二個(gè)打印輸出 ‘2’, 調(diào)用 foo 函數(shù)后的console.log(a.abc)一句打印輸出‘1’。

按引用傳遞的話。表達(dá)式console.log(a.abc)是在 foo 函數(shù)執(zhí)行后執(zhí)行的，此時(shí)的a應(yīng)該已經(jīng)被賦值為 2, a.abc是不存在的應(yīng)該打印輸出 ‘undefind’。 但是卻打印輸出了 1，說明在 foo 函數(shù)的內(nèi)部執(zhí)行x = 2是并沒有修改外層對(duì)象 a 的值。

為什么會(huì)出現(xiàn)a、x在指向同一個(gè)對(duì)象后，對(duì)x賦值又沒有改變?cè)瓕?duì)象的值呢？

因?yàn)檫@里對(duì)象傳遞給實(shí)參是按共享傳遞（call by sharing）的，根據(jù)引用類型變量復(fù)制的特點(diǎn)（上面描述過）：

foo 函數(shù)執(zhí)行時(shí)， 形參 x 的值是傳進(jìn)去的對(duì)象 a 的內(nèi)存地址引用，即在變量對(duì)象創(chuàng)建階段x保存的是一個(gè)對(duì)象的堆內(nèi)存地址。此時(shí) a、x 都指向同一對(duì)象。 接著在函數(shù)的執(zhí)行階段，代碼的第二行將原始數(shù)據(jù)類型 2 賦值給 x，導(dǎo)致 x 不再保存原先的堆內(nèi)存地址轉(zhuǎn)而保存一個(gè)原始值，再次訪問 x 的時(shí)候是訪問對(duì) x 最后一次賦值的原始值。

所以對(duì) x 的賦值會(huì)改變上下文棧中標(biāo)識(shí)符 x 保存的具體值

此時(shí)如果使用的是按引用傳遞 ，則變量 a 所指向的對(duì)象因該也被賦值為 2。但其實(shí)對(duì) x 賦值為一個(gè)基本數(shù)據(jù)類型并沒有使原對(duì)象為一個(gè)字面量值，這就說明引用類型并不是按引用傳值，不是遵從按引用規(guī)則來處理值的寫入。

需要區(qū)分給對(duì)象屬性賦值與直接給對(duì)象賦值的區(qū)別：

let a = {
    abc: 1
}
function foo(x) {
    x.abc = 99
    console.log(x) // {abc: 99}
    x = 2
    console.log(x) // 2
}
foo(a)
console.log(a) // {abc: 99}

在 foo 函數(shù)內(nèi)部修改對(duì)象 x 的屬性，會(huì)導(dǎo)致 x、a 指向的對(duì)象被修改，因?yàn)樗鼈冎赶蛲粋€(gè)堆地址。

參考：

《javascript高級(jí)程序設(shè)計(jì)》

javascript傳遞參

JS是按值傳遞還是按引用傳遞?