从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为false。