为什么EOF不在缓冲区？

Question

使代码看起来像这样：

  #include <stdio.h>

  /*Program 1*/
  int main(void) {
      int c;

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

      return 0;
  }

我试图找出输入的原因：

  

    

aa CTRL + D // =＆gt; AA

  

输入：

  

    

CTRL + D // =＆gt;该计划正确结束。

  

为什么在第一个示例中EOF不会导致程序退出。