复制一个迭代器是个坏主意吗？

Question

我正在考虑写一些代码，可以归结为以下几点T是一种集合类型（当前为std:：map，如果有必要的话）。

T coll;

// ...

T::iterator it, prev;

prev = coll.end();

for(it = coll.begin(); it != coll.end(); ++it) {
    if(prev != coll.end())
        { do something involving previous element; }

    do something involving this element;

    prev = it;
}

我的问题是，像这样把it复制到prev是不是一个坏主意？糟糕的风格？可能会惹恼某个学究？根据类型T的细微细节是否可能中断？

我不希望coll在这个循环运行时被破坏，也不希望任何元素被添加或删除。

一方面，我对迭代器的了解表明，这应该是完全安全的。但另一方面，我对迭代器有些不了解，这感觉有点粗略，所以我想问一下。

增编：

出现这种情况的另一个原因是，我的实际代码不会涉及我上面写的循环的。我实际拥有的是事件驱动的代码；它看起来更像这样：

void onStartDoingSomething() {
    it = coll.start();
    prev = coll.end();
    startOperation(it, prev);
    timerStart();
}

void onTimer() {
    if(finished with operation on it) {
        prev = it;
        ++it;
        startOperation(it, prev);
        if(it == coll.end() {
            timerStop();
            call operation finished;
        }
    }
}

void startOperation(T::iterator next, T::iterator prev) {
    if(prev != coll.end()) {
        finish operation on prev;
    }

    if(next != coll.end()) {
        start operation on next;
    }
}

所以陈述我的问题的另一种方式可能是，“你必须使用迭代器和集合类的start（）和end（）方法，只在循环的严格传统的中使用，还是可以任意使用它们？是否有任何状态保留在for循环中，或者状态都在迭代器中？"现在，我知道没有什么比“状态存储在for循环中”更好的了，据我所知，迭代器包含它需要的所有状态是至关重要的。所以如果，事实上，迭代器不仅包含了它需要的所有状态，而且100%安全可复制，那么我最初问题的答案是“不，这不是一个坏主意”。但是潜在的可能性迭代器可能不是100%安全的可复制的--例如，如果你复制一个迭代器，增加原始的，然后尝试使用复制，会有微妙的混淆现象--这就是为什么这段代码对我来说总是有点粗略...




Answer 1

虽然这并不清楚，但我通常不鼓励存储迭代器。

首先，迭代器的概念旨在抽象您正在访问的内容。这可以是蒸汽或容器。Steam迭代器肯定是不稳定的，存储它们不会产生有效的代码。但是，只要容器不变，将迭代器存储到容器中是安全的。

这是第二个问题，如果您正在访问一个容器，并且只从中读取，那么您的代码就可以了。如果代码在调用之间更改容器，则迭代器可能会失效。当迭代器失效时，不同的容器具有不同的语义，但我的经验法则是，一旦容器调整大小，所有迭代器都无效。

（我不倾向于记住确切的语义，因为我编程时假设我可以随时更改容器，并且向量使调整大小上的所有迭代器无效。）

Answer 2

这取决于迭代器的类型，但对于std:：map:：iterator，它是合适的。

迭代器分为不同的类别，这取决于它们支持的操作和它们提供的关于它们引用的值的保证。

d::映射::迭代器满足了BiDirectionalIterator概念的要求。这意味着，除其他外，递增迭代器的副本不会使原始副本无效。这意味着执行prev=it； it不会使prev无效，因此您的算法定义良好。

然而，并非所有迭代器都是这样。inputierator概念不提供这种保证。注意i的后置条件：

后置条件：i的前一个值的任何副本都不再需要是可取消引用的或位于=的域中。

我不知道标准库中的任何迭代器会失去它们的值，如果你递增它们的副本，但是我个人已经构建了这样一个迭代器类型（它迭代归档文件中的条目，并且当你前进到下一个）。

另请参阅Iterator，ForwardIterator，R随机访问Iterator和OutputIterator概念。它们都建立在彼此的基础上。