纯c实现异常捕获try-catch组件教程示例

2024-10-03 07:23:20

try / catch / finally / throw 介绍

本文用纯c的代码，实现异常捕获try-catch组件。阅读本文需要时刻牢记setjmp和longjmp的对应关系。

在java，python，c++里面都有try catch异常捕获。在try代码块里面执行的函数，如果出错有异常了，就会throw把异常抛出来，抛出来的异常被catch接收进行处理，而finally意味着无论有没有异常，都会执行finally代码块内的代码。

try{
    connect_sql();//throw
}catch(){
}finally {
};

如何实现try-catch这一机制？

关于跳转，有两个跳转。那么在这里我们必然选用长跳转。

goto：函数内跳转，短跳转
setjmp/longjmp：跨函数跳转，长跳转

setjmp/longjmp这两个函数是不存在压栈出栈的，也就是说longjmp跳转到setjmp的地方后，会覆盖之前的栈。

setjmp/longjmp使用介绍(重点)

setjmp(env)：设置跳转的位置，第一次返回0，后续返回longjmp的第二个参数
longjmp(env, idx)：跳转到设置env的位置，第二个参数就是setjmp()的返回值

#include <stdio.h>
#include <setjmp.h>
jmp_buf env;
int count = 0;
void sub_func(int idx) {
    printf("sub_func -->idx : %d\n", idx);
    //第二个参数就是setjmp()的返回值
    longjmp(env, idx);
}
int main() {
    int idx = 0;
    //设置跳转标签，第一次返回0
    count = setjmp(env);
    if (count == 0) {
        printf("count : %d\n", count);
        sub_func(++idx);
    }
    else if (count == 1) {
        printf("count : %d\n", count);
        sub_func(++idx);
    }
    else if (count == 2) {
        printf("count : %d\n", count);
        sub_func(++idx);
    }
    else {
        printf("other count \n");
    }
    return 0;
}

count : 0
sub_func -->idx : 1
count : 1
sub_func -->idx : 2
count : 2
sub_func -->idx : 3
other count

try-catch 和 setjmp/longjmp 的关系

try ---&gt; setjmp(env)
throw ---&gt; longjmp(env,Exception)
catch(Exception)

我们其实可以分析出来，setjmp和count==0的地方，相当于try，后面的else if 相当于catch，最后一个else，其实并不是finally，因为finally是不管怎么样都会执行，上图我标注的其实是误导的。应该是下图这样才对。

宏定义实现try-catch Demo

4个关键字分析出来它们的关系之后，其实我们就能用宏定义来实现了。

#include <stdio.h>
#include <setjmp.h>
typedef struct _Exception {
    jmp_buf env;
    int exceptype;
} Exception;
#define Try(excep) if((excep.exceptype=setjmp(excep.env))==0)
#define Catch(excep, ExcepType) else if(excep.exceptype==ExcepType)
#define Throw(excep, ExcepType) longjmp(excep.env,ExcepType)
#define Finally
void throw_func(Exception ex, int idx) {
    printf("throw_func -->idx : %d\n", idx);
    Throw(ex, idx);
}
int main() {
    int idx = 0;
    Exception ex;
    Try(ex) {
        printf("ex.exceptype : %d\n", ex.exceptype);
        throw_func(ex, ++idx);
    }
    Catch(ex, 1) {
        printf("ex.exceptype : %d\n", ex.exceptype);
    }
    Catch(ex, 2) {
        printf("ex.exceptype : %d\n", ex.exceptype);
    }
    Catch(ex, 3) {
        printf("ex.exceptype : %d\n", ex.exceptype);
    }
    Finally{
        printf("Finally\n");
    };
    return 0;
}

ex.exceptype : 0
throw_func -->idx : 1
ex.exceptype : 1
Finally

实现try-catch的三个问题

虽然现在demo版看起来像这么回事了，但是还是有两个问题：

在哪个文件哪个函数哪个行抛的异常？
try-catch嵌套怎么做？
try-catch线程安全怎么做？

1. 在哪个文件哪个函数哪个行抛的异常

系统提供了三个宏可以供我们使用，如果我们没有catch到异常，我们就可以打印出来

__func__, __FILE__, __LINE__

2. try-catch嵌套怎么做？

我们知道try-catch是可以嵌套的，那么这就形成了一个栈的数据结构，现在下面有三个try，每个setjmp对应的都是不同的jmp_buf,那么我们可以定义一个jmp_buf的栈。

try{
    try{
        try{
        }catch(){
        }
    }catch(){
    }
}catch(){
}finally{
};

那么我们很容易能写出来，既然是栈，try的时候我们就插入一个结点，catch的时候我们就pop一个出来。

