28

我正在阅读一本关于 C++ 的书，并且在关于错误的章节中它有这个程序（我遗漏了一些小事情，但主要是这个）：

int main()
try { 
        // our program (<- this comment is literally from the book)
        return 0;
}
catch(exception& e) {
    cerr << "error: " << e.what() << '\n';
    return 1;
}
catch(...) {
    cerr << "Unknown exception\n";
    return 2;
}

这个编译但当然它什么也没做所以我仍然想知道

  1. 为什么没有一组花括号将 main() 之后的所有内容括起来？这些块或者我应该称它们为“流行语”（哈！）是否是 main() 的一部分？
  2. 如果它们是函数，为什么在 catch（无论如何）之前没有“int”？
  3. 如果它们不是函数，它们是什么？
  4. re catch(...)，我从未见过这样使用省略号。我可以在任何地方使用省略号来表示“任何东西”吗？
4

6 回答 6

16

如果您直接使用 try 块而不是大括号，则 try 块会捕获函数中发生的所有事情。这在构造函数中很有用，因此您可以在初始化列表中捕获异常。

这将从 bar 的构造函数中捕获异常：

void Foo::Foo() try : bar() {
    // do something
} catch(...) {
    // do something
}

这只会捕获正文中的异常：

void Foo::Foo() : bar() {
    try {
        // do something
    } catch(...) {
        // do something
    }
}
于 2012-08-03T18:36:30.167 回答
12

1 为什么没有一组花括号将 main() 之后的所有内容括起来？...

有，它只是在try左大括号之前有catch关键字，在main.

...这些块或者我应该称它们为“流行语”（哈！）是否是 main() 的一部分？

2 如果它们是函数，为什么在 catch（无论如何）之前没有“int”？

3 如果它们不是函数，它们是什么？

它们是关键字，而不是函数，它们是 main 的一部分，尽管try在int main()定义和它的{}主体之间。有关另一个示例，请参见下面的激励案例。

4 re catch(...)，我从未见过这样使用省略号。我可以在任何地方使用省略号来表示“任何东西”吗？

在 C++ 中省略号有几个重载的含义。

  • catch(...)表示捕获任何东西，它就像异常类型的通配符（如果有多个，应该是最后一个捕获）
  • int printf(char *, ...)意味着一个函数接受一个变量参数列表，它完全禁用了参数的类型检查并且很容易出错（但偶尔有用）
  • template <typename... TypePack>表示模板接受变量类型列表，这对于元编程非常有用，但在这里完全超出范围
  • #define DEBUG(str, ...)是一个可变参数宏，类似于可变参数函数

函数级try/catch块是一种将整个函数体包装在异常处理程序中的方式。所以，这里的主要功能块在try { ... }.

IIRC 这是专门引入的，以允许构造函数用try/包装其初始化列表catch，以处理从子对象构造函数抛出的异常。

例如。（励志案例）

C::C() try : Base(1), member(2)
{ ...
}
catch (...) {
    // handle Base::Base or member construction failure here
}

请注意，没有其他方法可以捕获从基类或成员子对象构造函数抛出的异常，因为即使您省略了初始值设定项列表，它们也会在构造函数主体开始之前至少进行默认构造。

于 2012-08-03T18:34:25.383 回答
10

这是该语言很少使用的功能。您可以将整个函数包含在trycatch 块中：

void f()
try 
{         // function starts here
...
}         // function ends here
catch (...) 
{}

该功能很少使用，因为它几乎从来没有用过。在常规函数的情况下，您可以只使用一个覆盖函数所有代码的 try/catch 块，因此在这种情况下不需要该功能。它在构造函数中的功能有限，因为它允许在初始化列表中捕获异常，否则这些异常不能包含在 try/catch 块中。

但问题是在 catch 块中可以做的事情很少：构造失败所以必须抛出异常（catch 块可以抛出与捕获的不同的异常，但它必须抛出）。同时，您不能真正执行任何清理，因为在捕获异常时您可能不知道初始化列表中的哪些元素抛出，这意味着您可能不知道（在一般情况下）哪个成员对象是否已构造。

于 2012-08-03T18:39:01.813 回答
2

是function-try block。是的，这是合法的，但在更多情况下不需要。查看此答案以获取解释。这个语法的含义是什么？

于 2012-08-03T18:34:29.980 回答
2

不确定主要功能周围缺少花括号，但看起来其他人已经准备好回答了。

至于你的问题的其余部分，try catch 块不是主函数之外的函数，并且不需要int在它们前面。

try {}: 程序会尝试在这个块中运行任何东西，如果它由于某种原因失败，它将被 catch 块捕获。

catch (exception) {}: 当一个异常被抛出时，它会被一个带有特定异常作为参数的catch块捕获，并允许程序员处理这种情况。

catch (...) {}：应该捕获任何通过第一个捕获块的东西..

于 2012-08-03T18:37:55.683 回答
0

1) 这是 C++ 的一个特性，函数 try-catch 块（例如，参见这里
） 2) 是的，catch(...) { /* absolutely any exception gets caught here */ }

于 2012-08-03T18:35:58.753 回答