在 C++ 函数声明中抛出是否会排除抛出其他异常？答案

【问题标题】：does throw in a C++ function declaration preclude throwing other exceptions?在 C++ 函数声明中抛出是否会排除抛出其他异常？
【发布时间】：2016-07-07 20:19:49
【问题描述】：

我继承了一个 C++ 项目，其函数定义如下：

void myDoc::parseDoc(string& path) throw(docError);

parseDoc 函数调用抛出libError 的库，调用parseDoc 的主函数捕获docError 和libError 并记录它们。 parseDoc 本身不会引发任何异常，但我预计库中的 libErrors 仍会被 main 捕获。他们没有——我只是得到一个核心转储，堆栈上没有任何用处。

我尝试了对parseDoc 的各种更改。他们中的一些人得到libError 传递链。有些则没有：

抓住 libError 并重新抛出它 - 不起作用
catch libError 并将其复制到 docError 并抛出 - 有效
指定 throw(docError, libError) 并且不捕获任何内容 - 有效
从函数定义中删除 throw() 并且不捕获任何东西 - 有效

所以我的问题是 - 在此函数定义中添加 throw(docError) 是否会特别防止其他异常通过堆栈传递给调用者？如果是这样，为什么有人愿意这样做？如果不指定一个函数抛出异常只是按照我一直认为的异常应该工作的方式工作，那么throw(e) 规范首先有什么意义？

【问题讨论】：

您可能对this问题感兴趣。
我会说，“开始”通过将“catch-all try 语句”添加到外部级例程中，以防止发生核心转储的可能性。 ### 然后，“不要依赖于能够‘重新抛出’你目前手头的异常。”捕捉到一个特定的异常，并决定无论出于何种原因你都无法处理它，扔一个新的。
其实我刚找到gotw.ca/publications/mill22.htm，就说明了这一点。我没有意识到 throw 规范明确是为了防止抛出其他异常类型。由于可恶的 C++ 理论原因，我开始不明白，但原始编码员认为他做到了...... ;-)
做#4。无论如何，Throw 规范实际上已被弃用。

标签： c++ exception

【解决方案1】：

是的，抛出规范不允许任何异常，除了指定的转义函数。

至于为什么有人想要这样，想法是文档，准确显示函数将抛出哪些异常。

然而，在现实中，这个概念被证明是如此的无用，以至于抛出规范已经（或将会，不确定确切的状态）在较新版本的 C++ 中实际上被删除。所以要采取的正确措施是第 4 项，删除规范。

【讨论】：

您确定它已被删除吗？据我所知，它只是被弃用了，cppreference.com 没有提及删除此功能。
这里有一个提案：open-std.org/jtc1/sc22/wg21/docs/papers/2016/p0003r2.html 不确定它的最终状态。可能在 C++17 中。
如果他们接受建议，我建议当堆栈中没有发现异常捕获器时，并且默认行为是核心转储，请先转储核心而不展开堆栈。如果您要进行核心转储，那么到底为什么要丢弃转储的所有本地上下文是有意义的-使其基本上无用。我想这是特定于实现的，但仍然......
但行为不是核心转储，而是调用意外处理程序，可以在运行时使用std::set_unexpected动态更改。