C++ 中的异常和堆栈展开
在 C++ 异常机制中，控制从 throw 语句移至可处理引发类型的第一个 catch 语句。在到达 catch 语句时，throw 语句和 catch 语句之间的范围内的所有自动变量将在名为“堆栈展开”的过程中被销毁。在堆栈展开中，执行将继续，如下所示：
控制通过正常顺序执行到达 try 语句。执行 try 块内的受保护部分。
如果执行受保护的部分的过程中未引发异常，将不会执行 try 块后面的 catch 子句。执行将在关联的 try 块后的最后一个 catch 子句后面的语句上继续。
如果执行受保护部分的过程中或在受保护的部分调用的任何例程中引发异常（直接或间接），则从通过 throw 操作数创建的对象中创建异常对象。（这意味着，可能会涉及复制构造函数。）此时，编译器会在权限更高的执行上下文中查找可处理引发的类型异常的 catch 子句，或查找可以处理任何类型的异常的 catch 处理程序。按照 catch 处理程序在 try 块后面的显示顺序检查这些处理程序。如果未找到适当的处理程序，则检查下一个动态封闭的 try 块。此过程将继续，直到检查最外面的封闭 try 块。
如果仍未找到匹配的处理程序，或者在展开过程中但在处理程序获得控制前发生异常，则调用预定义的运行时函数 terminate。如果在引发异常后但在展开开始前发生异常，则调用 terminate。
如果找到匹配的 catch 处理程序，并且它通过值进行捕获，则通过复制异常对象来初始化其形参。如果它通过引用进行捕获，则初始化参数以引用异常对象。在初始化形参后，堆栈的展开过程将开始。这包括对与 catch 处理程序关联的 try 块的开头和异常的引发站点之间完全构造（但尚未析构）的所有自动对象的析构。析构按照与构造相反的顺序发生。执行 catch 处理程序且程序会在最后一个处理程序之后（即，在不是 catch 处理程序的第一个语句或构造处）恢复执行。控制只能通过引发的异常进入 catch 处理程序，而绝不会通过 goto 语句或 switch 语句中的 case 标签进入。
堆栈展开示例
以下示例演示引发异常时如何展开堆栈。线程执行将从 C 中的 throw 语句跳转到 main 中的 catch 语句，并在此过程中展开每个函数。请注意创建 Dummy 对象的顺序，并且会在它们超出范围时将其销毁。还请注意，除了包含 catch 语句的 main 之外，其他函数均未完成。函数 A 绝不会从其对 B() 的调用返回，并且 B 绝不会从其对 C() 的调用返回。如果取消注释 Dummy 指针和相应的 delete 语句的定义并运行程序，请注意绝不会删除该指针。这说明了当函数不提供异常保证时会发生的情况。有关详细信息，请参阅“如何：针对异常进行设计”。如果注释掉 catch 语句，则可以观察当程序因未经处理的异常而终止时将发生的情况。
#include <string>
#include <iostream>
using namespace std;
class MyException{};
class Dummy
{
public:
Dummy(string s) : MyName(s) { PrintMsg("Created Dummy:"); }
Dummy(const Dummy& other) : MyName(other.MyName){ PrintMsg("Copy created Dummy:"); }
~Dummy(){ PrintMsg("Destroyed Dummy:"); }
void PrintMsg(string s) { cout << s << MyName << endl; }
string MyName;
int level;
};
void C(Dummy d, int i)
{
cout << "Entering FunctionC" << endl;
d.MyName = " C";
throw MyException();
cout << "Exiting FunctionC" << endl;
}
void B(Dummy d, int i)
{
cout << "Entering FunctionB" << endl;
d.MyName = "B";
C(d, i + 1);
cout << "Exiting FunctionB" << endl;
}
void A(Dummy d, int i)
{
cout << "Entering FunctionA" << endl;
d.MyName = " A" ;
// Dummy* pd = new Dummy("new Dummy"); //Not exception safe!!!
B(d, i + 1);
// delete pd;
cout << "Exiting FunctionA" << endl;
}
int main()
{
cout << "Entering main" << endl;
try
{
Dummy d(" M");
A(d,1);
}
catch (MyException& e)
{
cout << "Caught an exception of type: " << typeid(e).name() << endl;
}
cout << "Exiting main." << endl;
char c;
cin >> c;
}
输出：Entering main Created Dummy: M Copy created Dummy: M Entering FunctionA Copy created Dummy: A Entering FunctionB Copy created Dummy: B Entering FunctionC Destroyed Dummy: C Destroyed Dummy: B Destroyed Dummy: A Destroyed Dummy: M Caught an exception of type: class MyException Exiting main.
异常规范 (throw)
异常规范是在 C++11 中弃用的 C++ 语言功能。这些规范原本用来提供有关可从函数引发哪些异常的摘要信息，但在实际应用中发现这些规范存在问题。证明确实有一定用处的一个异常规范是 throw() 规范。例如:
void MyFunction(int i) throw();
告诉编译器函数不引发任何异常。它相当于使用 __declspec(nothrow)。这种用法是可选的。
(C++11) 在 ISO C++11 标准中，引入了 noexcept 运算符，该运算符在 Visual Studio 2015 及更高版本中受支持。尽可能使用 noexcept 指定函数是否可能会引发异常。
Visual C++ 中实现的异常规范与 ISO C++ 标准有所不同。下表总结了 Visual C++ 的异常规范实现：
| 异常规范 | 含义 |
|---|---|
| throw() | 函数不会引发异常。但是，如果从标记为 throw() 函数引发异常，Visual C++ 编译器将不会调用意外处理函数。如果使用 throw() 标记一个函数，则 Visual C++ 编译器假定该函数不会引发 C++ 异常，并相应地生成代码。由于 C++ 编译器可能会执行代码优化（基于函数不会引发任何 C++ 异常的假设），因此，如果函数引发异常，则程序可能无法正确执行。 |
| throw(...) | 函数可以引发异常。 |
| throw(type) | 函数可以引发 type 类型的异常。但是，在 Visual C++ .NET 中，这被解释为 throw(...)。 |
如果在应用程序中使用异常处理，则一定有一个或多个函数处理引发的异常。在引发异常的函数和处理异常的函数间调用的所有函数必须能够引发异常。
函数的引发行为基于以下因素：
不允许对 C 函数使用显式异常规范。
下表总结了函数的引发行为：
// exception_specification.cpp
// compile with: /EHs
#include <stdio.h>
void handler() {
printf_s("in handler\n");
}
void f1(void) throw(int) {
printf_s("About to throw 1\n");
if (1)
throw 1;
}
void f5(void) throw() {
try {
f1();
}
catch(...) {
handler();
}
}
// invalid, doesn't handle the int exception thrown from f1()
// void f3(void) throw() {
// f1();
// }
void __declspec(nothrow) f2(void) {
try {
f1();
}
catch(int) {
handler();
}
}
// only valid if compiled without /EHc
// /EHc means assume extern "C" functions don't throw exceptions
extern "C" void f4(void);
void f4(void) {
f1();
}
int main() {
f2();
try {
f4();
}
catch(...) {
printf_s("Caught exception from f4\n");
}
f5();
}
输出：
About to throw 1 in handler About to throw 1 Caught exception from f4 About to throw 1 in handler