为什么我得到“向量迭代器不兼容”？

Question

为什么会有这段代码

#include <algorithm>
#include <iterator>
#include <vector>

int main()
{
    std::vector<int> v;
    v.push_back(1);
    v.push_back(2);
    v.push_back(3);
    v.reserve(v.size() * 2);  // Reserve enough space to keep iterators valid
    std::copy(v.begin(), v.end(), std::back_inserter(v));
    return 0;
}

给我调试断言失败，表达式：向量迭代器不兼容（Visual C++ 2008）？

Answer 1

与元素对应的迭代器仅在必须重新分配向量时才会失效，reserve 避免了这种情况。

但是，v.end() 不会保持有效。

标准对push_back 和insert 的描述保证

如果新大小大于旧容量，则会导致重新分配。如果没有发生重新分配， 插入点之前的所有迭代器和引用都保持有效。

v.end() 不是“插入点之前”。