понимание равенства от istream_iterator

Question

Может кто-нибудь объяснить, почему этот код istream_iterator.

// code extract from SGI STL istream_iterator class
bool _M_equal(const istream_iterator& __x) const {
   return (_M_ok == __x.M_ok) && (!_M_ok || _M_stream == __x._M_stream);
}

работает, а не просто записывается как

bool _M_equal(const istream_iterator& __x) const {
   return (_M_ok == __x.M_ok) && (_M_stream == __x._M_stream);
}

Я не понимаю причину включения! _M_ok.Заранее спасибо.

Answer 1

_M_stream == __x._M_stream имеет неопределенное поведение, если _M_ok или __x._M_ok ложно.