2

因此，我在此链接中阅读了有关功能 try 块的信息。并且有一行描述了普通 try 块和函数 try 块之间的区别，如下所示

与允许您解决异常、抛出新异常或重新抛出现有异常的普通 catch 块不同，对于函数级 try 块，您必须抛出或重新抛出异常

但是后来我尝试编写一个这样的函数try块

#include <iostream> 

int add(int a, int b) try {
    throw 1;
    return a + b;
}
catch (int) {
    std::cout << "catch in add()";
}

int main()
{
    try {
        add(1, 2);
    }
    catch (int) {
        std::cout << "catch in main()";
    }
}

输出是

catch in add()

如果函数 try 块不允许我们解决异常，那么为什么catch in main()没有打印出来

4

3 回答 3

3

并且有一行描述了普通 try 块和函数 try 块之间的区别，如下所示

那条线是不准确的。常规函数的函数 try 块，其行为几乎就像它们只是函数的唯一内容一样。意思是，您对add行为的定义与

int add(int a, int b) {
    try {
        throw 1;
        return a + b;
    }
    catch (int) {
        std::cout << "catch in add()";
    }
}

不同之处在于构造函数。一方面，函数级别的 try 块是在初始化类成员时捕获异常的唯一方法。

其次，一旦成员初始化抛出异常，构造函数就无法完成，因此对象没有被初始化。在这里，我们不允许简单地吞下例外。如果初始化因抛出异常而失败，则必须将该异常传播或转换为另一种类型并重新抛出。

您链接的页面上的示例在代码中总结了这一点

B(int x) try : A(x) // note addition of try keyword here
{
}
catch (...) // note this is at same level of indentation as the function itself
{
            // Exceptions from member initializer list or constructor body are caught here
 
            std::cerr << "Exception caught\n";
 
            // If an exception isn't explicitly thrown here, the current exception will be implicitly rethrown
}
于 2020-07-29T16:54:34.430 回答
2

您正在遵循的教程部分是错误的。它是这样说的：

最后，与允许您解决异常、抛出新异常或重新抛出现有异常的普通 catch 块不同，使用函数级 try 块，您必须抛出或重新抛出异常。如果你没有显式地抛出一个新的异常，或者重新抛出当前的异常（单独使用 throw 关键字），异常将被隐式地重新抛出堆栈。

这在功能方面是完全不正确的。

但是，对于构造函数和析构函数来说，情况确实如此。 C++17 标准是这样说的：

13 如果 return 语句出现在构造函数的 function-try-block 的处理程序中，则程序格式错误。

14 如果控制到达构造函数或析构函数的函数尝试块的处理程序的末尾，则重新抛出当前处理的异常。否则，从函数try-block 的处理程序的复合语句的末尾流出等效于从该函数的复合语句的末尾流出。

-- N4713 [except.handle]（强调我的）

第 14 点的第一句话证实了构造函数和析构函数的这种行为。第二句话直接与您正在遵循的教程中的信息相矛盾，因为他们没有区分这两种情况。

请注意，您的代码会导致未定义的行为，因为函数的 catch 块不会引发异常，也不会返回值，并且函数不会返回 void。您必须从 catch 块返回一个值以避免 UB。

于 2020-07-29T16:57:42.267 回答
2

函数 try 块是否允许我们解决异常？

是的。

强制自动抛出仅适用于构造函数和析构函数等少数情况。示例函数既不是构造函数也不是析构函数。

PS 该示例的行为未定义，因为它无法从非 void 函数返回值。

于 2020-07-29T16:51:52.250 回答