基础中的基础 — Wed, 11 Mar 2009 09:20:00 GMT

用非局部蟩转设计异�怽��p�，下面是一�D�基��代码

1#include
2#include
3
4void
5main()
6{
7    jmp_buf env;
8    int     jmpflag;
9
10    do {
11        if ((jmpflag = setjmp(env)) == 0) { /**//* try */
12            printf("run normal block\n");
13            longjmp(env, 1);                /**//* throw exception 1 */
14        }
15        else if (jmpflag == 1) {            /**//* catch (exception 1) */
16            printf("catch exception 1\n");
17        }
18        else {                              /**//* catch (), optional*/
19            printf("cathc all\n");
20        }
21        /**//* no catcher, use longjmp(prev_env, 1) to prev jmp point */
22    } while (0);
23}

上面的这�D�代码带来如下问题：
1. ��Z��要��用do...while (0)?
2. 使用异常码代表异常是否合�?
3. 当异常未被捕��h��Q�如何丢�l�上一�?

1. 本意是用{}构造一个代码块以处理未捕获之异常，而用do...while(0)可以利于宏化�?br>2. 不合适，因�ؓ异常码的携带信息量太��，另外异常码不能�ؓ0。下面�ؓ了简单说明，我们�q�是用异常码作�ؓ设计�?br>3. 实际上就是如何保存上一层的跌��{点的问题�Q�这也是异常体系设计的重炏V�?br>
一个简单的�Ҏ(gu��)��是保存一个异常栈�Q?br>* 每进入一层try�Q�我们就压入一个当前异常��Q?br>* 每当一个被异常被捕��P��弹出当前异常帧�?br>* 每当抛出或重新抛��Z��个异常时�Q��用栈��的异常帧蟩转到一个catch块�?br>
��Z��能够跌��{��C��个catch块，一个异常��臛_��包括信息�Q?br>1. 跌��{点环境jmp_buf�Q�注意代�?3行，�q�里看�v来longjmp(env, 1); �׃��我们需要设计成RAISE(1); 所以env不必指定;
那么env可直接来自局部变量，但是�׃��longjmp也可能是在一个函��C��被调用，�q�时env必须可以全局讉K��Q�而用异常栈保存这个信息便可做到�?br>2. 跌��{点的异常码；��管抛出和捕获异常时都需要制定异常码�Q�但是对于一个未捕获的异常，我们使用RERAISE()是不需要指定异常码的，因此�Q�异常码必须保存于某处，异常栈便是个好地斏V�?br>3. 上一�U�异常��指针�Q�这是支持栈�l�构必须的�?br>

1struct exceptframe {
2    jmp_buf      env;
3    int          ecode;
4    exceptframe *prev;
5};

对于��M��一个程序，同一时刻只有一个异常运行，换句话说�Q�当一个异常尚未处理完毕，不应该有另一个异常抛出。基于这个原因，一个程序只需要一个异常栈卛_��,不同时刻�Q�该异常栈服务于不同的异常。我们用一个全局变量代表异常�?br>struct exceptframe *exceptstack;

基础中的基础 2009-03-11 17:20 发表评论

久久亚洲AV无码精品色午夜,欧美午夜A∨大片久久,欧美一级久久久久久久大