具有虚拟析构函数的类的未使用的 const 对象导致分段错误

Question

在使用 MinGW 在 GCC 下编译的 C++0x 代码中从 main 返回后，我遇到了分段错误，并将其缩小到简单的情况：

class A {
public:
    virtual ~A();
};

A::~A() {
}

const A a;

int main() {
    return 0;
}

原因与：

1. const 对象前的限定符，删除它会停止 seg 错误，
2. class A 中缺少构造函数 - 添加空单停止 seg 错误。
3. compialtor 版本 - 带有 gcc 4.8.1 的较新 TDM MinGW 不会构建导致 seg 错误的代码。

我是否触发了一些未定义的行为，或者真的是编译器错误是这种行为的原因？

受影响的编译器：

gcc --version gcc.exe (tdm-1) 4.7.1

g++ --version g++.exe (tdm-1) 4.7.1

ld --版本 GNU ld (GNU Binutils) 2.22

Answer 1

这似乎是在 4.7.3 中修复的 gcc bug 55893。随附的测试用例与您的非常相似：

struct foo
{
  virtual ~foo () { }
};

int main ()
{
  static const foo tmp;
}

发生错误是因为 gcc 将 const 对象放在只读内存中，因为它可以简单地构造，而无需检查对象是否具有非平凡的析构函数。 virtual 的析构函数尝试更新 vtable 指针，导致段错误。