K&R C程序設計語言(第二版)，1.9 字符數組例題 爲什麼是i

其中第31行這一句：
for (i= 0; i < lim-1 &&(c=getchar())!=EOF && c!='\n'; ++i)
爲什麼是i<lim-1呢？
我的理解是：
char line[1000]定義了字符串的最大長度是999，因爲還有一個系統加的結束符'\0'。如果輸入字符串字符數超過999個，系統會截取999個，並在第1000的位置上加一個'\0'。
從line[0]開始遍歷, i<lim-1剛好遍歷到'\0'(line[999])之前那個字符，也就是line[998]。

 #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;
   }