Erfordert der Standard, dass EOF negativ ist?

Question

Ist im Standard geschrieben, dass EOF negativ sein muss? Im Gegensatz dazu muss WEOF nicht negativ sein. Warum? Die Situation für wchar_t darf nicht in irgendeiner Weise unterscheidet sich von gewöhnlichen char (es sei denn, die automatische Förderung von char zu int spielt die Rolle), weil wchar_t als char definiert, mit dem Standard ist völlig in Ordnung. Daher müssen ähnliche Regeln gelten.

Einige Zitate aus glibc Referenz:

wenn wchar_t als char den Typ definiert ist wint_t als int aufgrund der Parameter Förderung definiert werden müssen.

wäre es legitim sein wchar_t als char

Answer 1

Ja zu definieren, ist es garantiert negativ. Siehe C11

7,21 Eingabe/Ausgabe

7.21.1 Einführung

1 Der Header definiert mehrere Makros und erklärt drei Typen und viele Funktionen zur Durchführung von Ein- und Ausgang.

3 ...

EOF

, die auf einen ganzzahligen konstanten Ausdruck erweitert, mit Typ int und einem negativen Wert