在分析這個問題之前,我們需了解什么是按值傳遞(call by value),什么是按引用傳遞(call by reference)。在計算機科學里,這個部分叫求值策略(Evaluation Strategy)。它決定變量之間、函數調用時實參和形參之間值是如何傳遞的。
探究JS值的傳遞方式
JS的基本類型,是按值傳遞的:
var a = 1; function foo(x) { x = 2; } foo(a); console.log(a); // 仍為1, 未受x = 2賦值所影響
再來看對象:
var obj = {x : 1}; function foo(o) { o.x = 3; } foo(obj); console.log(obj.x); // 3, 被修改了!
說明o和obj是同一個對象,o不是obj的副本。所以不是按值傳遞。 但這樣是否說明JS的對象是按引用傳遞的呢?我們再看下面的例子:
var obj = {x : 1}; function foo(o) { o = 100; } foo(obj); console.log(obj.x); // 仍然是1, obj並未被修改為100.
如果是按引用傳遞,修改形參o的值,應該影響到實參才對。但這里修改o的值並未影響obj。 因此JS中的對象並不是按引用傳遞。那么究竟對象的值在JS中如何傳遞的呢?
按共享傳遞 call by sharing
准確的說,JS中的基本類型按值傳遞,對象類型按共享傳遞的(call by sharing,也叫按對象傳遞、按對象共享傳遞)。最早由Barbara Liskov. 在1974年的GLU語言中提出。該求值策略被用於Python、Java、Ruby、JS等多種語言。
該策略的重點是:調用函數傳參時,函數接受對象實參引用的副本(既不是按值傳遞的對象副本,也不是按引用傳遞的隱式引用)。 它和按引用傳遞的不同在於:在共享傳遞中對函數形參的賦值,不會影響實參的值。如上面例子中,不可以通過修改形參o的值,來修改obj的值。
對於對象類型,由於對象是可變(mutable)的,修改對象本身會影響到共享這個對象的引用和引用副本。而對於基本類型,由於它們都是不可變的(immutable),按共享傳遞與按值傳遞(call by value)沒有任何區別,所以說JS基本類型既符合按值傳遞,也符合按共享傳遞。
var a = 1; // 1是number類型,不可變 var b = a; b = 6;
據按共享傳遞的求值策略,a和b是兩個不同的引用(b是a的引用副本),但引用相同的值。由於這里的基本類型數字1不可變,所以這里說按值傳遞、按共享傳遞沒有任何區別。
基本類型的不可變(immutable)性質
基本類型是不可變的(immutable),只有對象是可變的(mutable). 例如數字值100, 布爾值true, false,修改這些值(例如把1變成3, 把true變成100)並沒有什么意義。比較容易誤解的,是JS中的string。有時我們會嘗試“改變”字符串的內容,但在JS中,任何看似對string值的”修改”操作,實際都是創建新的string值。