窥探try ... catch与__try ... __except的区别

VC中的这两个东西肯定谁都用过, 不过它们之间有什么区别, 正好有时间研究了一下, 如果有错误欢迎拍砖.
基于VC2005, 32位XP 平台测试通过. 估计对于其他版本的VC和操作系统是不通用的.

1. try ... catch

这个是C++语言定义的, 每个C++都有对其的不同的实现. 使用也很简单. 比如我们有一个函数, 读入年龄. 如果<=0 或者 >=100, 抛出异常:

int readAge() {
   int age = 读入年龄;
   if (age <=0 || age >= 100) {
      throw AgeException(age);
   }
   return age;
}

其中 AgeException 的定义为

class AgeException {
   public:
   int errorAge;
   AgeException(int age) {
      errorAge = age;
   }
};

在使用的时候也比较简单,

try {
   int i = readAge();
   printf("Age inputed is %d", i);
} catch (AgeException e) {
   printf("error. Age inputed = %d and is not valid.", e.errorAge);
}

2. __try ... __except

这个是VC自己定义的不是C++的关键字. VC在编译__try ... __except的时候, 会按照Windows SEH(结构化异常)处理的规则, 把异常处理部分加入到当前线程的异常处理链中. 这部分不详细写了, SEH处理在网上的文章一搜一大把.

3. try...catch 与 __try ... __except 使用上的区别

对于上面的AgeException, 我们也可以使用__try... __except 来处理:

__try {
   int i = readAge();
   printf("Age inputed is %d", i);
} __except (EXCEPTION_EXECUTE_HANDLER) {
   printf("Age is not correct.");
}

但是, 对于__try ... __except 能够处理的异常(比如下面的代码), C++异常处理try .. catch 不能够捕获(Catch段不能执行):

try {
   int *p = NULL;
   *p = 0;
} catch (...) {
   printf("Exception occured.");
}

注: 这里其实和编译器有关, VC2005由/EH加上参数来控制, 详情参见http://msdn.microsoft.com/en-us/library/1deeycx5(VS.80).aspx . 这里讨论的是默认的情况, 不处理的时候.

这是为什么呢. 仔细看了下, 当我们在程序里面throw出来一个异常的时候, 调试器(比如VC, WinDBG)会记录下面一个事件:

First-chance exception at 0x7c812afb (kernel32.dll) in trycatch.exe: Microsoft C++ exception: AgeException at memory location 0x0012fc98..

也就是说, 在VC中, throw出来的都是Microsoft C++ exception. 只有这种Exception才能被try...catch捕获. 同样, 用WinDBG装载上面的程序

__try {
   int i = readAge();
   printf("Age inputed is %d", i);
} __except (EXCEPTION_EXECUTE_HANDLER) {
   printf("Age is not correct.");
}

会发现, 出现的异常为C++ exception, 异常代码为0xe06d7363:

也就是说, 在C++中throw出来的异常是一种特殊的类型的异常, 是微软专门为VC++实现的,异常代码为0xe06d7363. (有意思的是ASCII码为0x6d, 0x73, 0x63的字符为msc)

到这里我们基本可以得出一个结论, try...catch和__try...__except其实从本质上来说是一回事, 他们从根源上来说都是用到了Windows的SEH处理机制. 不同点在于:

-) try...catch 只处理异常代码为0xe06d7363的C++ exception, 不会理会其他的;
-) try...catch 对于编译器来说做了一些额外的工作, 但是最终的实现是和__try...__except都要归结于SEH
-) try...catch 多了一些额外的传递具体的异常信息的部分(catch的是何种异常. 不像是__try...__except, 需要用ExceptionCode去判断)

想到这, 想到了下面一个问题, 就是VC++编译器是如何知道catch的异常信息的呢? 换句话说, 对于下面的代码, 我们知道出现了异常, 但是怎么得到异常的信息的呢?

__try {
   int i = readAge();
   printf("Age inputed is %d", i);
} __except (EXCEPTION_EXECUTE_HANDLER) {
   printf("Age is not correct."); //如何知道readAge中throw出来的AgeException?
}

为了调试方便, 把异常类和抛出异常的代码修改一下, 在创建异常的时候传递错误的age和一条消息

class AgeException {
public:
   int errorAge;
   char *p;
   AgeException(int age, char* msg) {
      errorAge = age;
      p = msg;
   }
};

int readAge() {
   int age = 123; //
   if (age <=0 || age >= 100) {
      throw AgeException(age, "Age is outof range.");
   }
   return age;
}

用WinDBG装入, 运行, 出现了C++异常后, 使用.exr -1 命令查看最近出现的异常:

可以看出, 这个异常为前面讨论的C++异常(0xe06d7363类型), 带有3个参数, 每个参数, 参数分别为0x19930520, 0x0012fca4, 0x00417bc8. 因为我没有找到C++异常中参数的含义, 只能猜了(哪位如果知道请赐教).

考虑到抛出异常的代码抛出的异常类型为AgeException, 那么很自然想到抛出的异常作为一个指针存储在参数中. 因为没有资料, 只能挨个试验了. 使用命令dt trycatch!AgeException 地址, 来把trycatch模块(编译出的程序名是trycatch.exe)中地址的内容按照类AgeException显示出来:

果然, 第一个参数0x19930520里面是不是我们想要的; 当输入第二个参数的时候, 该地址中的内容和预料的一致, 是我们抛出的异常中的内容. 这样验证了猜想. try...catch的工作流程为:

-) 编译器在编译try...catch的时候, 也是利用Windows的SEH, 只不过仅仅针对C++异常(0xe06d7363类型)进行处理;
-) 抛出异常的时候(throw), 把生成的异常类的实例地址, 保存在异常信息的第二个参数中
-) catch异常的时候, 从异常信息第2个参数中读出地址, 并转化为异常类的实例, 供程序使用.

要使用__try...__except模拟上述的过程, 程序可以改为:

__try {
   int i = readAge();
   printf("Age inputed is %d", i);
} __except (extract(GetExceptionInformation()), EXCEPTION_EXECUTE_HANDLER) {
   printf("Exception happene.");
}

void extract(LPEXCEPTION_POINTERS p) {
   int d = p->ExceptionRecord->NumberParameters; //参数数目, 这里没用到
   unsigned int * ex = (unsigned int *) p->ExceptionRecord->ExceptionInformation[1]; //第二个参数
   AgeException * e = (AgeException *) ex; //转换,得到异常类的实例
   printf("==> %d ", e->errorAge); //异常的信息可以知道了.
    printf("==> %s ", e->p); //异常的信息可以知道了.
}

运行, 和预期的结果是一致的.

最后可以得到结论(不知道这样说是否完全正确) :

try...catch是编译器对__try ... __except的一个包装; 该包装仅处理C++异常类型, 但是提供了比较方便的方法来传递抛出的异常信息, 这样程序员能够比较方便的处理异常, 而不用想上面的例子那样要手工去异常信息中去取.