21.1.1 の文字セットの必要条件

char_traits::eof によって返される値が有効な文字の値でなければならない C++ の標準状態。Visual C++ コンパイラは char_type<char>::eof のchar_type<wchar_t>::eof のこの制約を適用します。