#define EXCEPTION_MESSAGE_LENGTH                512
typedef struct _ntyException {
    const char *name;
} ntyException;
ntyException SQLException = {"SQLException"};
ntyException TimeoutException = {"TimeoutException"};
typedef struct _ntyExceptionFrame {
    jmp_buf env;
    int line;
    const char *func;
    const char *file;
    ntyException *exception;
    struct _ntyExceptionFrame *next;
    char message[EXCEPTION_MESSAGE_LENGTH + 1];
} ntyExceptionFrame;
enum {
    ExceptionEntered = 0,//0
    ExceptionThrown,    //1
    ExceptionHandled, //2
    ExceptionFinalized//3
};

3. try-catch线程安全

每个线程都可以try-catch，但是我们以及知道了是个栈结构，既ExceptionStack，那么每个线程是独有一个ExceptionStack呢？还是共享同一个ExceptionStack？很明显，A线程的异常应该有A的处理，而不是由B线程处理。那么我们就使用Linux线程私有数据Thread-specific Data(TSD)来做。

/* ** **** ******** **************** Thread safety **************** ******** **** ** */
#define ntyThreadLocalData                      pthread_key_t
#define ntyThreadLocalDataSet(key, value)       pthread_setspecific((key), (value))
#define ntyThreadLocalDataGet(key)              pthread_getspecific((key))
#define ntyThreadLocalDataCreate(key)           pthread_key_create(&(key), NULL)
ntyThreadLocalData ExceptionStack;
static void init_once(void) {
    ntyThreadLocalDataCreate(ExceptionStack);
}
static pthread_once_t once_control = PTHREAD_ONCE_INIT;
void ntyExceptionInit(void) {
    pthread_once(&once_control, init_once);
}

代码实现与解释

try

首先创建一个新节点入栈，然后setjmp设置一个标记，接下来就是大括号里面的操作了，如果有异常，那么就会被throw抛出来，为什么这里最后一行是if？因为longjmp的时候，返回的地方是setjmp，不要忘了！要时刻扣住longjmp和setjmp。

#define Try do {                                                                        \
            volatile int Exception_flag;                                                \
            ntyExceptionFrame frame;                                                    \
            frame.message[0] = 0;                                                       \
            frame.next = (ntyExceptionFrame*)ntyThreadLocalDataGet(ExceptionStack);     \
            ntyThreadLocalDataSet(ExceptionStack, &frame);                              \
            Exception_flag = setjmp(frame.env);                                         \
            if (Exception_flag == ExceptionEntered) {

Try{
	//...
    Throw(A, "A");
}

throw

在这里，我们不应该把throw定义成宏，而应该定义成函数。这里分两类，一类是try里面的throw，一类是没有try直接throw。

对于try里面的异常，我们将其状态变成ExceptionThrown，然后longjmp到setjmp的地方，由catch处理
对于直接抛的异常，必然没有catch去捕获，那么我们直接打印出来
如果第一种情况的异常，没有被catch捕获到怎么办呢？后面会被ReThrow出来，对于再次被抛出，我们就直接进行打印异常

这里的##__VA_ARGS__是可变参数，具体不多介绍了，不是本文重点。

#define ReThrow                    ntyExceptionThrow(frame.exception, frame.func, frame.file, frame.line, NULL)
#define Throw(e, cause, ...)    ntyExceptionThrow(&amp;(e), __func__, __FILE__, __LINE__, cause, ##__VA_ARGS__,NULL)

void ntyExceptionThrow(ntyException *excep, const char *func, const char *file, int line, const char *cause, ...) {
    va_list ap;
    ntyExceptionFrame *frame = (ntyExceptionFrame *) ntyThreadLocalDataGet(ExceptionStack);
    if (frame) {
        //异常名
        frame->exception = excep;
        frame->func = func;
        frame->file = file;
        frame->line = line;
        //异常打印的信息
        if (cause) {
            va_start(ap, cause);
            vsnprintf(frame->message, EXCEPTION_MESSAGE_LENGTH, cause, ap);
            va_end(ap);
        }
        ntyExceptionPopStack;
        longjmp(frame->env, ExceptionThrown);
    }
        //没有被catch,直接throw
    else if (cause) {
        char message[EXCEPTION_MESSAGE_LENGTH + 1];
        va_start(ap, cause);
        vsnprintf(message, EXCEPTION_MESSAGE_LENGTH, cause, ap);
        va_end(ap);
        printf("%s: %s\n raised in %s at %s:%d\n", excep->name, message, func ? func : "?", file ? file : "?", line);
    }
    else {
        printf("%s: %p\n raised in %s at %s:%d\n", excep->name, excep, func ? func : "?", file ? file : "?", line);
    }
}

Catch

如果还是ExceptionEntered状态，说明没有异常，没有throw。如果捕获到异常了，那么其状态就是ExceptionHandled。

#define Catch(nty_exception) \
                if (Exception_flag == ExceptionEntered) ntyExceptionPopStack; \
            } else if (frame.exception == &(nty_exception)) { \
                Exception_flag = ExceptionHandled;

Finally

finally也是一样，如果还是ExceptionEntered状态，说明没有异常没有捕获，那么现在状态是终止阶段。

#define Finally \
                if (Exception_flag == ExceptionEntered) ntyExceptionPopStack; \
            } { \
                if (Exception_flag == ExceptionEntered)    \
                    Exception_flag = ExceptionFinalized;

EndTry

有些人看到EndTry可能会有疑问，try-catch一共不就4个关键字吗？怎么你多了一个。我们先来看看EndTry做了什么，首先如果是ExceptionEntered状态，那意味着什么？意味着没有throw，没有catch，没有finally，只有try，我们需要对这种情况进行处理，要出栈。

还有一种情况，如果是ExceptionThrown状态，说明什么？没有被catch捕获到，那么我们就再次抛出，进行打印错误。至于为什么多个EndTry，写起来方便呗~

#define EndTry \
                if (Exception_flag == ExceptionEntered) ntyExceptionPopStack; \
            } if (Exception_flag == ExceptionThrown) {ReThrow;} \
            } while (0)

