C语言异常处理

 在C中，goto语句是不能跨越函数的，而执行这类跳转功能的是setjmp和longjmp。这两个函数对于处理发送在深层嵌套函数调用中的出错情况是非常有用的。

setjmp参数env的类型时一个特殊类型jmp_buf，这一数据类型是某种形式的数组，其中存放在调用longjmp时能用来恢复栈状态的所有信息。因为需在另一个函数中引用env变量，所以规范的处理方式是将env变量定义为全局变量。

setjmp类似于fork函数，它有两次返回，一次是在设定env时，返回0，另一次是在调用longjmp后，返回设定的错误号。

longjmp有可能回滚自动变量和寄存器变量，也有可能不会回滚，静态变量，全局变量和volatile变量的值在执行longjmp时保持不变。

/* -------------------------------------------------------------------------
** File : cexcept.c                                                        *
** Coder: Spark Song.                                                      * 
** Note : Use the example code from 《C Interfaces and Implementations》   *  
** -------------------------------------------------------------------------
*/
#include <setjmp.h>
#include <stdlib.h>
#include <stdio.h>
#include <assert.h>
int Allocation_handled = 0;
jmp_buf Allocate_Failed;
void *allocate(unsigned n)
{
    void * new = (void *)malloc(n);
    if (new)
        return new;
    if (Allocation_handled)          /* 如果实例化了异常处理程序的话... */
        longjmp(Allocate_Failed, 1); /* 产生异常，并抛出 */
    
    assert(0); /* 如果没有实例化异常处理程序，则此断言会报出运行期的错误 */
}
int main(int argc, char *argv[])
{
    char *buf = 0;
    int count = 0;
    Allocation_handled = 1;         /* 设置实例化异常的标志，设为1表示实例化了异常处理程序 */ 
    if (setjmp(Allocate_Failed))    /* 实例化异常 */
    {
        fprintf(stderr, "EXCEPT: Couldn't allocate the buffer/n"); 
        exit(EXIT_FAILURE);
    }      
        
    while(1)    /* 测试代码：一直分配内存，直到没有内存为止。没有内存时会触发异常 */
    {
        buf = (char *)allocate(4096000);         
        printf("Allocate successs, the count is: %d/n", count++);
    }
    Allocation_handled = 0;  

    return 0;
}