EOFが有効なchar値と一致するのはなぜですか？

Question

としては、この質問への回答にコメントで述べている：Why gcc does not produce type mismatch warning for int and char?

両方-1および255は、任意の現在のCPU上の8ビットHEX番号として0xFFです。

しかし、EOFは-1に等しい。 EOFの値が有効な8ビット文字と一致してはならないため、これは矛盾です。この例は、それを示しています：

#include <stdio.h> 
int main(void) 
{ 
    char c = 255; 
    if (c == EOF) printf("oops\n"); 
    return 0; 
} 

私のマシンではoopsを印刷します。

この矛盾はどのように説明できますか？

Answer 1

あなたはchar値にint値を比較すると、char値がint値にpromotedです。このプロモーションは自動であり、C言語仕様の一部です（例：this "Usual arithmetic conversions" reference、特にポイント4を参照）。確かにコンパイラは警告を出すことができますが、それが有効な言語構造であればどうしてでしょうか？

実装定義のcharの署名の問題もあります。 charが符号なしの場合、条件はfalseになります。あなたは（たとえばthis one for fgetc and getc用）ファイルから文字を読み込む機能のための任意の参照についてだけ読めば

はまた、あなたは正確に上記の理由のために、彼らはintなくcharを返すことがわかります。