try-catch代码

/* ** **** ******** **************** try / catch / finally / throw **************** ******** **** ** */
#define EXCEPTION_MESSAGE_LENGTH                512
typedef struct _ntyException {
    const char *name;
} ntyException;
ntyException SQLException = {"SQLException"};
ntyException TimeoutException = {"TimeoutException"};
typedef struct _ntyExceptionFrame {
    jmp_buf env;
    int line;
    const char *func;
    const char *file;
    ntyException *exception;
    struct _ntyExceptionFrame *next;
    char message[EXCEPTION_MESSAGE_LENGTH + 1];
} ntyExceptionFrame;
enum {
    ExceptionEntered = 0,//0
    ExceptionThrown,    //1
    ExceptionHandled, //2
    ExceptionFinalized//3
};
#define ntyExceptionPopStack    \
    ntyThreadLocalDataSet(ExceptionStack, ((ntyExceptionFrame*)ntyThreadLocalDataGet(ExceptionStack))->next)
#define ReThrow                    ntyExceptionThrow(frame.exception, frame.func, frame.file, frame.line, NULL)
#define Throw(e, cause, ...)    ntyExceptionThrow(&(e), __func__, __FILE__, __LINE__, cause, ##__VA_ARGS__,NULL)
#define Try do {                                                                        \
            volatile int Exception_flag;                                                \
            ntyExceptionFrame frame;                                                    \
            frame.message[0] = 0;                                                       \
            frame.next = (ntyExceptionFrame*)ntyThreadLocalDataGet(ExceptionStack);     \
            ntyThreadLocalDataSet(ExceptionStack, &frame);                              \
            Exception_flag = setjmp(frame.env);                                         \
            if (Exception_flag == ExceptionEntered) {
#define Catch(nty_exception) \
                if (Exception_flag == ExceptionEntered) ntyExceptionPopStack; \
            } else if (frame.exception == &(nty_exception)) { \
                Exception_flag = ExceptionHandled;
#define Finally \
                if (Exception_flag == ExceptionEntered) ntyExceptionPopStack; \
            } { \
                if (Exception_flag == ExceptionEntered)    \
                    Exception_flag = ExceptionFinalized;
#define EndTry \
                if (Exception_flag == ExceptionEntered) ntyExceptionPopStack; \
            } if (Exception_flag == ExceptionThrown) {ReThrow;} \
            } while (0)
void ntyExceptionThrow(ntyException *excep, const char *func, const char *file, int line, const char *cause, ...) {
    va_list ap;
    ntyExceptionFrame *frame = (ntyExceptionFrame *) ntyThreadLocalDataGet(ExceptionStack);
    if (frame) {
        //异常名
        frame->exception = excep;
        frame->func = func;
        frame->file = file;
        frame->line = line;
        //异常打印的信息
        if (cause) {
            va_start(ap, cause);
            vsnprintf(frame->message, EXCEPTION_MESSAGE_LENGTH, cause, ap);
            va_end(ap);
        }
        ntyExceptionPopStack;
        longjmp(frame->env, ExceptionThrown);
    }
        //没有被catch,直接throw
    else if (cause) {
        char message[EXCEPTION_MESSAGE_LENGTH + 1];
        va_start(ap, cause);
        vsnprintf(message, EXCEPTION_MESSAGE_LENGTH, cause, ap);
        va_end(ap);
        printf("%s: %s\n raised in %s at %s:%d\n", excep->name, message, func ? func : "?", file ? file : "?", line);
    }
    else {
        printf("%s: %p\n raised in %s at %s:%d\n", excep->name, excep, func ? func : "?", file ? file : "?", line);
    }
}

