将 boost::iterator_range 分配给奇异范围

Question

我使用 Boost.Range 传递一些数据和该数据的容器类。数据在不同的线程中加载，在某些情况下可能尚未准备好。在这种情况下，容器使用默认的 iterator_range 进行初始化，因此包含单个迭代器。我正在对数据容器进行赋值和复制（因此是 iterator_ranges）。但是，iterator_range 复制构造函数调用 begin() 和 end()，当原始值是单数时，它们将断言。因此，不可能复制空数据容器。

有什么办法可以避免这个限制吗？

为什么要实施此限制？以下工作正常，范围不应该表现类似吗？

typedef std::vector<int>::iterator iterator;
iterator it; // Singular
iterator it2 = it; // Works

boost::iterator_range<iterator> range; // Singular
boost::iterator_range<iterator> range2 = range; // Asserts in debug, but why?

Answer 1

如果“有效”是指“它不会因我当前的编译器版本和调用选项而崩溃”，那么是的，分配单个迭代器可能“有效”。
实际上，代码

typedef std::vector<int>::iterator iterator;
iterator it; // Singular
iterator it2 = it; // Works

会导致未定义的行为，因此您可以根据编译器的突发奇想来决定可能发生的情况。

C++ 标准对此有这样的说法（[lib.iterator.requirements]/5 节）：

[...] 大多数表达式的结果对于奇异值是未定义的；唯一的例外是将非奇异值分配给保存奇异值的迭代器。在这种情况下，奇异值会像任何其他值一样被覆盖。可解引用和过期值始终是非奇异的。

因此，最终范围的工作方式与单个迭代器类似。它只是无法按照您想要的方式工作。
我认为最好的方法是在数据尚未准备好时使用空范围（使用非奇异迭代器显式构造），而不是使用奇异范围。