Что именно нарушает цикл while в main?

Question

Что именно нарушает цикл while в этом коде? Это код из книги Язык программирования C от создателей языка C. Это код из раздела 1.9. Я предполагаю, что int len всегда будет больше 0, но каким-то образом, когда я компилирую этот код, цикл while прерывается, когда я нажимаю Ctrl + Z (что является EOF для Windows).

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

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

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

Цикл 1: (In copy)

Строки в C обнуляются по соглашению.NUL - это специальное значение char со значением 0.

Значение выражения to[i] = from[i] является новым значением to[i].

То есть 0 при достижении NUL,и цикл завершается.

Цикл 2: (In main)

Аналогично значение len = mgetline(line, MAXLINE) является новым значением len.Это равно 0, если mgetline возвращает 0, что происходит, когда символы не читаются.Так что этот цикл выходит.