《C Programming Language》中的一段关于统计输入的字符数代码

#include <stdio.h>

int main()
{
double nc;
for(nc = 0; getchar() != EOF; ++nc)
;
printf("%.0f\n", nc);
}

为什么我如果输入
1
2
3
然后ctrl + D结束输入输出的结果是
6
呢？
我只输入了三次，nc不应该只自加了3次么？