问使用getchar()和putchar()复制文件

EN

我知道这之前已经讨论过了，但我想确保我正确地理解了这个程序中发生了什么，以及为什么。在丹尼斯·里奇的课本“C编程语言”的第20页上，我们看到了这个程序：

#include <stdio.h>

int main()
{

int c;

c = getchar();

while(c != EOF){
    putchar(c);
    c = getchar();
}

return 0;

}

在执行时，程序读取每个键入的字符，并在用户按enter键后以相同的顺序打印出来。除非用户手动退出控制台，否则此过程将无限期重复。事件的顺序如下：

1. getchar()函数读取键入的第一个字符并将其值赋给c.
2. Because c是整数类型，getchar()传递给c的字符值被提升为相应的ASCII值。
3. 现在c已初始化为某个整数值，while循环可以测试该值是否等于文件结束字符。由于EOF字符的宏值为-1，并且可以键入的字符都没有负的十进制ASCII值，因此while循环的条件将始终为true。
4. 一旦程序验证c != EOF为true，就会调用putchar()函数，该函数会输出c中包含的字符值。while
5. 再次调用getchar()，因此它读取下一个输入字符，并将其值传递回while循环的开头。如果用户在执行之前只键入了一个字符，那么程序将读取<return>值作为下一个字符，并打印一个新行，等待下一个输入被键入。

这些都是完全正确的吗？