关于getchar()读取，EOF和CTRL+Z的一些理解

近日做了一个实验，主要是关于getchar()接收读取，EOF和CTRL+Z的一些问题:

//测试getchar（）读取问题 
#include <stdio.h>
int main()
{
    int c = 0;
    int i = 0;
    while((c = getchar())!= EOF)
    {
        printf("int c:%d\n",c);
        i++;
    }
    printf("int c:%d\n",c);
    printf("scanf()读取次数:%d",i);
}

我一共进行3次输入:
1) 我输入123时
运行结果如下:
2)当我输入CTRL+z时：
运行结果如下:
3)当我输入123^z456时：这时有些复杂，我发现getchar()在第一次读入CTRL+Z时并没有返回EOF,而是在我第二次按下CTRL+Z时程序才结束:

于是乎我得出了一下几种几种结论：
1) CTRL+Z并不能够简单地看作是EOF，它出现在不同的地方会有操作系统不同的解释形式，但是EOF一定是被标记为一个特殊的常量。
2) 一般来说getchar()在程序结束输入时，也就是按下了CTRL+Z后，CTRL+Z会被解释为EOF
3) getchar()的输入会全部放到键盘缓冲区里时，按下回车后’\n’(也会放进去)才会开始读取字符,CTRL+Z会清空键盘缓冲区，结束输入。