istream_iterator和惰性评估

Question

考虑到istream_iterator的惰性评估，我想知道是否可以为条件依赖已初始化但从未取消引用或递增的迭代器。

举个例子：

#include <iostream>
#include <fstream>
#include <iterator>

using namespace std;

int main(void)
{
    ifstream file("some_directory");
    istream_iterator<int> beg(file), eof;

    if (beg != eof) {

        //do something
    }
    else {

        cerr << "No Input!" << endl;
    }
}

给定此代码示例，我的问题是：即使file为空，也可能(beg != eof)被评估为true吗？

Answer 1

给定此代码示例，我的问题是：即使file为空，也可能(beg != eof)被评估为true吗？

否。标准说（24.6.1 / 1-2）说，

构造[ istream_iterator ]之后，每次使用++ ，迭代器都会读取并存储T的值。 如果迭代器无法读取和存储T ...的值，则该迭代器将等于流末迭代器的值。 ...两个流结束迭代器始终相等。 流结束迭代器不等于非流结束迭代器。 当两个非流结束迭代器由同一流构造时，它们是相等的。

换句话说，这并不像您想的那么懒：

istream_iterator<int> beg(file)

它会读取第一个int 。 如果文件为空，它将失败并立即成为流结束迭代器。