請(qǐng)看這樣一道題：

#include <string.h> #include <stdio.h>int main(void) {signed char a[1000]={0};for(int i=0; i<1000; ++i)a[i] = -1 - i;printf("%lu\n",strlen(a));return 0; }

請(qǐng)問(wèn)此程序輸出什么？

答案是：255

如果你不信的話，可以親測(cè)。我在ubuntu 64位機(jī)上用gcc編譯：

gcc -std=c99 test.c

結(jié)果是

255

下面我們來(lái)分析一下，為什么是這個(gè)結(jié)果。
人工計(jì)算一下，
a[0] = -1
a[1] = -2
a[2] = -3
a[3] = -4
…
a[127] = -128

一般來(lái)說(shuō)，有符號(hào)數(shù)在機(jī)器中以補(bǔ)碼表示。所以，signed char類(lèi)型可以表示的范圍是-128到+127。

a[128] 本應(yīng)該是-129,但是-129超出范圍了！

那a[128]到底是多少呢？

我認(rèn)為，-129可以理解為-128減去1，進(jìn)一步理解為-128（補(bǔ)碼表示為1000 0000）加上-1（補(bǔ)碼表示為1111 1111），我們可以用二進(jìn)制計(jì)算一下。

如上圖所示，因?yàn)槲粚捴挥?位，所以進(jìn)位被丟棄，結(jié)果就是0111 1111，寫(xiě)成十進(jìn)制就是127. 于是，我們可以繼續(xù)往下算，

a[0] = -1
a[1] = -2
a[2] = -3
a[3] = -4
…
a[127] = -128
a[128] = 127
a[129] = 126
a[130] = 125
…
a[253] = 2
a[254] = 1
a[255] = 0
a[256] = -1
…

可以觀察出，a[0]的值為-1,后面的值依次在前一個(gè)值的基礎(chǔ)上減1，當(dāng)a[127]的值為-128的時(shí)候，再減去1就成了127.

也就是說(shuō)，signed char類(lèi)型可以表示的范圍是-128到+127。在最小值-128的基礎(chǔ)上減1，就會(huì)向下溢出，回到最大值+127。反之，在+127的基礎(chǔ)上加1，就會(huì)向上溢出，回到最小值-128。

用數(shù)軸來(lái)表示就是數(shù)軸的最右端（+127）和最左端-128連在一起了，構(gòu)成了一個(gè)回路。

好的，我們回到正題，按照上面的分析，a[0]~a[254]的值都不為0，而a[255]的值為0，strlen函數(shù)是計(jì)算字符串長(zhǎng)度的，注意，不包括字符串最后的\0（其ASCII碼的值為0），所以答案就是255.

---

【參考資料】
[1] C語(yǔ)言深度解剖（第二版）（北京航空航天大學(xué)出版社）P13
[2] 深入理解計(jì)算機(jī)系統(tǒng) （機(jī)械工業(yè)出版社）

與50位技術(shù)專(zhuān)家面對(duì)面20年技術(shù)見(jiàn)證，附贈(zèng)技術(shù)全景圖

總結(jié)

以上是生活随笔為你收集整理的程序员面试系列——有符号数的溢出的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。