Debug测试代码

/* ** **** ******** **************** debug **************** ******** **** ** */
ntyException A = {"AException"};
ntyException B = {"BException"};
ntyException C = {"CException"};
ntyException D = {"DException"};
void *thread(void *args) {
    pthread_t selfid = pthread_self();
    Try
            {
                Throw(A, "A");
            }
        Catch (A)
            {
                printf("catch A : %ld\n", selfid);
            }
    EndTry;
    Try
            {
                Throw(B, "B");
            }
        Catch (B)
            {
                printf("catch B : %ld\n", selfid);
            }
    EndTry;
    Try
            {
                Throw(C, "C");
            }
        Catch (C)
            {
                printf("catch C : %ld\n", selfid);
            }
    EndTry;
    Try
            {
                Throw(D, "D");
            }
        Catch (D)
            {
                printf("catch D : %ld\n", selfid);
            }
    EndTry;
    Try
            {
                Throw(A, "A Again");
                Throw(B, "B Again");
                Throw(C, "C Again");
                Throw(D, "D Again");
            }
        Catch (A)
            {
                printf("catch A again : %ld\n", selfid);
            }
        Catch (B)
            {
                printf("catch B again : %ld\n", selfid);
            }
        Catch (C)
            {
                printf("catch C again : %ld\n", selfid);
            }
        Catch (D)
            {
                printf("catch B again : %ld\n", selfid);
            }
    EndTry;
}
#define PTHREAD_NUM        8
int main(void) {
    ntyExceptionInit();
    printf("\n\n=> Test1: Throw\n");
    {
        Throw(D, NULL);     //ntyExceptionThrow(&(D), "_function_name_", "_file_name_", 202, ((void *) 0), ((void *) 0))
        Throw(C, "null C"); //ntyExceptionThrow(&(C), "_function_name_", "_file_name_", 203, "null C", ((void *) 0))
    }
    printf("=> Test1: Ok\n\n");
    printf("\n\n=> Test2: Try-Catch Double Nesting\n");
    {
        Try
                {
                    Try
                            {
                                Throw(B, "call B");
                            }
                        Catch (B)
                            {
                                printf("catch B \n");
                            }
                    EndTry;
                    Throw(A, NULL);
                }
            Catch(A)
                {
                    printf("catch A \n");
                    printf("Result: Ok\n");
                }
        EndTry;
    }
    printf("=> Test2: Ok\n\n");
    printf("\n\n=> Test3: Try-Catch Triple  Nesting\n");
    {
        Try
                {
                    Try
                            {
                                Try
                                        {
                                            Throw(C, "call C");
                                        }
                                    Catch (C)
                                        {
                                            printf("catch C\n");
                                        }
                                EndTry;
                                Throw(B, "call B");
                            }
                        Catch (B)
                            {
                                printf("catch B\n");
                            }
                    EndTry;
                    Throw(A, NULL);
                }
            Catch(A)
                {
                    printf("catch A\n");
                }
        EndTry;
    }
    printf("=> Test3: Ok\n\n");
    printf("=> Test4: Test Thread-safeness\n");
    int i = 0;
    pthread_t th_id[PTHREAD_NUM];
    for (i = 0; i < PTHREAD_NUM; i++) {
        pthread_create(&th_id[i], NULL, thread, NULL);
    }
    for (i = 0; i < PTHREAD_NUM; i++) {
        pthread_join(th_id[i], NULL);
    }
    printf("=> Test4: Ok\n\n");
    printf("\n\n=> Test5: No Success Catch\n");
    {
        Try
                {
                    Throw(A, "no catch A ,should Rethrow");
                }
        EndTry;
    }
    printf("=> Test5: Rethrow Success\n\n");
    printf("\n\n=> Test6: Normal Test\n");
    {
        Try
                {
                    Throw(A, "call A");
                }
            Catch(A)
                {
                    printf("catch A\n");
                }
            Finally
                {
                    printf("wxf nb\n");
                };
        EndTry;
    }
    printf("=> Test6: ok\n\n");
}

线程安全、try-catch、Debug测试代码汇总

