#include <stdio.h>

int main(void)
{
	int sum = 0, i = 0;
	char input[5];

	while (1) {
		sum = 0;
		scanf("%s", input);
		for (i = 0; input[i] != '\0'; i++)
			sum = sum*10 + input[i] - '0';
		printf("input=%d\n", sum);
	}
	return 0;
}

使用scanf函數是非常凶險的，即使修正了這個Bug也還存在很多問題。如果輸入的字元串超長了會怎麼樣？我們知道數組訪問越界是不會檢查的，所以scanf會寫出界。現象是這樣的：

$ ./main
123
input=123
67
input=67
12345
input=123407

下面用調試器看看最後這個詭異的結果是怎麼出來的^[21]。

$ gdb main
...
(gdb) start
Breakpoint 1 at 0x80483b5: file main.c, line 5.
Starting program: /home/akaedu/main 
main () at main.c:5
5		int sum = 0, i = 0;
(gdb) n
9			sum = 0;
(gdb) （直接回車）
10			scanf("%s", input);
(gdb) （直接回車）
12345
11			for (i = 0; input[i] != '\0'; i++)
(gdb) p input
$1 = "12345"

input數組只有5個元素，寫出界的是scanf自動添的'\0'，用x命令看會更清楚一些：

(gdb) x/7b input
0xbfb8f0a7:	0x31	0x32	0x33	0x34	0x35	0x00	0x00

x命令打印指定存儲單元的內容。7b是打印格式，b表示每個位元組一組，7表示打印7組^[22]，從input數組的第一個位元組開始連續打印7個位元組。前5個位元組是input數組的存儲單元，打印的正是十六進制ASCII碼的'1'到'5'，第6個位元組是寫出界的'\0'。根據運行結果，前4個字元轉成數字都沒錯，第5個錯了，也就是i從0到3的循環都沒錯，我們設一個條件斷點從i等於4開始單步調試：

(gdb) l
6		char input[5];
7	
8		while (1) {
9			sum = 0;
10			scanf("%s", input);
11			for (i = 0; input[i] != '\0'; i++)
12				sum = sum*10 + input[i] - '0';
13			printf("input=%d\n", sum);
14		}
15		return 0;
(gdb) b 12 if i == 4
Breakpoint 2 at 0x80483e6: file main.c, line 12.
(gdb) c
Continuing.

Breakpoint 2, main () at main.c:12
12				sum = sum*10 + input[i] - '0';
(gdb) p sum
$2 = 1234

現在sum是1234沒錯，根據運行結果是123407我們知道即將進行的這步計算肯定要出錯，算出來應該是12340，那就是說input[4]肯定不是'5'了，事實證明這個推理是不嚴謹的：

(gdb) x/7b input
0xbfb8f0a7:	0x31	0x32	0x33	0x34	0x35	0x04	0x00

input[4]的確是0x35，產生123407還有另外一種可能，就是在下一次循環中123450不是加上而是減去一個數得到123407。可現在不是到字元串末尾了嗎？怎麼會有下一次循環呢？注意到循環控制條件是input[i] != '\0'，而本來應該是0x00的位置現在莫名其妙地變成了0x04，因此循環不會結束。繼續單步：

(gdb) n
11			for (i = 0; input[i] != '\0'; i++)
(gdb) p sum
$3 = 12345
(gdb) n
12				sum = sum*10 + input[i] - '0';
(gdb) x/7b input
0xbfb8f0a7:	0x31	0x32	0x33	0x34	0x35	0x05	0x00

進入下一次循環，原來的0x04又莫名其妙地變成了0x05，這是怎麼回事？這個暫時解釋不了，但123407這個結果可以解釋了，是12345*10 + 0x05 - 0x30得到的，雖然多循環了一次，但下次一定會退出循環了，因為0x05的後面是'\0'。

input[4]後面那個位元組到底是什麼時候變的？可以用觀察點（Watchpoint）來跟蹤。我們知道斷點是當程序執行到某一代碼行時中斷，而觀察點是當程序訪問某個存儲單元時中斷，如果我們不知道某個存儲單元是在哪裡被改動的，這時候觀察點尤其有用。下面刪除原來設的斷點，從頭執行程序，重複上次的輸入，用watch命令設置觀察點，跟蹤input[4]後面那個位元組（可以用input[5]表示，雖然這是訪問越界）：

(gdb) delete breakpoints 
Delete all breakpoints? (y or n) y
(gdb) start
Breakpoint 1 at 0x80483b5: file main.c, line 5.
Starting program: /home/akaedu/main 
main () at main.c:5
5		int sum = 0, i = 0;
(gdb) n
9			sum = 0;
(gdb) （直接回車）
10			scanf("%s", input);
(gdb) （直接回車）
12345
11			for (i = 0; input[i] != '\0'; i++)
(gdb) watch input[5]
Hardware watchpoint 2: input[5]
(gdb) i watchpoints 
Num     Type           Disp Enb Address    What
2       hw watchpoint  keep y              input[5]
(gdb) c
Continuing.
Hardware watchpoint 2: input[5]

Old value = 0 '\0'
New value = 1 '\001'
0x0804840c in main () at main.c:11
11			for (i = 0; input[i] != '\0'; i++)
(gdb) c
Continuing.
Hardware watchpoint 2: input[5]

Old value = 1 '\001'
New value = 2 '\002'
0x0804840c in main () at main.c:11
11			for (i = 0; input[i] != '\0'; i++)
(gdb) c
Continuing.
Hardware watchpoint 2: input[5]

Old value = 2 '\002'
New value = 3 '\003'
0x0804840c in main () at main.c:11
11			for (i = 0; input[i] != '\0'; i++)

已經很明顯了，每次都是回到for循環開頭的時候改變了input[5]的值，而且是每次加1，而循環變數i正是在每次回到循環開頭之前加1，原來input[5]就是變數i的存儲單元，換句話說，i的存儲單元是緊跟在input數組後面的。

修正這個Bug對初學者來說有一定難度。如果你發現了這個Bug卻沒想到數組訪問越界這一點，也許一時想不出原因，就會先去處理另外一個更容易修正的Bug：如果輸入的不是數字而是字母或別的符號也能算出結果來，這顯然是不對的，可以在循環中加上判斷條件檢查非法字元：

while (1) {
	sum = 0;
	scanf("%s", input);
	for (i = 0; input[i] != '\0'; i++) {
		if (input[i] < '0' || input[i] > '9') {
			printf("Invalid input!\n");
			sum = -1;
			break;
		}
		sum = sum*10 + input[i] - '0';
	}
	printf("input=%d\n", sum);
}