在 C 语言中 getchar（） 中使用 EOF （Ctrl + D）

问：

我正在阅读K&R中的第1.9节，我不明白在下面实现的代码中使用EOF

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

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

/* print the longest input line */
int 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 = mymygetline(line, MAXLINE)) > 0) {
        if (len > max) {
            max = len;
            copy(longest, line);
        }
    }
    if (max > 0)                  /* there was a line */
        printf("%s", longest);
    return 0;
}

/* mymygetline: read a line into s, return length */
int mymygetline(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;
}

我试过什么：

• 初始程序运行良好，输入标记带有“\n”的差异行很容易理解
• 当我第一次尝试以内联方式输入 EOF 时，它只是结束最近的输入流并将 getchar（） 设置为输入流的等待模式。

问题：

• 当我两次内联输入 EOF 时，第一个 EOF 是否只是像“\n”或其他机制一样，或者我只是在这里遗漏了一些东西。