c++ - 在派生类的析构函数中抛出异常

Question

我正在编译一个 C++ 库，我遇到了析构函数和 noexcept 的问题。

据我了解，自 C++11 以来，析构函数中 noexcept(...) 的默认值已更改。特别是，现在析构函数默认为 noexcept(即 noexcept(true))。

现在，我有一个库，由于某些类的析构函数可以抛出异常，但它没有标记为 noexcept(false)，因此我收到了很多编译器警告。所以我决定改变它，并添加规范。但是，这些类继承自一些公共(public)父类 Base，因此这迫使我也将它添加到父类析构函数中，否则我会得到编译器错误 overriding 'virtual Base::~Base( ) 没有异常(exception)。

当然，我也可以在基类中添加noexcept(false)(据我所知，实际上，添加它就足够了)，但是有很多类继承自 Base，它们都将继承 noexcept(false) 属性(据我所知)。但是，基类析构函数本身永远不会 抛出异常，而且只有少数派生类可以真正抛出异常。因此，只为少数几个类标记基类析构函数 noexcept(false) 显得浪费。

所以，我有两个问题:

1) 有什么办法解决这个问题吗？我无法删除少数派生类中的抛出异常，因为它们很重要。

2) 我不确定由于将 noexcept(false) 添加到库中(几乎)所有类的基类，编译器优化会降低多少。什么时候(如果有的话)这应该让我担心？

编辑:附带说明一下，有没有办法在项目中更改 noexcept 的默认值？也许是编译器选项？

编辑:由于有很多反馈，我欠一个编辑，有几点说明:

1)库不是我写的，当然也不打算重写很多类的析构函数。必须向一些基类添加 noexcept(false) 已经够痛苦的了。求助于不同的库不是一种选择(出于编程以外的不同原因)。

2) 当我说“我不能删除少数派生类中的抛出，因为它们很重要”时，我的意思是我认为代码应该在这种情况下终止，因为确实发生了一些非常糟糕的事情，并且可能会出现未定义的行为无论如何。 throw 至少附带了对发生的事情的一些解释。

3) 我知道在派生类中引入析构函数是不好的，因为它可能会由于未调用父类的析构函数而泄漏(这是正确的吗？)。如果应该终止程序(以避免以后出现模糊的错误)并且仍然让用户知道发生了什么，那么什么是干净的解决方法？

Answer 1

如果析构函数是虚拟的，则派生析构函数不能是noexcept(false)，除非基析构函数也是noexcept(false)。

想一想:虚函数的意义在于，即使调用者只知道基类，也可以调用派生类。如果某些东西在 Base* 上调用 delete，如果 Base promise 其析构函数不会，则可以在没有任何异常处理代码的情况下编译该调用抛出异常。如果指针指向一个 Derived 实例，而该实例的析构函数实际上确实 抛出异常，那就不好了。

尝试更改派生的析构函数，这样它们就不会抛出异常。如果这不可能，请将 noexcept(false) 添加到基本析构函数。