从 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_ok 或__x._M_ok 为假，_M_stream == __x._M_stream 的行为未定义。