按值傳遞 VS. 按引用傳遞

按值傳遞(call by value)是最常用的求值策略：函數的形參是被調用時所傳實參的副本。修改形參的值并不會影響實參。
 
按引用傳遞(call by reference)時，函數的形參接收實參的隱式引用，而不再是副本。這意味著函數形參的值如果被修改，實參也會被修改。同時兩者指向相同的值。
 
按引用傳遞會使函數調用的追蹤更加困難，有時也會引起一些微妙的BUG。
 
按值傳遞由于每次都需要克隆副本，對一些復雜類型，性能較低。兩種傳值方式都有各自的問題。
 
我們先看一個C的例子來了解按值和引用傳遞的區別： 

這里我們可以看到：
 
a => p按值傳遞時，修改形參p的值并不影響實參a，p只是a的副本。
b => q是按引用傳遞，修改形參q的值時也影響到了實參b的值。
探究JS值的傳遞方式
JS的基本類型，是按值傳遞的。

再來看對象：
 

說明o和obj是同一個對象，o不是obj的副本。所以不是按值傳遞。 但這樣是否說明JS的對象是按引用傳遞的呢？我們再看下面的例子：

如果是按引用傳遞，修改形參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值。

而對象就不一樣了，對象是可變的。
 

這里定義變量obj，值是object，然后設置obj.x屬性的值為100。而后定義另一個變量o，值仍然是這個object對象，此時obj和o兩個變量的值指向同一個對象（共享同一個對象的引用）。所以修改對象的內容，對obj和o都有影響。但對象并非按引用傳遞，通過o = true修改了o的值，不會影響obj。