c - 出力プログラムへの入力のコピーはどのように機能しますか?

Question

#include <stdio.h>
main()
{
    int c;
    c = getchar();
    while(c != EOF)
        {
        putchar(c);
        c = getchar();
        }
    return 0;
}

出力プログラムへの入力のコピーはどのように機能しますか? 私によると、最初に getchar() を実行すると、文字値が返され、それが c 変数に格納されます。ループが実行されると、コンパイラは c が EOF に等しいかどうかをチェックします。そうでないことが判明した場合、ループは作業を開始し、次のステートメントを読み取ります putchar() を実行します代わりに c 変数最初のコンパイラはすべての文字を読み取り、それらの文字を出力します"なぜですか?