Должен ли стандарт требовать отрицательного значения EOF?

Question

Написано ли в стандарте, что EOF должно быть отрицательным? Наоборот, WEOF не обязательно должен быть отрицательным. Зачем? Ситуация для wchar_t не должен быть каким-либо образом отличается от обычного char (кроме случаев, когда автоматическое продвижение от char к int играет роль), так как определение wchar_t, как char прекрасно подходит со стандартом. Поэтому должны применяться аналогичные правила.

Некоторые цитаты из ссылки GLibC:

если wchar_t определяется как char тип wint_t должен быть определен как int в связи с продвижением параметра.

было бы правомерно определить wchar_t в char

Answer 1

Да, это гарантированно будет отрицательным. См C11

7,21 Входной/выходной

7.21.1 Введение

1 Заголовок определяет несколько макросов, и объявляет три типа и многие функции для выполнения ввода и вывода.

3 ...

EOF

, которая расширяется до константного выражения целого, с типом int и отрицательным значением