调整向量大小是否会使迭代器无效?
我发现这个 C++ 代码:
I found that this C++ code:
vector<int> a;
a.push_back(1);
a.push_back(2);
vector<int>::iterator it = a.begin();
a.push_back(4);
cout << *it;
打印一些大的随机数；但是如果你在第 3 行和第 4 行之间添加 a.push_back(3)，它会打印 1.你能给我解释一下吗?
print some big random number; but if you add a.push_back(3) between 3rd and 4th lines, it will print 1. Can you explain it to me?
推荐答案
用更谨慎的措辞编辑
是的，调整向量的大小可能会使指向向量的所有迭代器无效.
yes, resizing a vector might invalidate all iterators pointing into the vector.
向量是通过在内部分配一个存储数据的数组来实现的.当向量增长时，该数组可能会耗尽空间，当它发生时，向量会分配一个新的更大的数组，将数据复制到该数组，然后删除旧数组.
The vector is implemented by internally allocating an array where the data is stored. When the vector grows, that array might run out of space, and when it does, the vector allocates a new, bigger, array, copies the data over to that, and then deletes the old array.
因此，指向旧内存的旧迭代器不再有效.但是，如果向量被向下 调整大小(例如通过pop_back())，则使用相同的数组.数组永远不会自动缩小.
So your old iterators, which point into the old memory, are no longer valid.
If the vector is resized downwards (for example by pop_back()), however, the same array is used. The array is never downsized automatically.
避免这种重新分配(和指针失效)的一种方法是首先调用 vector::reserve()，以留出足够的空间以使这种复制不是必需的.在您的情况下，如果您在第一个 push_back() 操作之前调用 a.reserve(3) ，那么内部数组将足够大，以至于 push_back 的执行无需重新分配数组，因此您的迭代器将保持有效.
One way to avoid this reallocation (and pointer invalidation) is to call vector::reserve() first, to set aside enough space that this copying isn't necessary. In your case, if you called a.reserve(3) before the first push_back() operation, then the internal array would be big enough that the push_back's can be performed without having to reallocate the array, and so your iterators will stay valid.
相关文章