晚上下班的時(shí)候，我們又開始討論無(wú)聊的問(wèn)題。一個(gè)同事提出以下奇異的場(chǎng)景，聽說(shuō)是一道面試題：
var o = { 1:'a' ,2:'b' ,length:2 ,push:Array.prototype.push }; o.push('c');
同事：O現(xiàn)在內(nèi)部的值是什么模樣？
我的第一反應(yīng)是排擠，為何要研究不公道情況下【解釋引擎】的行動(dòng)？但是這類推論有時(shí)候又很吸引人，因而我回來(lái)的時(shí)候仔細(xì)思考了下，發(fā)現(xiàn)其實(shí)很簡(jiǎn)單。
對(duì) push 這個(gè)方法，我條件反射地想到的就是棧，【數(shù)據(jù)結(jié)構(gòu)的經(jīng)典棧】中壓棧和彈棧操作根據(jù)的都是棧頂指針，棧頂指針始終指向棧頂，意味著它會(huì)由于壓彈棧而自動(dòng)增減。在 javascript 中的數(shù)組中這個(gè)指針就是 length。所以在上面的代碼中，o.push('c') 就是 o.2 = 'c'(固然 o.2 不能直接訪問(wèn)，這只是偽代碼)，所以代碼履行完 o 中數(shù)據(jù)以下：
{ 1:'a' ,2:'c' ,length:3 //push操作=>length+1 ,push:Array.prototype.push }
補(bǔ)充說(shuō)明：
JavaScript 中，萬(wàn)物皆對(duì)象，而 javascript 的對(duì)象與強(qiáng)類型的對(duì)象有一些不同的地方，可以理解成績(jī)是一組鍵值對(duì)的集合。其 array 類型也不例外，它的下標(biāo)訪問(wèn)就是鍵訪問(wèn)（不過(guò)它的鍵都是自然數(shù)），在上面的例子中賦值給 a 的對(duì)象字面量實(shí)際摹擬了一個(gè)數(shù)組（一個(gè)下標(biāo)從一開始的數(shù)組）——固然只有部份數(shù)組的特性，比如真實(shí)的數(shù)組在進(jìn)行鍵訪問(wèn)的時(shí)候，會(huì)根據(jù) length 進(jìn)行越界檢查。
只要知道 push 的位置根據(jù)的是 length 就能夠了，下面種種看似奇怪的現(xiàn)象都好理解：
//1.length不存在，引擎置為
0 var o = { '1':'a' ,'2':'b' ,push:Array.prototype.push };
o.push('c');//c {0:'c',1:'a',2:'b',...}
//2.length為負(fù)值，這是個(gè)有趣的問(wèn)題，觸及到原碼反碼和補(bǔ)碼【1】 var o = { '1':'a' ,'2':'b' ,length:⑴ ,push:Array.prototype.push };
o.push('c');
//c {1:'a',2:'b',4294967295:'c',length:4294967296,...}
//3.length為字符或?qū)ο?nbsp;
var o = { 1:'a' ,2:'b' ,length:'A' ,push:Array.prototype.push };
o.push('c');
//c {0:'c',1:'a',2:'b',length:1,...}
我還以為js解釋器會(huì)把A轉(zhuǎn)換成ASCII碼來(lái)給length賦值呢，終究看到了javascript的自由還是有節(jié)操的
【1】：計(jì)算機(jī)中數(shù)值都是以補(bǔ)碼方式存儲(chǔ)的，為了方便運(yùn)算，⑴的補(bǔ)碼與4294967295補(bǔ)碼一樣，根據(jù) length 的語(yǔ)義，此處是無(wú)符號(hào)數(shù)
[⑴]補(bǔ) = 1111 1111 1111 1111 1111 1111 1111 1111 = [4294967295]補(bǔ)
所以這樣我們接差對(duì)2中的O壓入一個(gè)對(duì)象，key 取的是4294967296，但是數(shù)組的最大長(zhǎng)度限制為 4294967296，也就是說(shuō)下標(biāo)只能取到 4294967295，只會(huì)取到 32位 ――對(duì) 4294967296 = 1 0000 0000 0000 0000 0000 0000 0000 0000 取后 32 位，就變成了0，所以此次 push 的位置是 0。
