此代码无法编译:
#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)'
我不会在我的代码中的任何地方使用异常,所以我要找的东西只是一个“修复”。
答案 0 :(得分:1)
你似乎被你的QString所吸引,它指定了自己投掷dtor。
我看不出任何简单的方法(除了使用合理的字符串):你可以在风中弯曲,指定你的基类dtor也是noexcept(false),或者使Derived dtor显式并表达noexcept(true)。 (我不确定如果~QString实际抛出是否会发生任何好事,但这会导致第一条逃生路线。)