21.1.1 Zeichenmerkmals-Anforderungen
Die C++-Normzustände, die den Wert, der von char_traits::eof zurückgegeben wird, nicht mit dem darf kein gültiger Zeichenwert.Der Visual C++-Compiler erzwingt diese Einschränkung für char_type<char>::eof, jedoch nicht für char_type<wchar_t>::eof.