问与EOF比较时，字符类型使用int

EN

引用Kernighan和Ritchie的“C编程语言”第16页-

#include<stdio.h>

main()
{
int c;
c = getchar();

while(c!=EOF)
{
    putchar(c);
    c = getchar();
} 

getchar();
return 0;
}

“类型char专门用于存储此类字符数据，但是可以使用任何整数类型。我们使用int有一个微妙但重要的原因。问题是如何将输入的结尾与有效数据区分开来。解决方案是，当没有更多的输入时，getchar返回一个独特的值，这个值不能与任何真正的字符混淆。这个值称为EOF，用于“文件的结尾”。我们必须声明c是一个大到足以保存getchar返回的任何值的类型。我们不能使用char，因为除了任何可能的char之外，c必须足够大以容纳EOF。因此我们使用int。“。

我抬头看了看stdio.h，上面写着#define EOF (-1)

书中明确指出，char不能被使用，而这个程序“工作得很好”(参见编辑)，c作为char数据类型。怎么一回事？有人能用位和有符号的值来解释吗？

编辑：

正如Oli在回答中提到的那样，程序无法区分EOF和255。所以它不能正常工作。我想知道发生了什么--你是说当我们比较c!=EOF时，EOF值被转换为char值= 255 (二进制数为11111111；即用2的补码表示法写入EOF的0到7位)？