C 中 GETCHAR() 中 EOF (Ctrl + D) 的使用

Question

我正在阅读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;
}

我尝试过的：

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

问题：

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