#include <stdio.h>
#include <setjmp.h>
#include <pthread.h>
#include <stdarg.h>
/* ** **** ******** **************** Thread safety **************** ******** **** ** */
#define ntyThreadLocalData                      pthread_key_t
#define ntyThreadLocalDataSet(key, value)       pthread_setspecific((key), (value))
#define ntyThreadLocalDataGet(key)              pthread_getspecific((key))
#define ntyThreadLocalDataCreate(key)           pthread_key_create(&(key), NULL)
ntyThreadLocalData ExceptionStack;
static void init_once(void) {
    ntyThreadLocalDataCreate(ExceptionStack);
}
static pthread_once_t once_control = PTHREAD_ONCE_INIT;
void ntyExceptionInit(void) {
    pthread_once(&once_control, init_once);
}
/* ** **** ******** **************** try / catch / finally / throw **************** ******** **** ** */
#define EXCEPTION_MESSAGE_LENGTH                512
typedef struct _ntyException {
    const char *name;
} ntyException;
ntyException SQLException = {"SQLException"};
ntyException TimeoutException = {"TimeoutException"};
typedef struct _ntyExceptionFrame {
    jmp_buf env;
    int line;
    const char *func;
    const char *file;
    ntyException *exception;
    struct _ntyExceptionFrame *next;
    char message[EXCEPTION_MESSAGE_LENGTH + 1];
} ntyExceptionFrame;
enum {
    ExceptionEntered = 0,//0
    ExceptionThrown,    //1
    ExceptionHandled, //2
    ExceptionFinalized//3
};
#define ntyExceptionPopStack    \
    ntyThreadLocalDataSet(ExceptionStack, ((ntyExceptionFrame*)ntyThreadLocalDataGet(ExceptionStack))->next)
#define ReThrow                    ntyExceptionThrow(frame.exception, frame.func, frame.file, frame.line, NULL)
#define Throw(e, cause, ...)    ntyExceptionThrow(&(e), __func__, __FILE__, __LINE__, cause, ##__VA_ARGS__,NULL)
#define Try do {                                                                        \
            volatile int Exception_flag;                                                \
            ntyExceptionFrame frame;                                                    \
            frame.message[0] = 0;                                                       \
            frame.next = (ntyExceptionFrame*)ntyThreadLocalDataGet(ExceptionStack);     \
            ntyThreadLocalDataSet(ExceptionStack, &frame);                              \
            Exception_flag = setjmp(frame.env);                                         \
            if (Exception_flag == ExceptionEntered) {
#define Catch(nty_exception) \
                if (Exception_flag == ExceptionEntered) ntyExceptionPopStack; \
            } else if (frame.exception == &(nty_exception)) { \
                Exception_flag = ExceptionHandled;
#define Finally \
                if (Exception_flag == ExceptionEntered) ntyExceptionPopStack; \
            } { \
                if (Exception_flag == ExceptionEntered)    \
                    Exception_flag = ExceptionFinalized;
#define EndTry \
                if (Exception_flag == ExceptionEntered) ntyExceptionPopStack; \
            } if (Exception_flag == ExceptionThrown) {ReThrow;} \
            } while (0)
