可以从具有带 noexcept(true)

问题描述

场景就像，我想从某个第三方库类继承我的类，其析构函数默认为 noexcept(true)。派生类的析构函数为 noexcept(false)，因为它可以抛出异常。 有以下代码：

class 3PP
{
public:
  virtual ~3PP() {}
};

class B : public 3PP
{
public:
  ~B() noexcept(false)
};

我在编译时遇到此错误。

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

有没有办法从 3PP 类继承它而不使其析构函数 noexcept(false)

我也想了解将析构函数设为 noexcept(false) 的限制。

解决方法

析构函数为 noexcept(false) 的类是否可以从析构函数为 noexcept(true) 的基类继承

是的。以下程序格式良好：

class A:
    def __init__(self):
        self.a = 1


class B(A):
    def __init__(self):
        super().__init__()
        self.b = self.a
        print(self.b)


if __name__ == '__main__':
    B()

但是，如果基函数是 noexcept，则虚函数的覆盖可能不会潜在地抛出。因此，如果 base 有一个虚拟 noexcept 析构函数，那么你就不可能有一个潜在的抛出析构函数。