考虑以下玩具程序(prog.cpp
):
class A {
public:
vector<int> vec;
A() noexcept {}
A(vector<int> s) : vec(s) {}
};
class B {
private:
vector<atomic<A>> a_table;
public:
B(int capacity) : a_table(capacity) {}
void update(int index) {
A newValue(vector<int>(10,1));
a_table[index].store(newValue);
}
};
int main(int argc, char** argv)
{
B b(5);
b.update(2);
return 0;
}
正常编译时(g++ prog.cpp -latomic
),工作正常。但是,当编译为 g++ -fsanitize=address -fno-omit-frame-pointer prog.cpp -latomic
时,执行时会产生 Double Free 错误。基于与上述类似行的程序必须在多线程应用程序中使用,即使是正常编译也会产生 Double Free 错误。我阅读了 Double Free 情况下通常提到的三/五规则和其他各种文档,但没有任何效果。
此外,从 A 类
的默认构造函数中删除 noexcept
说明符会产生这个奇怪的错误,我也想知道这一点。
error: function ‘std::atomic<_Tp>::atomic() [with _Tp = A]’ defaulted on its first declaration with an exception-specification that differs from the implicit declaration ‘std::atomic<A>::atomic()’
atomic() noexcept = default;
^
最佳答案
std::atomic
需要 trivially copyable类型,你的 A
不是,因为它的成员类型为 vector<int>
(例如)不是简单的可复制构造的。
GCC only detects a violation of that requirement since version 5.0.
旧 gcc 版本编译代码的事实并不意味着它是有效的。
关于c++ - AddressSanitizer GCC 4.8 双重释放错误,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/39936828/