C++ STL 容器和指针有效性

Question

考虑这段代码：

Uint counter = 0;

int* p1;
int* p2;

deque<int>  dequeInstance;
vector<int> vectorInstance;

dequeInstance.push_back(3);
dequeInstance.push_back(7);

p1 = &dequeInstance.back();

dequeInstance.push_back(17);

p2 = &dequeInstance.back();

if(*p1 == !7)
    ++counter;

if(*p2 == !17)
    ++counter;

vectorInstance.push_back(3);
vectorInstance.push_back(7);

p1 = &vectorInstance.back();

vectorInstance.push_back(17);

p2 = &vectorInstance.back();

if(*p1 == !7)
    ++counter;

if(*p2 == !17)
    ++counter;



return counter;

我本来期望当我将第三个元素推到向量的后面时，指向第二个元素的指针将无效，因为我对 std::vector 的理解是它是一个直数组每次修改时都会被擦除并重新创建。然而，到此代码结束时，“计数器”等于零。

我在这里缺少什么？

Answer 1

希望出于性能考虑，std::vector 不会“每次修改时都会被擦除并重新创建”。

向量的容量可能会超过其大小，这意味着它可以分配比实际使用更多的内存。当您push_back时，仅当新大小大于旧容量时才会发生重新分配，并且在这种情况下，迭代器将失效。

在您的情况下，您应该在 std::vector 实例化之后立即检查 capacity 的值。您将看到它毫无疑问大于 3，因此，您的任何 push_back 调用都不会触发重新分配，并且所有迭代器仍然有效。

另请注意，std::vector 提供了一个 reserve 成员函数，允许您控制向量容量。当您知道需要插入多少元素以避免不可告人的重新分配时，这非常有用。

Answer 2

好吧，你有一些问题。首先，!n = 0，除非n = 0，然后它等于1。因此计数器永远不会增加。

其次，当您push_back一个新元素时，向量不一定会破坏内容。向量有 2 个“大小”。 1 是向量中的元素数量，2 是分配的内存量。仅当分配的内存量用完时，向量才会被重新分配和复制。

此外，删除内存区域后，内存不一定会被清除，并且可能仍然指向有效数据。

您没有使用迭代器，因此它们不会失效。您正在使用指针，它们只是指向内存区域。仅仅因为未分配内存并不意味着指针无效。这是 C/C++ 给您带来的主要危险之一。确保你不要做这样的事情，因为你正在调用“未定义的行为”，它可以做任何事情，从“不会引起任何问题并且看似工作”到“可怕地崩溃并以危险的方式关闭你的操作系统”。