在分析這個(gè)問(wèn)題之前分瘾,我們需了解什么是按值傳遞(call by value)朴肺,什么是按引用傳遞(call by reference)。在計(jì)算機(jī)科學(xué)里聪轿,這個(gè)部分叫求值策略(Evaluation Strategy)。它決定變量之間荧止、函數(shù)調(diào)用時(shí)實(shí)參和形參之間值是如何傳遞的屹电。
<u>按值傳遞 VS. 按引用傳遞</u>
按值傳遞(call by value)是最常用的求值策略:函數(shù)的形參是被調(diào)用時(shí)所傳實(shí)參的副本。修改形參的值并不會(huì)影響實(shí)參跃巡。
按引用傳遞(call by reference)時(shí)危号,函數(shù)的形參接收實(shí)參的隱式引用,而不再是副本素邪。這意味著函數(shù)形參的值如果被修改外莲,實(shí)參也會(huì)被修改。同時(shí)兩者指向相同的值。
按引用傳遞會(huì)使函數(shù)調(diào)用的追蹤更加困難偷线,有時(shí)也會(huì)引起一些微妙的BUG磨确。
按值傳遞由于每次都需要克隆副本,對(duì)一些復(fù)雜類型声邦,性能較低乏奥。兩種傳值方式都有各自的問(wèn)題。
我們先看一個(gè)C的例子來(lái)了解按值和引用傳遞的區(qū)別:
void Modify(int p, int * q)
{
p = 27; // 按值傳遞 - p是實(shí)參a的副本, 只有p被修改
*q = 27; // q是b的引用亥曹,q和b都被修改
}
int main()
{
int a = 1;
int b = 1;
Modify(a, &b); // a 按值傳遞, b 按引用傳遞,
// a 未變化, b 改變了
return(0);
}
這里我們可以看到:
a => p按值傳遞時(shí)邓了,修改形參p的值并不影響實(shí)參a,p只是a的副本媳瞪。
b => q是按引用傳遞骗炉,修改形參q的值時(shí)也影響到了實(shí)參b的值。
探究JS值的傳遞方式
JS的基本類型蛇受,是按值傳遞的句葵。
var a = 1;
function foo(x) {
x = 2;
}
foo(a);
console.log(a); // 仍為1, 未受x = 2賦值所影響
再來(lái)看對(duì)象:
var obj = {x : 1};
function foo(o) {
o.x = 3;
}
foo(obj);
console.log(obj.x); // 3, 被修改了!
var obj = {x : 1};
function foo(o) {
o.x = 3;
}
foo(obj);
console.log(obj.x); // 3, 被修改了!
說(shuō)明o和obj是同一個(gè)對(duì)象,o不是obj的副本兢仰。所以不是按值傳遞乍丈。 但這樣是否說(shuō)明JS的對(duì)象是按引用傳遞的呢?我們?cè)倏聪旅娴睦樱?/p>
var obj = {x : 1};
function foo(o) {
o = 100;
}
foo(obj);
console.log(obj.x); // 仍然是1, obj并未被修改為100.
如果是按引用傳遞旨别,修改形參o的值诗赌,應(yīng)該影響到實(shí)參才對(duì)汗茄。但這里修改o的值并未影響obj秸弛。 因此JS中的對(duì)象并不是按引用傳遞。那么究竟對(duì)象的值在JS中如何傳遞的呢洪碳?
<u>按共享傳遞 call by sharing</u>
準(zhǔn)確的說(shuō)递览,JS中的基本類型按值傳遞,對(duì)象類型按共享傳遞的(call by sharing瞳腌,也叫按對(duì)象傳遞绞铃、按對(duì)象共享傳遞)。最早由Barbara Liskov. 在1974年的GLU語(yǔ)言中提出嫂侍。該求值策略被用于Python儿捧、Java、Ruby挑宠、JS等多種語(yǔ)言菲盾。
該策略的重點(diǎn)是:調(diào)用函數(shù)傳參時(shí),函數(shù)接受對(duì)象實(shí)參引用的副本(既不是按值傳遞的對(duì)象副本各淀,也不是按引用傳遞的隱式引用)懒鉴。 它和按引用傳遞的不同在于:在共享傳遞中對(duì)函數(shù)形參的賦值,不會(huì)影響實(shí)參的值。如下面例子中临谱,不可以通過(guò)修改形參o的值璃俗,來(lái)修改obj的值。
var obj = {x : 1};
function foo(o) {
o = 100;
}
foo(obj);
console.log(obj.x); // 仍然是1, obj并未被修改為100.
然而悉默,雖然引用是副本城豁,引用的對(duì)象是相同的。它們共享相同的對(duì)象抄课,所以修改形參對(duì)象的屬性值钮蛛,也會(huì)影響到實(shí)參的屬性值。
對(duì)于對(duì)象類型剖膳,由于對(duì)象是可變(mutable)的魏颓,修改對(duì)象本身會(huì)影響到共享這個(gè)對(duì)象的引用和引用副本。而對(duì)于基本類型吱晒,由于它們都是不可變的(immutable)甸饱,按共享傳遞與按值傳遞(call by value)沒(méi)有任何區(qū)別,所以說(shuō)JS基本類型既符合按值傳遞仑濒,也符合按共享傳遞叹话。
var a = 1; // 1是number類型,不可變 var b = a; b = 6;
據(jù)按共享傳遞的求值策略墩瞳,a和b是兩個(gè)不同的引用(b是a的引用副本)驼壶,但引用相同的值。由于這里的基本類型數(shù)字1不可變喉酌,所以這里說(shuō)按值傳遞热凹、按共享傳遞沒(méi)有任何區(qū)別。
<u>基本類型的不可變(immutable)性質(zhì)</u>
基本類型是不可變的(immutable)泪电,只有對(duì)象是可變的(mutable). 例如數(shù)字值100, 布爾值true, false般妙,修改這些值(例如把1變成3, 把true變成100)并沒(méi)有什么意義。比較容易誤解的相速,是JS中的string碟渺。有時(shí)我們會(huì)嘗試“改變”字符串的內(nèi)容,但在JS中突诬,任何看似對(duì)string值的”修改”操作苫拍,實(shí)際都是創(chuàng)建新的string值。
var str = "abc";
str[0]; // "a"
str[0] = "d";
str; // 仍然是"abc";賦值是無(wú)效的旺隙。沒(méi)有任何辦法修改字符串的內(nèi)容
而對(duì)象就不一樣了绒极,對(duì)象是可變的。
var obj = {x : 1};
obj.x = 100;
var o = obj;
o.x = 1;
obj.x; // 1, 被修改
o = true;
obj.x; // 1, 不會(huì)因o = true改變
這里定義變量obj催束,值是object集峦,然后設(shè)置obj.x屬性的值為100。而后定義另一個(gè)變量o,值仍然是這個(gè)object對(duì)象塔淤,此時(shí)obj和o兩個(gè)變量的值指向同一個(gè)對(duì)象(共享同一個(gè)對(duì)象的引用)摘昌。所以修改對(duì)象的內(nèi)容,對(duì)obj和o都有影響高蜂。但對(duì)象并非按引用傳遞聪黎,通過(guò)o = true修改了o的值,不會(huì)影響obj。