如何使用隐式虚拟析构函数正确解析不兼容的throw说明符？

Question

此代码无法编译:

#include <QString>

/* relevant part:
struct QString 
{
  ~QString() noexcept(false) {};
};
*/

class Base
{
public:
    virtual ~Base() = default;
};

class Derived : public Base
{
    QString string_;
};

int main()
{
    return 0;
}

错误是:

error: looser throw specifier for 'virtual Derived::~Derived()'
error:   overriding 'virtual Base::~Base() noexcept (true)'

我没有使用异常的经验,但我认为问题是QString析构函数没有异常说明符,因此隐式创建的Derived::~Derived也没有异常说明符.这是隐含的不兼容Base::~Base是noexcept(true).

如果我QString用类noexcept(true)(例如std::string)排除或替换它,代码将编译.

起初我认为我可以通过将两个析构函数声明为noexcept(false):

virtual ~Base() noexcept(false) = default;
virtual ~Derived() noexcept(false) = default;

但我得到的只是:

error: function 'virtual Base::~Base()' defaulted on its first declaration 
       with an exception-specification that differs from 
       the implicit declaration 'Base::~Base()'
error: looser throw specifier for 'virtual Derived::~Derived() noexcept (false)'
error: overriding 'virtual Base::~Base() noexcept (true)'

我不会在我的代码中的任何地方使用异常,所以我要找的东西只是一个"修复".

Answer 1

你似乎被你的 QString 淹没了，它指定自己抛出 dtor 。

我认为没有简单的方法（除了使用合理的字符串之外）：您也可以将基类 dtor 指定为 noexcept(false) ，或者使 Derived dtor 显式并表达 noexcept(true) 。（我不确定如果 ~QString 实际上抛出，是否会发生任何好事，但这会导致第一个逃生路线）。