重写 std:exception 的析构函数

Question

如果注释了line 8，则以下程序无法在 g++ 4.4 中编译。为什么？似乎当我重写 std::exception 构造函数时，我也必须重写它的析构函数。这是什么原因？

#include<iostream>
#include<exception>
using namespace std;

class A : public exception {
public:
    A(string msg) : _msg(msg) {}
    //~A() throw(){};                     // line 8
    const char* what() const throw() { return _msg.c_str();}    
private:
    string _msg;
};

int main()
{
}

编译错误是：

error: looser throw specifier for ‘virtual A::~A()’

Answer 1

这是因为析构函数需要一个 throw() 说明符。如果你没有在你的类中指定它，编译器会为你的类编写它自己的默认析构函数，并且默认析构函数不会指定你不抛出异常。

这是正确的，因为 std::exception 的公共析构函数还指定了throw()

~A() throw(){};

来自标准 (N3225) 12.4.4：

如果一个类没有用户声明的析构函数，则析构函数被隐式声明为 >defaulted (8.4)。一个隐含的—— 声明的析构函数是其类的内联公共成员。

因此，如果您自己不声明析构函数，编译器会创建下一个析构函数。如果nothrow 符合条件的所有异常成员析构函数，编译器可能会生成指定throw() 的析构函数。

~A(){};

从技术上讲，可以从这个析构函数中抛出异常，但这将是一种非常糟糕的编程风格，因此从std::exception 派生的异常保证您不会在std::exception 派生类的析构函数中引发任何异常.

编辑 如果 std::string 的析构函数是 noexcept 指定，则较新的编译器将提供一个具有 noexcept 说明符的析构函数。如果所有成员的析构函数都没有抛出异常（noexcept 限定），其他编译器也会生成一个noexcept 析构函数。 这是 C++11 标准在第 15.4 章中规定的。 [除了.spec]

14 隐式声明的特殊成员函数（第 12 条）应具有异常规范。 如果 f 是 隐式声明的默认构造函数、复制构造函数、移动构造函数、析构函数、复制赋值 运算符或移动赋值运算符，其隐式异常规范指定类型 ID T 当且仅 如果 T 被 f 的隐式定义直接调用的函数的异常规范所允许； f 应 如果它直接调用的任何函数允许所有异常，则允许所有异常，并且 f 不允许任何异常 如果它直接调用的每个函数都不允许出现异常。 [...]