while((c=getchar())!=EOF)结束时输入EOF后为什么还要回车

操作环境：Dev c++
操作系统：小新pro16 win10
我的想法：对于while（表达式），当表达式为0时直接结束循环，如本题，按照我的想法，getchar()函数同步识别我的输入，我输入十个回车然后EOF，那么在我输入EOF时getcahr()函数也同步识别到我输入的是EOF，这时表达式判断为0，程序就直接结束了，但实际情况是输入EOF后还要回车程序才结束

#include <stdio.h>
int main()
{
    int c,nb,nt,nl;
    nb=nt=nl=0;
    while((c=getchar())!=EOF)
    {
        if(c==' ')
        ++nb;
        if(c=='\t')
        ++nt;
        if(c=='\n')
        ++nl;
    }
    printf("%d,%d,%d\n",nb,nt,nl);
}

getchar()没有本事输入字符立即响应，得有回车键才能响应
想字符一输入就响应，得用getch()函数

按回车键后，系统才能接收数据。