向量迭代器在 push_back() 期间不可取消引用错误

Question

以下代码在发布模式下有效，并且仅在调试模式下在 g_ItemList.push_back() 处引发错误，我浏览了一些 SO 帖子和论坛。有人提到"You can't iterate through a vector while pushing back, as push_back may invalidate iterators"。但对我来说还不清楚。有人可以解释它背后的逻辑以及如何解决这个问题吗？我正在使用 Visual Studio 2010 (v100) 编译程序

std::vector<class PPart> VECT_ITEMS;    
VECT_ITEMS g_ItemList;
g_ItemList.clear();

for (i = 0; i < n; i++)
    g_ItemList.push_back (temp[i]);     //where PPart *temp;

错误信息

Answer 1

向量本质上是一个数组的包装器。给定的数组有一个特定的大小，向量的数据存储为这个数组的前n个元素，其中n是向量的大小，数组的大小大于等于n。当您调用push_back 并且向量在其内部数组中没有足够的空间时，它会创建一个更大的新向量（通常是现在大小不足的数组的两倍）并将所有向量元素复制到该数组之前删除旧的（这些数组存储在堆上并通过new 和delete 创建）。

迭代器本质上是指向这个内部数组的指针¹。因此，当您调用 push_back 时，所有当前的迭代器都可能失效。这是因为可能已经创建了一个新数组，并且指向旧数组的指针指向现在释放的内存。从技术上讲，当您调用 push_back 然后取消引用在该调用之前创建的迭代器时，它是 undefined behavior。

1：从技术上讲，它们是指向内部数组的指针的类包装器，但原则是两种方式。将它们仅视为指针通常是有用的，但并非总是如此。