C++的异常处理

2. 如果在保护段执行期间没有引起异常,跟在 try 块后的 catch 子句不执行。从 异常被丢弃的 try 块后跟随的最后一个 catch 子句后面的语句继续执行下去。
3. 如果在保护段执行期间或在保护段调用的任何例行程序中(直接或间接的调 用)有异常被丢弃,则从通过 throw 操作数创建的对象中创建一个异常对象(这隐含指可 能包含一个拷贝构造函数)。在此点,编译器在能够处理丢弃类型的异常的更高执行上下 文中寻找一个 catch 子句(或一个能处理任何类型异常的 catch 处理器)。catch 处理程 序按其在 try 块后出现的顺序被检查。如果没有找到合适的处理器,则下一个动态封闭 的 try 块被检查。此处理继续下去直到最外层封闭 try 块被检查完。
.Constructing CDtorDemo.
In MyFunc(). Throwing CTest exception.
Destructing CDtorDemo.
In catch handler.
Caught CTest exception type; Exception in CTest cla ss.
利用 setjmp 和 longjmp 处理异常
printed.");
c 语言种可以利用 setjmp 和 longjmp 来实现程序的直接跳转，这种机制并 不适用于在程序开发中设计逻辑流程，但用来实现异常处理机制则是非常的适用。
比如写一个实现内存分配的函数，可以这样：
void *allocate(unsigned n)
throw 的操作数语法上与 return 语句的操作数相似。注意:Microsoft C++不支持 函数 throw 特征机制,如 ANSI C++草案的 15.5 节所描述的。此外,它也不支持
ANSI C++草案的 15 节中描述的 function-try-block。执行过程如下:
1. 控制通过正常的顺序执行到达 try 语句,保护段(在 try 块内)被执行。
～CDtorDemo(); }; CDtorDemo::CDtorDemo() { cout << "Constructing CDtorDemo.\n"; } CDtorDemo::～CDtorDemo() {
cout << "Destructing CDtorDemo.\n"; } void MyFunc() {
Exception raised: Memory allocation failure!
C++异常处理的真正能力不仅在于其处理各种不同类型的异常的能力,还在于在堆栈 循环展开期间为异常丢弃前构造的所有局部对象自动调用析构函数的能力。
以下例子演示了使用带析构语义的类的 C++异常处理:
#include <iostream.h> void MyFunc(void); class CTest { public: CTest() {}; ～CTest() {}; const char *ShowReason() const { return "Exception in CTest class.";} }; class CDtorDemo { public: CDtorDemo();
throw "Memory re!";
} catch (char *str) {
cout << "Exception str <<′\n′;
allocation raised: "
failu <<
} //... return 0; } throw 表达式的操作数指示一个 char*类型的异常正被丢弃。它由表示有捕获 char* 类型的一个异常的能力的 catch 处理器进行处理。在存储器分配失败事件中,这是从前 面例子得到的输出:
以下是一个 try 块和其相应的 catch 处理器的简单例子,此例子检测使用 new 运算符 的存储器分配操作的失败。如果 new 成功了,则 catch 处理器永不执行:
#include <iostream.h> int main() {
char *buf; try {
buf=new char[512]; if(buf==0)
C＋＋的异常处理和 c 语言的异常处理
C++语言提供对处理异常情况的内部支持,异常情况即是所知道的“异常”,可能在你的 程序执行期间出现。
try、throw 和 catch 语句已被加到 C++语言中去实现异常处理。有了 C++异常处理, 你的程序可以向更高的执行上下文传递意想不到的事件,这些上下文能更好地从这些异 常事件中恢复过来。这些异常由正常控制流外的代码进行处理。Microsoft C++编译 器朝着 C++进化中的标准去实现基于 ISO WG21/ANSI X3J16 工作文件的 C++异常 处理模式。
CDtorDemo D; cout << "In MyFunc(). Throwing CTest excep tion.\n";
throw CTest(); } int main() {
cout << "In main.\n"; try
{ cout << "In try block, calling MyFunc().\n ";
{ void *new=malloc();
if (new) return new;
if (Allocation_handled)
//如果 new 为 NULL,则执行到此判断
longjmp(Allocate_Failed,1); //跳转
assert(0); }
而在调用时，可以先设好跳转的“目的地”，再调用 allocate:
//处理所有异常
{
//对异常作出响应(也许仅仅是部分的)
//...
throw;
//将异常传给某个其它处理器
}
/*********************************************************/ setjmp 和 longjmp #include int setjmp(jmp_buf envbuf) 宏函数 setjmp()在缓冲区 envbuf 中保存系统堆栈里的内容，供 longjmp()以后使 用,setjmp()必须使用头文件 setjmp.h。 调用 setjmp()宏时，返回值为 0，然而 longjmp()把一个变原传递给 setjmp(),该值 （恒不为 0）就是调用 longjmp()后出现的 setjmp()的值。 #include void longjmp(jmp_buf envbuf,int status); 函数 longjmp()使程序在最近一次调用 setjmp()出重新执行。setjmp()和 longjmp() 提供了一种在函数间调转的手段，必须使用头部文件 setjmp.h。 函数 longjmp()通过把堆栈复位成 envbuf 中描述的状态进行操作，envbuf 的设置是 由预先调用 setjmp()生成的。这样使程序的执行在 setjmp()调用后的下一个语句从新
4. 如果匹配的处理器未找到,或如果在不自动分行时出现异常，但在处理器得到 控制之前预定义的运行函数 terminate 被调用。如果一个异常发生在丢弃异常之后,则 在循环展开开始之前调用 terminate。
5. 如果一个匹配的 catch 处理器被找到,且它通过值进行捕获,则其形参通过拷 贝异常对象进行初始化。如果它通过引用进行捕获,则参量被初始化为指向异常对象,在 形参被初始化之后,“循环展开栈”的过程开始。这包括对那些在与 catch 处理器相对 应的 try 块开始和异常丢弃地点之间相反的顺序进行。catch 处理器被执行,且程序恢复到跟随在最后的处理器之后 的执行(即不是 catch 处理器的第一条语句或构造)。控制仅能通过一个丢弃的异常输入 一个 catch 处理器,而永远不能通过 goto 语句或 switch 语句中的 case 标号。
Back in main. Execution resumes here.
注意在此例中,异常参量(catch 子句的参量)在两个 catch 处理器中都被说明:
catch(CTest E)
//...
catch(char *str)
//...
你不需要说明此参量;在很多情况下可能通知处理器有某个特定类型的异常已经产 生就足够了。但是如果你在异常说明中没有说明一个异常对象,你将无法访问 catch 处 理程序子句中的那个对象。
开始，使计算机认为从未离开调用 setjmp()的函数。从效果上看，longjmp()函数似乎 “绕”过了时间和空间（内存）回到程序的原点，不必执行正常的函数返回过程。
缓冲区 envbuf 具有中定义的 buf_jmp 类型，它必须调用 longjmp()前通过调用 setjmp()来设置好。
值 status 变成 setjmp()的返回值，由此确定长调转的来处。不允许的唯一值是 0， 0 是程序直接调用函数 setjmp()时由该函数返回的，不是间接通过执行函数 longjmp() 返回的。
longjmp()函数最常用于在一个错误发生时，从一组深层嵌套的实用程序中返回。
例子 这个例子输出“1 2 3“
#include jmp_buf ebuf; void f2(void); int main(void) { int i; printf("1"); i=setjmp(ebuf); if(i==0) { f2(); printf("This will not be } printf("%d",i); return 0; } void f2(void) { printf("2"); longjmp(ebuf,3); } c 语言的异常处理