21.1.1 Requisiti di tratti di carattere
Gli stati standard di C++ che il valore restituito da char_traits::eof non devono essere un valore di carattere valido.il compilatore di Visual C++ applica questo vincolo per char_type<char>::eof, ma non per char_type<wchar_t>::eof.