`void func() throw(type)` 有什么意义？

Question

我知道这是一个有效的 C++ 程序。 函数声明中的 throw 有何意义？ AFAIK 它什么都不做，也不用于任何用途。

#include <exception>
void func() throw(std::exception) { }
int main() { return 0; }

Answer 1

它指定任何 std::exception 都可以从 func() 抛出，而不能抛出任何其他异常。如果抛出其他内容，它将调用 unexpected() 函数，该函数默认调用 terminate()。

这意味着抛出其他内容几乎肯定会终止程序，就像未捕获的异常一样，但实现必须强制执行此操作。这通常与在 func() 周围放置 try{...}catch(){...} 块非常相似，这会抑制性能。

通常，根据本周大师专栏，异常规范是不值得的它。 Boost 指南 指出，空白 < 可能会有一点好处code>throws() 对于非内联函数，也有缺点。

Answer 2

这是一个例外规范，几乎可以肯定这是一个坏主意。

它指出 func 可能会抛出 std::exception，并且 func 发出的任何其他异常都将导致调用 unexpected()。

Answer 3

这是 C++ 异常规范。它声明特定函数可能会抛出 std::exception 类型。

一般来说，C++ 中的异常规范被认为是需要避免的功能。这是一个奇怪的特性，因为它的行为是在编译时声明的，但仅在运行时检查（与 Java 的版本非常不同）。

这是一篇很好的文章，详细介绍了该功能

• http://www.gotw.ca/publications/ mill22.htm

Answer 4

这是一个异常规范。它表示 func() 可以抛出的唯一异常是 std::exception （或其派生物）。尝试抛出任何其他异常将导致 std::unexpected。

Answer 5

异常规范。 throw 关键字后面的类型准确指定函数可以抛出的所有异常（如果有）。见草案15.4。

注意：没有异常规范的函数允许所有异常。具有空异常规范 throw() 的函数不允许任何异常。

Answer 6

基本上是这样的：

void func() throw(std::exception,B) {  /* Do Stuff */}

只是这样的简写：

void func()
{
    try
    {
        /* Do Stuff */ 
    }
    catch(std::exception const& e)
    {
        throw;
    }
    catch(B const& e)
    {
        throw;
    }
    catch(...)
    {
        unexpected();  // This calls terminate
                       // i.e. It never returns.
    }
}

调用终止（）很少是您想要的，因为堆栈没有展开，因此您在 RAII 中的所有努力都被浪费了。该规则的唯一例外是声明一个空的抛出列表，这主要用于文档目的，以表明您支持不抛出异常保证（在这种情况下您仍然应该手动捕获所有异常）。

一些重要的（恕我直言）不应该抛出的地方是析构函数和 swap() 方法。析构函数很少被显式标记为“不抛出”，但 swap() 经常被标记为“不抛出”。

void myNoThrowFunc() throws()  // No-Throw (Mainlly for doc purposes).
{
    try
    {
        /* Do Stuff */
    }
    catch(...)  // Make sure it does not throw.
    {
        /* Log and/or do cleanup */
    }
}