void ntyExceptionThrow(ntyException *excep, const char *func, const char *file, int line, const char *cause, ...) {
    va_list ap;
    ntyExceptionFrame *frame = (ntyExceptionFrame *) ntyThreadLocalDataGet(ExceptionStack);
    if (frame) {
        //异常名
        frame->exception = excep;
        frame->func = func;
        frame->file = file;
        frame->line = line;
        //异常打印的信息
        if (cause) {
            va_start(ap, cause);
            vsnprintf(frame->message, EXCEPTION_MESSAGE_LENGTH, cause, ap);
            va_end(ap);
        }
        ntyExceptionPopStack;
        longjmp(frame->env, ExceptionThrown);
    }
        //没有被catch,直接throw
    else if (cause) {
        char message[EXCEPTION_MESSAGE_LENGTH + 1];
        va_start(ap, cause);
        vsnprintf(message, EXCEPTION_MESSAGE_LENGTH, cause, ap);
        va_end(ap);
        printf("%s: %s\n raised in %s at %s:%d\n", excep->name, message, func ? func : "?", file ? file : "?", line);
    }
    else {
        printf("%s: %p\n raised in %s at %s:%d\n", excep->name, excep, func ? func : "?", file ? file : "?", line);
    }
}
/* ** **** ******** **************** debug **************** ******** **** ** */
ntyException A = {"AException"};
ntyException B = {"BException"};
ntyException C = {"CException"};
ntyException D = {"DException"};
void *thread(void *args) {
    pthread_t selfid = pthread_self();
    Try
            {
                Throw(A, "A");
            }
        Catch (A)
            {
                printf("catch A : %ld\n", selfid);
            }
    EndTry;
    Try
            {
                Throw(B, "B");
            }
        Catch (B)
            {
                printf("catch B : %ld\n", selfid);
            }
    EndTry;
    Try
            {
                Throw(C, "C");
            }
        Catch (C)
            {
                printf("catch C : %ld\n", selfid);
            }
    EndTry;
    Try
            {
                Throw(D, "D");
            }
        Catch (D)
            {
                printf("catch D : %ld\n", selfid);
            }
    EndTry;
    Try
            {
                Throw(A, "A Again");
                Throw(B, "B Again");
                Throw(C, "C Again");
                Throw(D, "D Again");
            }
        Catch (A)
            {
                printf("catch A again : %ld\n", selfid);
            }
        Catch (B)
            {
                printf("catch B again : %ld\n", selfid);
            }
        Catch (C)
            {
                printf("catch C again : %ld\n", selfid);
            }
        Catch (D)
            {
                printf("catch B again : %ld\n", selfid);
            }
    EndTry;
}
#define PTHREAD_NUM        8
int main(void) {
    ntyExceptionInit();
    printf("\n\n=> Test1: Throw\n");
    {
        Throw(D, NULL);     //ntyExceptionThrow(&(D), "_function_name_", "_file_name_", 202, ((void *) 0), ((void *) 0))
        Throw(C, "null C"); //ntyExceptionThrow(&(C), "_function_name_", "_file_name_", 203, "null C", ((void *) 0))
    }
    printf("=> Test1: Ok\n\n");
    printf("\n\n=> Test2: Try-Catch Double Nesting\n");
    {
        Try
                {
                    Try
                            {
                                Throw(B, "call B");
                            }
                        Catch (B)
                            {
                                printf("catch B \n");
                            }
                    EndTry;
                    Throw(A, NULL);
                }
            Catch(A)
                {
                    printf("catch A \n");
                    printf("Result: Ok\n");
                }
        EndTry;
    }
    printf("=> Test2: Ok\n\n");
    printf("\n\n=> Test3: Try-Catch Triple  Nesting\n");
    {
        Try
                {
                    Try
                            {
                                Try
                                        {
                                            Throw(C, "call C");
                                        }
                                    Catch (C)
                                        {
                                            printf("catch C\n");
                                        }
                                EndTry;
                                Throw(B, "call B");
                            }
                        Catch (B)
                            {
                                printf("catch B\n");
                            }
                    EndTry;
                    Throw(A, NULL);
                }
            Catch(A)
                {
                    printf("catch A\n");
                }
        EndTry;
    }
    printf("=> Test3: Ok\n\n");
    printf("=> Test4: Test Thread-safeness\n");
    int i = 0;
    pthread_t th_id[PTHREAD_NUM];
    for (i = 0; i < PTHREAD_NUM; i++) {
        pthread_create(&th_id[i], NULL, thread, NULL);
    }
    for (i = 0; i < PTHREAD_NUM; i++) {
        pthread_join(th_id[i], NULL);
    }
    printf("=> Test4: Ok\n\n");
    printf("\n\n=> Test5: No Success Catch\n");
    {
        Try
                {
                    Throw(A, "no catch A ,should Rethrow");
                }
        EndTry;
    }
    printf("=> Test5: Rethrow Success\n\n");
    printf("\n\n=> Test6: Normal Test\n");
    {
        Try
                {
                    Throw(A, "call A");
                }
            Catch(A)
                {
                    printf("catch A\n");
                }
            Finally
                {
                    printf("wxf nb\n");
                };
        EndTry;
    }
    printf("=> Test6: ok\n\n");
}
void all() {
    ///////////try
    do {
        volatile int Exception_flag;
        ntyExceptionFrame frame;
        frame.message[0] = 0;
        frame.next = (ntyExceptionFrame *) pthread_getspecific((ExceptionStack));
        pthread_setspecific((ExceptionStack), (&frame));
        Exception_flag = _setjmp(frame.env);
        if (Exception_flag == ExceptionEntered) {
            ///////////
            {
                ///////////try
                do {
                    volatile int Exception_flag;
                    ntyExceptionFrame frame;
                    frame.message[0] = 0;
                    frame.next = (ntyExceptionFrame *) pthread_getspecific((ExceptionStack));
                    pthread_setspecific((ExceptionStack), (&frame));
                    Exception_flag = _setjmp(frame.env);
                    if (Exception_flag == ExceptionEntered) {
                        ///////////
                        {
                            ///////////Throw(B, "recall B"); --->longjmp ExceptionThrown
                            ntyExceptionThrow(&(B), "_function_name_", "_file_name_", 302, "recall B", ((void *) 0));
                            ///////////
                        }
                        ///////////Catch (B)
                        if (Exception_flag == ExceptionEntered)
                            ntyExceptionPopStack;
                    }
                    else if (frame.exception == &(B)) {
                        Exception_flag = ExceptionHandled;
                        ///////////
                        {    ///////////
                            printf("recall B \n");
                            ///////////
                        }
                        ////////fin
                        if (Exception_flag == ExceptionEntered)
                            ntyExceptionPopStack;
                        if (Exception_flag == ExceptionEntered)
                            Exception_flag = ExceptionFinalized;
                        /////////////////{
                        {
                            printf("fin\n");
                        };
                        ////////////////////}
                        ///////////EndTry;
                        if (Exception_flag == ExceptionEntered)
                            ntyExceptionPopStack;
                    }
                    if (Exception_flag == ExceptionThrown)
                        ntyExceptionThrow(frame.exception, frame.func, frame.file, frame.line, ((void *) 0));
                } while (0);
                ///////////Throw(A, NULL); longjmp ExceptionThrown
                ntyExceptionThrow(&(A), "_function_name_", "_file_name_", 329, ((void *) 0), ((void *) 0));
                ///////////
            }
            ///////////Catch(A)
            if (Exception_flag == ExceptionEntered)
                ntyExceptionPopStack;
        }
        else if (frame.exception == &(A)) {
            Exception_flag = ExceptionHandled;
            ///////////
            {
                ///////////
                printf("\tResult: Ok\n");
                ///////////
            }
            /////////// EndTry;
            if (Exception_flag == ExceptionEntered)
                ntyExceptionPopStack;
        }
        if (Exception_flag == ExceptionThrown)
            ntyExceptionThrow(frame.exception, frame.func, frame.file, frame.line, ((void *) 0));
    } while (0);
    ///////////
}

