快捷導(dǎo)航

JavaScript中的值是按值傳遞還是按引用傳遞問(wèn)題探討

更新時(shí)間：2015年01月30日 09:32:09 投稿：junjie

這篇文章主要介紹了JavaScript中的值是按值傳遞還是按引用傳遞問(wèn)題探討,本文講解了按值傳遞、按引用傳遞、按共享傳遞、基本類(lèi)型的不可變(immutable)性質(zhì)等內(nèi)容,需要的朋友可以參考下

最近遇到個(gè)有趣的問(wèn)題：“JS中的值是按值傳遞，還是按引用傳遞呢？”

在分析這個(gè)問(wèn)題之前，我們需了解什么是按值傳遞(call by value)，什么是按引用傳遞(call by reference)。在計(jì)算機(jī)科學(xué)里，這個(gè)部分叫求值策略(Evaluation Strategy)。它決定變量之間、函數(shù)調(diào)用時(shí)實(shí)參和形參之間值是如何傳遞的。

按值傳遞 VS. 按引用傳遞

按值傳遞(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ù)雜類(lèi)型，性能較低。兩種傳值方式都有各自的問(wèn)題。

我們先看一個(gè)C的例子來(lái)了解按值和引用傳遞的區(qū)別：

復(fù)制代碼代碼如下:

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的基本類(lèi)型，是按值傳遞的。

復(fù)制代碼代碼如下:

 
var a = 1;

function foo(x) {

    x = 2;

}

foo(a);

console.log(a); // 仍為1, 未受x = 2賦值所影響

再來(lái)看對(duì)象：

復(fù)制代碼代碼如下:

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è)倏聪旅娴睦樱?br />

復(fù)制代碼代碼如下:

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中如何傳遞的呢？

按共享傳遞 call by sharing

準(zhǔn)確的說(shuō)，JS中的基本類(lèi)型按值傳遞，對(duì)象類(lèi)型按共享傳遞的(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的值。

復(fù)制代碼代碼如下:

var obj = {x : 1};

function foo(o) {

    o = 100;

}

foo(obj);

console.log(obj.x); // 仍然是1, obj并未被修改為100.

然而，雖然引用是副本，引用的對(duì)象是相同的。它們共享相同的對(duì)象，所以修改形參對(duì)象的屬性值，也會(huì)影響到實(shí)參的屬性值。

復(fù)制代碼代碼如下:

var obj = {x : 1};

function foo(o) {

    o.x = 3;

}

foo(obj);

console.log(obj.x); // 3, 被修改了!

對(duì)于對(duì)象類(lèi)型，由于對(duì)象是可變(mutable)的，修改對(duì)象本身會(huì)影響到共享這個(gè)對(duì)象的引用和引用副本。而對(duì)于基本類(lèi)型，由于它們都是不可變的(immutable)，按共享傳遞與按值傳遞(call by value)沒(méi)有任何區(qū)別，所以說(shuō)JS基本類(lèi)型既符合按值傳遞，也符合按共享傳遞。

復(fù)制代碼代碼如下:

var a = 1; // 1是number類(lèi)型，不可變 var b = a; b = 6;

據(jù)按共享傳遞的求值策略，a和b是兩個(gè)不同的引用(b是a的引用副本)，但引用相同的值。由于這里的基本類(lèi)型數(shù)字1不可變，所以這里說(shuō)按值傳遞、按共享傳遞沒(méi)有任何區(qū)別。

基本類(lèi)型的不可變(immutable)性質(zhì)

基本類(lèi)型是不可變的(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值。

復(fù)制代碼代碼如下:

var str = “abc”;

str[0]; // “a”

str[0] = “d”;

str; // 仍然是”abc”;賦值是無(wú)效的。沒(méi)有任何辦法修改字符串的內(nèi)容

而對(duì)象就不一樣了，對(duì)象是可變的。

復(fù)制代碼代碼如下:

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。

您可能感興趣的文章: