Warum EOF mit gültigem char-Wert übereinstimmt?

Question

Wie gesagt in den Kommentaren auf die Antwort auf diese Frage: Why gcc does not produce type mismatch warning for int and char?

beide -1 und 255 0xFF als 8-Bit-HEX-Zahl auf alle aktuellen CPU sind.

Aber EOF ist gleich -1. Dies ist ein Widerspruch, da der Wert von EOF nicht mit einem gültigen 8-Bit-Zeichen übereinstimmen darf. Dieses Beispiel demonstriert es:

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

Auf meinem Computer druckt es oops.

Wie kann dieser Widerspruch erklärt werden?

Answer 1

Wenn Sie einen int Wert auf einen char Wert vergleichen, der char Wert promoted zu einem int Wert. Diese Heraufstufung ist automatisch und Teil der C-Sprachspezifikation (siehe z. B. this "Usual arithmetic conversions" reference, insbesondere Punkt 4). Sicher könnte der Compiler eine Warnung darüber geben, aber warum sollte es, wenn es ein gültiges Sprachkonstrukt ist?

Es gibt auch das Problem mit der Signedness von char, die Implementierung definiert ist. Wenn char nicht signiert ist, ist Ihre Bedingung falsch.

Auch wenn Sie gerade über jede Referenz für Funktionen Zeichen von Dateien (beispielsweise this one for fgetc and getc) lesen lesen, werden Sie sehen, dass sie ein int und keine char, genau aus den oben genannten Gründen zurück.