>>735
でも一応std::istream::traits_type::eof()の方がいいと思うぞ。一応。