K&R C程序设计语言(第二版)，1.9 字符数组例题 为什么是i<lim-1

其中第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;
   }