从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具有未定义的行为。