如果向量有足够的空间(通过保留创建),std::vector::insert() 是否会使迭代器失效?

回答如何自我复制向量?让我明白对迭代器失效有点困惑.一些文献说如果您使用 insert、push_back 等,请考虑所有迭代器无效".很明显,它可能会导致向量增长,从而使迭代器无效.如果我知道有足够的空间,那么特殊情况呢?

Answering How to self-copy a vector? has got me a bit confused about iterator invalidation. Some literature says "if you use insert, push_back, etc. consider all iterators invalid". Thats clear, it might cause the vector to grow which invalidates iterators. What about the special case where I know there is going to be enough room?

第一次尝试:

myvec.reserve(myvec.size()*3);  //does this protect me from iterator invalidation?
vector<string>::iterator it = myvec.end();    
myvec.insert(myvec.end(), myvec.begin(), it);
myvec.insert(myvec.end(), myvec.begin(), it);

经过一些出色的回答后,第二次尝试:

After some excellent answers second try:

auto size = myvec.size();
myvec.reserve(size*3);  //does this protect me from iterator invalidation?  
myvec.insert(myvec.end(), myvec.begin(), myvec.begin()+size);
myvec.insert(myvec.end(), myvec.begin(), myvec.begin()+size);

在获得更多优秀答案后第三次尝试:

After more excellent answers third try:

auto size = myvec.size();
myvec.reserve(size*3);  //does this protect me from iterator invalidation?  
back_insert_iterator< vector<string> > back_it (myvec);
copy (myvec.begin(),myvec.begin()+size,back_it);
copy (myvec.begin(),myvec.begin()+size,back_it);

此引自 Josuttis 的C++ 标准库参考":

This quote from Josuttis' "C++ Standard Library Reference":

插入或删除元素使引用、指针和引用以下内容的迭代器元素.如果插入导致重新分配,它使所有引用、迭代器和指针.

Inserting or removing elements invalidates references, pointers, and iterators that refer to the following element. If an insertion causes reallocation, it invalidates all references, iterators, and pointers.

表明我的代码是安全的和定义的行为.标准中有没有保证这一点的段落?

suggests that my code is safe and defined behavior. Is there a passage in the standard which guaranties this?

推荐答案

过去的迭代器总是有点特别.我会小心的.标准是这样说的(23.3.6.5):

The past-the-end iterator is always a bit special. I'd be careful. The standard says this (23.3.6.5):

如果没有发生重新分配,插入点之前的所有迭代器和引用都保持有效.

If no reallocation happens, all the iterators and references before the insertion point remain valid.

这里的关键是插入点之前".由于您的原始 it 不在插入点之前(因为它是 插入点),我不会相信它仍然有效.

The key here is "before the insertion point". Since your original it is not before the insertion point (since it is the insertion point), I wouldn't bank on it remaining valid.

相关文章