正文

setjump 和 longjump

IP云
IP云V管理员/1 阅读
12/01
小程序：扫一扫查出行
【扫一扫了解最新限行尾号】
复制小程序

goto语句可以用于同一个函数内异常处理，不幸的是，goto是本地的，它只能跳到所在函数内部的标号上。为了解决这个限制，C函数库提供了setjmp()和longjmp()函数，它们分别承担非局部标号和goto作用。头文件<setjmp.h>申明了这些函数及同时所需的jmp_buf数据类型。
1.setjmp(jbuf)设置“jump”点，用正确的程序上下文填充jmp_buf对象jbuf。这个上下文包括程序存放位置、栈和框架指针，其它重要的寄存器和内存数据。当初始化完jump的上下文，setjmp()返回0值。
2. 以后调用longjmp(jbuf,r)的效果就是一个非局部的goto或“长跳转”到由jbuf描述的上下文处（也就是到那原来设置jbuf的setjmp()处）。当作为长跳转的目标而被调用时，setjmp()返回r （或1，如果r设为0的话）。（setjmp()不能在这种情况时返回0，否则就和设置jump点的返回值冲突了）

  1. #include "apue.h"
  2. #include <setjmp.h>
  3. #define TOK_ADD    5
  4. jmp_buf jmpbuffer;
  5. int
  6. main(void)
  7. {
  8. char    line[MAXLINE];
  9. if (setjmp(jmpbuffer) != 0)
  10. printf("error");
  11. while (fgets(line, MAXLINE, stdin) != NULL)
  12. do_line(line);
  13. exit(0);
  14. }
  15. ...
  16. void
  17. cmd_add(void)
  18. {
  19. int     token;
  20. token = get_token();
  21. if (token < 0)    /* an error has occurred */
  22. longjmp(jmpbuffer, 1);
  23. /* rest of processing for this command */
  24. }

setjump和longjump返回时对auto变量、register变量、volatile变量和静态变量的恢复情况示例。cc -O选项表示编译优化。
longjump返回时一般情况下不会恢复到setjump时的值，此种情况属于未定义。
如果你不想让anto变量的值回滚，需要加上volatile属性。

  1. #include "apue.h"
  2. #include <setjmp.h>
  3. static void f1(int, int, int, int);
  4. static void f2(void);
  5. static jmp_buf jmpbuffer;
  6. static int     globval;
  7. int
  8. main(void)
  9. {
  10. int             autoval;
  11. register int    regival;
  12. volatile int    volaval;
  13. static int      statval;
  14. globval = 1; autoval = 2; regival = 3; volaval = 4; statval = 5;
  15. if (setjmp(jmpbuffer) != 0) {
  16. printf("after longjmp:\n");
  17. printf("globval = %d, autoval = %d, regival = %d,"
  18. " volaval = %d, statval = %d\n",
  19. globval, autoval, regival, volaval, statval);
  20. exit(0);
  21. }
  22. /*
  23. * Change variables after setjmp, but before longjmp.
  24. */
  25. globval = 95; autoval = 96; regival = 97; volaval = 98;
  26. statval = 99;
  27. f1(autoval, regival, volaval, statval); /* never returns */
  28. exit(0);
  29. }
  30. static void
  31. f1(int i, int j, int k, int l)
  32. {
  33. printf("in f1():\n");
  34. printf("globval = %d, autoval = %d, regival = %d,"
  35. " volaval = %d, statval = %d\n", globval, i, j, k, l);
  36. f2();
  37. }
  38. static void
  39. f2(void)
  40. {
  41. longjmp(jmpbuffer, 1);
  42. }
    1. $ cc testjmp.c               compile without any optimization
    2. $ ./a.out
    3. in f1():
    4. globval = 95, autoval = 96, regival = 97, volaval = 98, statval = 99
    5. after longjmp:
    6. globval = 95, autoval = 96, regival = 97, volaval = 98, statval = 99
    7. $ cc -O testjmp.c            compile with full optimization
    8. $ ./a.out
    9. in f1():
    10. globval = 95, autoval = 96, regival = 97, volaval = 98, statval = 99
    11. after longjmp:
    12. globval = 95, autoval = 2, regival = 3, volaval = 98, statval = 99

相关阅读

目录[+]