派生类中的析构函数标记为noexcept(false)

Question

有以下代码：

code

class Member
{
public:
  ~Member() noexcept(false) {}
};

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

class B : public A
{
public:
  Member m;
};

错误信息如下：

main.cpp:13:7: error: looser throw specifier for ‘virtual B::~B() noexcept (false)’
 class B : public A
       ^
main.cpp:10:11: error:   overriding ‘virtual A::~A() noexcept’
   virtual ~A() {}
           ^

为什么类B中的析构函数标记为noexcept(false)？似乎是从成员类中继承而来。这是由g++ 6.3编译的。

- wulujey

Answer 1

B的析构函数将会销毁m，但这并不是一个noexcept操作。你无法确定~B不会抛出异常，所以它同样也是noexcept(false)。

参见http://en.cppreference.com/w/cpp/language/destructor#Implicitly-declared_destructor：

实际上，隐式析构函数通常是noexcept，除非类被具有noexcept(false)析构函数的基类或成员“污染”。

- François Andrieux