2013-08-20 86 views
2

這裏看起來像是一個bug,但是我很困惑,鑑於本書的年齡和受歡迎程度,我的觀察似乎並沒有在互聯網上的其他地方出現。或者,也許我只是在搜索不好,或者它根本就不是一個錯誤。K&R第二版中的錯誤?

我在說第一章「打印出最長的輸入行」程序。下面的代碼:

#include <stdio.h> 
#define MAXLINE 1000 /* maximum input line length */ 

int getline(char line[], int maxline); 
void copy(char to[], char from[]); 

/* print the longest input line */ 
main() 
{ 
    int len; /* current line length */ 
    int max; /* maximum length seen so far */ 
    char line[MAXLINE]; /* current input line */ 
    char longest[MAXLINE]; /* longest line saved here */ 

    max = 0; 
    while ((len = getline(line, MAXLINE)) > 0) 
     if (len > max) { 
      max = len; 
      copy(longest, line); 
     } 
    if (max > 0) /* there was a line */ 
     printf("%s", longest); 
    return 0; 
} 

/* getline: read a line into s, return length */ 
int getline(char s[],int lim) 
{ 
    int c, i; 
    for (i=0; i < lim-1 && (c=getchar())!=EOF && c!='\n'; ++i) 
     s[i] = c; 
    if (c == '\n') { 
     s[i] = c; 
     ++i; 
    } 
    s[i] = '\0'; 
    return i; 
} 

/* copy: copy 'from' into 'to'; assume to is big enough */ 
void copy(char to[], char from[]) 
{ 
    int i; 
    i = 0; 
    while ((to[i] = from[i]) != '\0') 
     ++i; 
} 

現在,在我看來,它應該是lim-2,而不是lim-1中的函數getline的條件。否則,當輸入正好是最大長度時,即999個字符,然後是'\n',getline將索引爲s[MAXLINE],這是超出範圍的,並且在複製被調用時可能會發生各種可怕的事情,並且from[]不以一個'\0'

回答

8

我覺得你在某個地方感到困惑。這個循環條件:

for (i=0; i < lim-1 && (c=getchar())!=EOF && c!='\n'; ++i) 

確保i不會比lim - 2更大,所以在最大長度的情況下,ilim-1循環退出後空字符存儲到該最後位置。

+0

好的,謝謝。然而,爲了簡化示例,將MAXLINE設置爲3而不是1000.對於輸入a aa ,程序將打印一條最長的行。 – timgeb

+0

這是因爲這兩行的長度都相同。在測試中有一個'>',而不是'> ='來覆蓋'longest'。 –

+0

爲什麼要將a \ n視爲與MAXLINE == 3的\ n相同的長度? – timgeb

2

如果999個非\ n字符後跟一個\ n,c永遠不會等於\ n。當for循環退出時,c等於最後一個非換行符。

因此c!='\ n'並且不會進入i ++的區塊,所以我永遠不會超出範圍。

+0

是的,我沒有考慮條件的短路評估。 – timgeb

1

當輸入爲長度999的,隨後是\n,極限的值是1000lim -1值將成爲999和環路測試時i變得998條件i < lim -1將成爲假。對於i < 999,c == \n永遠不會是真的,因此陣列s將索引到s[999]而不s[1000]