以上就是纯c实现异常捕获try-catch组件教程示例的详细内容，更多关于c异常捕获try-catch的资料请关注我们其它相关文章！

c语言没有try catch的替代方案

setjmp与longjmp 后缀jmp指的就是jump,关看名字就能猜到这哥俩是干啥的了.使用他们俩就可以让程序控制流转移,进而实现对异常的处理. 异常处理的结构可以划分为以下三个阶段: 准备阶段:在内核栈保存通用寄存器内容处理阶段:保存硬件出错码和异常类型号,然后向当前进程发送信号恢复阶段:恢复保存在内核栈中的各个寄存器内容,返回当前进程的断电处继续执行过程有点类似递归,只有文字你可能看的有点云里雾里,我们结合一个小例子来看看 #include <stdio.h> #include
C语言异常处理机制案例讲解

异常处理机制:setjmp()函数与longjmp()函数 C标准库提供两个特殊的函数:setjmp() 及 longjmp(),这两个函数是结构化异常的基础,正是利用这两个函数的特性来实现异常. 所以,异常的处理过程可以描述为这样: 首先设置一个跳转点(setjmp() 函数可以实现这一功能),然后在其后的代码中任意地方调用 longjmp() 跳转回这个跳转点上,以此来实现当发生异常时,转到处理异常的程序上,在其后的介绍中将介绍如何实现. setjmp() 为跳转返回保存现场并为异常提供处理
C++ 中的异常抛出和捕获方式

目录 C++ 中的异常语法抛出类型声明栈自旋在 C 语言中,如果发生错误,上级函数要进行出错处理,层层上传,容易造成过多的出错处理代码,并且传递的效率比较低下. C++ 中的异常 C++ 中,异常的引发和异常的处理不必处于同一个函数中,因此底层函数可以着重于解决具体问题,而不必过多的考虑异常处理异常是专门针对抽象编程中的一系列错误处理的,遇到错误信息就转到若干级之上进行重新尝试异常脱离于函数机制,决定了其对函数的跨越式回跳语法 try { statement; } catc
纯c实现异常捕获try-catch组件教程示例

目录 try / catch / finally / throw 介绍如何实现try-catch这一机制? setjmp/longjmp使用介绍(重点) try-catch 和 setjmp/longjmp 的关系宏定义实现try-catch Demo 实现try-catch的三个问题 1. 在哪个文件哪个函数哪个行抛的异常 2. try-catch嵌套怎么做? 3. try-catch线程安全代码实现与解释 try throw Catch Finally EndTry try-catch
javascript中的try catch异常捕获机制用法分析

