C++迭代器随机失效

Question

我迷路了： std::string 向量的迭代器可以完美工作，除非在 it++ 之前有函数调用 (Z_UB->set() )。这是代码：

std::vector< std::string >::iterator it = g_SPP.scenarios->getVector().begin();
std::cout << "begin of vector: " << *it << std::endl;
Z_UB->set("s1", "scn2", 350);
it++;
std::cout << "second of vector: " << *it << std::endl;

创建以下输出

begin of vector: scn1

但是，如果我像这样移动函数调用：

std::vector< std::string >::iterator it = g_SPP.scenarios->getVector().begin();
std::cout << "begin of vector: " << *it << std::endl;
it++;
std::cout << "second of vector: " << *it << std::endl;
Z_UB->set("s1", "scn2", 350);

结果如下，这是预期的行为：

begin of vector: scn1
second of vector: scn2

在 Z_UB->set() 函数内部，除了调用本身之外什么都没有剩下：

void Parameter::set( std::string _i, std::string _j, float value) {
//int i = indexSets[0]->backIndex(_i);
//int j = indexSets[1]->backIndex(_j);

//data2D[0][0] = value;
}

因此，如果我在创建迭代器后调用 Z_UB->set() 函数，则访问它将使程序崩溃。关于迭代器，我是否遗漏了一些重要的东西？

Answer 1

几种可能性：

• 要么你没有一个好的可重现的例子：也许在你的第一次运行中你的向量中只有一个元素（它是如何填充的？），并且调用了未定义的行为，因为你没有检查它 反对 g_SPP.scenarios->getVector().end()
• 或 Z_UB->set 不会按照你的想法做。它是一个多态类吗？ set 是虚拟的吗？ -> 运算符是否重载？
• 您的应用程序是多线程的，并且另一个线程正在改变您的容器吗？

Answer 2

如果g_SPP是一个全局变量，那么任何变异操作都会使其上的迭代器失效。

---

更新 - 这是来自 1998 年 ISO/ANSI 规范：

如果需要分配，以下内容会使引用序列元素的所有引用、迭代器和指针无效。如果当前capacity()小于目标向量大小，则需要进行分配。

• void Reserve(size_type n)
• 迭代器插入(迭代器位置，const T& x),
• void insert(迭代器位置，size_type n, const T& x)< /code>、
• void insert(iteratorposition,InputIteratorfirst、InputIteratorlast) 和

Erasure 使引用初始擦除位置之后的元素的所有引用、迭代器和指针无效 元素。

• 迭代器擦除（迭代器位置）
• 迭代器擦除（迭代器第一个，迭代器第二个）

调整向量大小相当于调用 insert 或 erase。根据 23.2.4.2/6：resize(sz, c=value_type()) 具有与以下相同的效果：

if (sz > size())
    insert(end(), sz - size(), c);
else if (sz < size())
    erase(begin() + sz, end());
else
    ;

Answer 3

如果在迭代时添加或删除元素，或者在添加元素时向量需要在内部调整自身大小，则 std::vector::iterator 将会失效。

Answer 4

.getVector() 返回向量的副本。将迭代器与完全不同对象的迭代器的终点进行比较是没有意义的。返回参考解决了这个问题。

@Xeo 还指出了一个更好的解释：当从这样的副本创建迭代器时：

std::vector< std::string >::iterator it = g_SPP.scenarios->getVector().begin();

副本立即被销毁，从而使刚刚创建的迭代器无效。所以迭代器不应该首先返回第一个元素，但我只能猜测这深深地隐藏在编译器的实现中。