揭開匯編死循環(huán)的神秘面紗

2024-07-16 17:44:54

字體：大中小

供稿：網(wǎng)友

首先請大家看這么一個簡單的小程序：

#include <stdio.h>

void main()
{
int i, b[10];
for ( i = 0; i <= 10; i++ )
{
b[i] = 0;
}
}

請問這個程序是否有錯？A.正常 B.越界 C.死循環(huán)

正確答案是C，相信選A或選B的朋友一定會很納悶。事實上我也是如此，單單從程序的表面上看，按定義這應(yīng)該是個越界，因為當(dāng)循環(huán)進行到i == 10的時候，程序?qū)⒃噲D將b[10]賦值為0，而C語言中，b[10]的聲明就是指定b[0]～b[9]可用。

然而程序的結(jié)果你看到了，這是個死循環(huán)無疑。

也好，那么讓匯編來告訴你——以及我——這一切的真相吧，在這之前請你把i和b[10]的定義改成：

int i = 0, b[10] = { 1, 2, 3, 4, 5, 6, 7, 8, 9, 10 };

然后，將這個程序反匯編，可以得到：

讓我來解釋一下這段匯編代碼的含義吧。在系統(tǒng)的實現(xiàn)中，i和數(shù)組b[10]是分配在棧上的變量，在內(nèi)存中的分布如下圖：

現(xiàn)在你看到了，i所占據(jù)的正是b[10]的位置，而b[10] = 0;這一句會被這樣運行：

*(&b[0] + 10) = 0;

所以這一句的結(jié)果，就是把0賦值給i。這樣一來在第11次循環(huán)的時候，i將會被重新置為0，那么循環(huán)結(jié)束的條件也就永遠不會滿足了，循環(huán)也就是個死循環(huán)了。

事實上單單討論C語言的內(nèi)部實現(xiàn)并沒有什么意義，而且這樣書寫的循環(huán)在程序設(shè)計中也絕對不能夠出現(xiàn)。所以我所想要討論的，就是如何讓匯編幫助我們解決表面上無法看清楚的東西，僅此而已。

上一篇：大量小文件的實時同步的解決方案分析

下一篇：關(guān)于VS2005中C#代碼用F12轉(zhuǎn)到定義時,總是顯示從元數(shù)據(jù)的問題