詳細(xì)討論JavaScript中的求值策略
最近在研究 lambda演算 中的 η-變換 在JavaScript中的應(yīng)用,偶然在 stackoverflow 上看到一個比較有意思的問題。關(guān)于JavaScript的求值策略,問js中函數(shù)的參數(shù)傳遞是按值傳遞還是按引用傳遞?回答很經(jīng)典。
一栗以蔽之function changeStuff(a, b, c) { a = a * 10; b.item = 'changed'; c = {item: 'changed'};}var num = 10;var obj1 = {item: 'unchanged'};var obj2 = {item: 'unchanged'};changeStuff(num, obj1, obj2);console.log(num); // 10console.log(obj1.item); // changedconsole.log(obj2.item); // unchanged
如果說js中函數(shù)的參數(shù)傳遞是按值傳遞,那么在函數(shù)changeStuff內(nèi)部改變b.item的值將不會影響外部的obj1對象的值。
如果說JS中函數(shù)的參數(shù)傳遞是按引入傳遞,那函數(shù)changeStuff內(nèi)部所做的改變將會影響到函數(shù)外部所有的變量定義,num將會變成100、obj2.item將會變成changed。很顯然實(shí)際不是這樣子的。
所以不能說JS中函數(shù)的參數(shù)傳遞嚴(yán)格按值傳遞或按引入傳遞。總的來說函數(shù)的參數(shù)都是按值傳遞的。JS中還采用一種參數(shù)傳遞策略,叫按共享傳遞。這要取決于參數(shù)的類型。
如果參數(shù)是基本類型,那么是按值傳遞的;
如果參數(shù)是引用類型,那么是按共享傳遞的。
參數(shù)傳遞ECMAScript 中所有函數(shù)的參數(shù)都是按值傳遞的。也就是說,把函數(shù)外部的值復(fù)制給函數(shù)內(nèi)部的參數(shù),就和把值從一個變量復(fù)制到另一個變量一樣。基本類型值的傳遞如同基本類型變量的復(fù)制一樣,而引用類型值的傳遞,則如同引用類型變量的復(fù)制一樣。-- 《JavaScript高級程序設(shè)計(jì)》
紅寶書上講所有函數(shù)的參數(shù)都是按值傳遞的,到底是不是呢?讓我們分析下上面的栗子:
按值傳遞JavaScript中基本類型作為參數(shù)的策略為按值傳遞(call by value):
function foo(a) { a = a * 10;}var num = 10;foo(num);console.log(num); // 10 沒有變化
這里看到函數(shù)內(nèi)部參數(shù)的改變并沒有影響到外部變量。按值傳遞沒錯。
按共享傳遞JavaScript中對象作為參數(shù)傳遞的策略為按共享傳遞(call by sharing):
修改參數(shù)的屬性將會影響到外部對象
重新賦值將不會影響到外部對象
按上面栗子函數(shù)內(nèi)部修改了參數(shù)b的屬性item,會影響到函數(shù)外部對象,因而obj1的屬性item也變了。
function bar(b) { b.item = 'changed'; console.log(b === obj1) // true}var obj1 = {item: 'unchanged'};bar(obj1);console.log(obj1.item); // changed 修改參數(shù)的屬性將會影響到外部對象
從b === obj1打印結(jié)果為true可以看出,函數(shù)內(nèi)部修改了參數(shù)的屬性并沒有影響到參數(shù)的引用。b和obj1共享一個對象地址,所以修改參數(shù)的屬性將會影響到外部對象。
而將參數(shù)c重新賦值一個新對象,將不會影響到外部對象。
function baz(c) { c = {item: 'changed'}; console.log(c === obj2) // false}var obj2 = {item: 'unchanged'};baz(obj2);console.log(obj2.item); // unchanged 重新賦值將不會影響到外部對象
將參數(shù)c重新賦值一個新對象,那么c就綁定到了一個新的對象地址,c === obj2打印結(jié)果為false,判斷他們不再共享同一個對象地址。它們各自有獨(dú)立的對象地址。所以重新賦值將不會影響到外部對象。
總結(jié)可以說按共享傳遞是按值傳遞的特例,傳遞的是引用地址的拷貝。所以紅寶書上說的也沒錯。
可以把 ECMAScript 函數(shù)的參數(shù)想象成局部變量。-- 《JavaScript高級程序設(shè)計(jì)》
延伸 - 惰性求值前面了解到了所有函數(shù)的參數(shù)都是按值傳遞的。JavaScript 中參數(shù)是必須先求值再作為實(shí)參傳入函數(shù)的。但是在ES6中有一個特例。
參數(shù)默認(rèn)值不是傳值的,而是每次都重新計(jì)算默認(rèn)值表達(dá)式的值。也就是說,參數(shù)默認(rèn)值是惰性求值的。 -- 《ECMAScript 6 入門》
let x = 99;function foo(p = x + 1) { console.log(p);}foo() // 100x = 100;foo() // 101
上面代碼中,參數(shù)p的默認(rèn)值是x + 1。這時,每次調(diào)用函數(shù)foo,都會重新計(jì)算x + 1,而不是默認(rèn)p等于 100
以上就是詳細(xì)討論JavaScript中的求值策略的詳細(xì)內(nèi)容,更多關(guān)于JavaScript求值策略的資料請關(guān)注好吧啦網(wǎng)其它相關(guān)文章!
相關(guān)文章:
