while((c = getchar() ) != EOF)的循环结束

#include<stdio.h>


int main()
{
int nSpace=0,nTab=0,nNewlines=0;
    int c;
while((c = getchar() ) != EOF)
{

if(c == ' ')
       nSpace++;
if(c == '\t')
nTab++ ;
if(c == '\n')
nNewlines++;



}


printf("%d,%d,%d \n",nSpace,nTab,nNewlines);
 
      
return 0;

}

我尝试了很多次都发现该语句不能结束，也就是说出现了死循环，百度之后，才知道，ctrl+Z是EOF的出现语句，结束了循环。