使用push_back复制vecor元素的libstdc++错误
我在下面的小程序中遇到了以下错误:
#include <vector>
#include <iostream>
using namespace std;
int main() {
vector<int> t;
t.push_back(0);
for(int i = 1; i < 1024; i++) {
auto& x = t[i-1];
t.push_back(x);
t.push_back(x);
t.push_back(x);
}
return 0;
}
它编译得很好,执行时没有任何错误。但是如果你用 valgrind 运行它(Linux 机器),你会得到一个内存错误:
==122572== Invalid read of size 4
==122572== at 0x10A051: void __gnu_cxx::new_allocator<int>::construct<int, int const&>(int*, int const&) (in /home/casse/tmp/bug)
...
现在,如果您稍微更改上面的代码:
auto x = t[i-1];
(而不是引用,您从向量中复制元素),valgrind 不再抱怨。
任何的想法?
回答
push_back 可能会导致重新分配,然后所有引用都无效,并且对无效引用的取消引用会导致 UB。
如果新的 size() 大于 capacity() ,则所有迭代器和引用(包括过去的迭代器)都将失效。
您可以reserve提前使用以避免重新分配。
vector<int> t;
t.reserve(1 + 1023 * 3);
t.push_back(0);
for(int i = 1; i < 1024; i++) {
auto& x = t[i-1];
t.push_back(x);
t.push_back(x);
t.push_back(x);
}
另一方面,对于auto x = t[i-1];,x是从 复制t[i-1]并独立于t[i-1],再次没有无效的参考问题。