c - 写在数组外的位置

Question

我刚刚开始学习编程。这是我的第一篇文章。我正在阅读 Kernighan 和 Ritchie 合着的《C 编程语言》一书，遇到了一个我不理解的示例(第 1.9 节，第 30 页)。

此程序将文本作为输入，确定最长的行并打印出来。声明了字符数组 line[MAXLINE]，其中 MAXLINE 为 1000。这应该意味着该数组的最后一个元素的索引为 MAXLINE-1，即 999。但是，如果您查看函数 getline，它作为参数传递 line[] 数组(MAXLINE 作为 lim)，看起来如果用户输入的行长于 MAXLINE，i 将递增直到 i = lim，即是，i = MAXLINE。因此，语句 line[i] = '\0' 将是 line[MAXLINE] = '\0'。

这在我看来是错误的 - 如果 line[] 的大小是 MAXLINE，我们如何写入 line[MAXLINE] 位置。不就是写入数组外的位置吗？

我唯一能想到的解释是，在声明char数组[size]时，C语言实际上创建的是char数组[size+1]数组，其中最后一个元素是为NULL字符保留的。如果是这样，这很令人困惑，并且书中没有提到。任何人都可以证实这一点，或解释发生了什么事吗？

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

Answer 1

这个 for 循环似乎在 getline 中进行读取:

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

看起来 i 递增直到达到 lim - 1，而不是 lim(这里的 lim在您所说的情况下等于 MAXLINE)。因此，如果行长于 MAXLINE，它会在读取 MAXLINE-1 个字符后停止，并在 '\0' 处添加像你期望的那样结束。