static int_type not_eof(const int_type& ch);
If !eq_int_type( eof(), ch), the static member function returns ch. Otherwise, it returns a value other than eof().
!
eq_int_type
(
eof
(), ch)
ch
eof()