此程序中的EOF怎么用，当用EOF时调试时无法运行，而将EOF结束标志换成其他字符则可以运行，这是为什么，另求EOF用法
#include<stdio.h>
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);
}

有运行结果么？？？？

ola