这是一个单一的迭代器，如果是，我可以将它与另一个迭代器进行比较吗?

2022-01-10 00:00:00 iterator c++ std c++03

我一直认为单一"迭代器是一个已经默认初始化的迭代器，它们可以作为类似的 sentinel 值:

I always thought that a "singular" iterator was one that has been default-initialised, and these could serve as comparable sentinel values of sorts:

typedef std::vector<Elem>::iterator I;
I start = I();

std::vector<Elem> container = foo();

for (I it = container.begin(), end = container.end(); it != end; ++it) {
   if ((start == I()) && bar(it)) {
      // Does something only the first time bar(it) is satisfied

      // ...

      start = it;
   }
}

但是这个答案不仅表明我对单数"的定义是错误的，而且我上面的比较是完全违法.

But this answer suggests not only that my definition of "singular" is wrong, but also that my comparison above is totally illegal.

是吗?

推荐答案

显然这适用于 一些 迭代器 - T* 是一个明显的例子 - 但它绝对不是保证 all 迭代器的正确行为.C++11 24.2.1 [iterator.requirements.general] p5:

Obviously this will work for some iterators - T* being a clear example - but it's definitely not guaranteed correct behavior for all iterators. C++11 24.2.1 [iterator.requirements.general] p5:

奇异值不与任何序列相关联...大多数表达式的结果对于奇异值是未定义的；唯一的异常正在破坏包含奇异值的迭代器，将非奇异值分配给包含奇异值，并且，对于满足DefaultConstructible 要求，使用值初始化的迭代器作为复制或移动操作的来源.

Singular values are not associated with any sequence ... Results of most expressions are undefined for singular values; the only exceptions are destroying an iterator that holds a singular value, the assignment of a non-singular value to an iterator that holds a singular value, and, for iterators that satisfy the DefaultConstructible requirements, using a value-initialized iterator as the source of a copy or move operation.

您可以使用简单的 bool 标志复制您想要的行为:

You can replicate your desired behavior with a simple bool flag:

std::vector<Elem> container = foo();
bool did_it_already = false;

for (I it = container.begin(), end = container.end(); it != end; ++it) {
   if (!did_it_already && bar(it)) {
      // Does something only the first time bar(it) is satisfied

      // ...

      did_it_already = true;
   }
}

相关文章