c++17中的动态异常规范是否无效？

Question

c++17 中的动态异常规范是否无效？像这样

void f() throw(int);

Answer 1

通用C++ guidelines discourages to use of exception specifications 与任何版本的 C++ 和新标准都已删除此功能。

E.30：不要使用异常规范

原因

异常规范使错误处理变得脆弱，强加一个 运行时成本，并且已从 C++ 标准中删除。

例子

int use(int arg)
    throw(X, Y)
{
    // ...
    auto x = f(arg);
    // ...
}

如果f() 抛出与X 和Y 不同的异常，则发生意外 处理程序被调用，默认情况下终止。没关系，但是说 我们已经检查过这不会发生并且f 更改为 抛出一个新异常Z，除非我们 更改use()（并重新测试所有内容）。问题是f() 可能是 在我们无法控制的库中，新的异常不是什么 use() 可以做任何事情或以任何方式感兴趣。我们 可以更改use() 以通过Z，但现在use() 的调用者 可能需要修改。这很快变得无法控制。 或者，我们可以将try-catch 添加到use() 以将Z 映射到 可接受的例外。这也很快变得难以管理。笔记 对异常集的更改通常发生在最低 系统级别（例如，由于网络库的更改或 一些中间件），因此通过长调用链更改“冒泡”。在 一个庞大的代码库，这可能意味着没有人可以更新到新的 库的版本，直到最后一个用户被修改。如果use() 是 库的一部分，可能无法更新它，因为 更改可能会影响未知客户。

让异常传播直到它们到达函数的策略 多年来，它已经证明了自己的潜力。

笔记

没有。如果有异常规范，这不会更好 静态强制执行。例如，请参阅Stroustrup94。

笔记

如果不会抛出异常，请使用 noexcept 或等效的throw()。

Answer 2

它们在 C++17 中正式无效。但是，将 C++/语言/C++ 语言标准设置为 ISO C++17 的 Visual C++17 仍然允许它们。将警告级别设置为 3 或更高 [properties/General/Warning Level/] 会发出警告，

警告 C4290：C++ 异常规范被忽略，除非表明函数不是 __declspec(nothrow)

注意 throw() 仍然合法，相当于新添加的 noexcept。