本文实例讲述了javascript中的try catch异常捕获机制用法.分享给大家供大家参考,具体如下: 1.跟Java一样,JavaScript也具有try catch块,进行异常捕获的机制. (1)典型的try catch语句 try{ } catch{ } finally{ } 跟java中一样,JS中最为典型的try catch语句也同样分为了三个部分,try用于捕获异常,catch用于处理异常,而finally用于关闭资源等后续操作. 举例: try{ throw "error&qu
Android编程实现项目中异常捕获及对应Log日志文件保存功能

本文实例讲述了Android编程实现项目中异常捕获及对应Log日志文件保存功能.分享给大家供大家参考,具体如下: 做程序开发,肯定离不开与BUG打交道,更加离不开程序异常的出现.在开发的时候,我们可以通断点调试,日志打印,异常捕获工具等方式发现或处理程序中的Exception.那客户在使用我们的应用时,程序了问题,我们怎么可以知道呢?当然,我们可以加上友盟统计等第三方工具.另外还能怎么做呢?那就是把异常信息通过文档地形式保存下来,如果用户在使用的时候程序出了异常,可以让用户把对应的日志信息发给我
详解Java中多线程异常捕获Runnable的实现

详解Java中多线程异常捕获Runnable的实现 1.背景: Java 多线程异常不向主线程抛,自己处理,外部捕获不了异常.所以要实现主线程对子线程异常的捕获. 2.工具: 实现Runnable接口的LayerInitTask类,ThreadException类,线程安全的Vector 3.思路: 向LayerInitTask中传入Vector,记录异常情况,外部遍历,判断,抛出异常. 4.代码: package step5.exception; import java.util.Vector
Android崩溃异常捕获方法

开发中最让人头疼的是应用突然爆炸,然后跳回到桌面.而且我们常常不知道这种状况会何时出现,在应用调试阶段还好,还可以通过调试工具的日志查看错误出现在哪里.但平时使用的时候给你闹崩溃,那你就欲哭无泪了. 那么今天主要讲一下如何去捕捉系统出现的Unchecked异常.何为Unchecked异常呢,换句话说就是指非受检异常,它不能用try-catch来显示捕捉. 我们先从Exception讲起.Exception分为两类:一种是CheckedException,一种是UncheckedException
Android 全局异常捕获实例详解

Android 全局异常捕获今天就来说说作为程序猿的我们每天都会遇到的东西bug,出bug不可怕可怕的是没有出bug时的堆栈信息,那么对于bug的信息收集就显得尤为重要了,一般用第三方bugly或者友盟等等都能轻易收集,但是由于公司不让使用第三方,而安卓正好有原生的异常收集类UncaughtExceptionHandler,那么今天博客就从这个类开始. UncaughtExceptionHandler见名知意,即他是处理我们未捕获的异常,具体使用分两步 1.实现我们自己的异常处理类 publi
PowerShell捕获错误的2种方法（异常捕获命令、错误变量）

在先前的技巧中你能观察到使用了 "-ErrorAction Stop"结合"异常捕获命令"能捕获一个Powershell命令的错误,可是使用了这种方式操作之后,脚本会在第一个错误发生后停止. 下面举例:使用Powershell递归扫描文件夹.它将不能完成捕获中间所有的异常(例如某些子文件夹是受访问保护的). 复制代码代码如下: try{ Get-ChildItem -Path $env:windir -Filter *.ps1 -Recurse -ErrorAc
JavaScript中的事件与异常捕获详析

事件处理 [onClick]单击事件.[onMouseOver]鼠标经过事件.[onMouseOut]鼠标移出事件.[onChange]文本内容改变事件.[onSelect]文本被框选事件.[onFoucus]得到光标事件.[onBlur]光标失去事件.[onLoad]网页加载事件(在body标签中添加).[onUnload]网页关闭事件(在body标签中添加或者使用window.onload=function(){} ) 事件注册及监听 1. DOM0级事件处理在标签中添加onClick或其
Spring异常捕获且回滚事务解决方案

默认spring只在发生未被捕获的runtimeexcetpion时才回滚. 最笨的办法:代码级控制:TransactionAspectSupport.currentTransactionStatus().setRollbackOnly(); 为何在aop advitor中配置rollba-for="java.lang.Exception"异常时不回滚呢? 问题已解决: 原理:spring aop 异常捕获原理:被拦截的方法需显式抛出异常,并不能经任何处理,这样aop代理才能捕获到方法
express异步函数异常捕获示例详解

在express中时使用 Async/await 编写异步代码时,每个 async 函数都要包裹在try/catch中,代码量多了看着冗余不优雅,express又不像koa的异步机制可以订阅全局的error事件,为了解决这个问题,需要写个捕获异步函数异常的中间件. uncaughtException 开始能想到的肯定是try/catch了,但是也想过能否使用nodejs提供的uncaughtException事件,在全局捕获异常,例如下面的代码: process.on("uncaughtExce