第十一章 C语言 其它边角知识.pdf

C语⾔ 其它边⾓知识 ⾮局部跳转 在 C 中，goto 语句是不能跨越函数的，⽽执⾏这类跳转功能的是 setjmp 和 longjmp 宏。这两个宏对于处理发⽣在 层嵌套函数调⽤中的出错情况是⾮常有⽤ 的。 此即为：⾮局部跳转。⾮局部指的是，这不是由普通 C 语⾔ goto 语句在⼀个函数内 实施的跳转，⽽是在栈上跳过若⼲调⽤帧，返回到当前函数调⽤路径的某个函数中。 #include setjmp.h int setjmp (jmp_buf env) ; /*设置调转点*/ void longjmp (jmp_buf env, int val) ; /*跳转*/ setjmp 参数 env 的类型是⼀个特殊类型 jmp_buf 。这⼀数据类型是某种形式的数组， 其中存放 在调⽤ longjmp 时能⽤来恢复栈状态的所有信息。因为需在另⼀个函数中引 ⽤ env 变量，所以应该将 env 变量定义为全局变量。 longjmp 参数 val ，它将成为从 setjmp 处返回的值。 #include stdio.h #include setjmp.h static jmp_buf buf; void second(void) printf(second\n); longjmp(buf,1); // 跳回setjmp的调⽤处使得setjmp返回值为1 } void first(void) second(); printf(first\n); // 不可能执⾏到此⾏ } int main() if (!setjmp(buf)) // 进⼊此⾏前，setjmp返回0 first(); } else // 当longjmp跳转回，setjmp返回1，因此进⼊此⾏ printf(main\n); } return 0; } 直接调⽤ setjmp 时，返回值为 0 ，这⼀般⽤于初始化 （设置跳转点时）。以后再调⽤ longjmp 宏时⽤ env 变量进⾏跳转。程序会⾃动跳转到 setjmp 宏的返回语句处，此时 setjmp 的返回值为⾮ 0 ，由 longjmp 的第⼆个参数指定。 ⼀般地，宏 setjmp 和 longjmp 是成对使⽤的，这样程序流程可 从⼀个深层嵌套的 函数中返回。 变长参数列表 \ 头⽂件定义了⼀些宏，当函数参数未知时去获取函数的参数变量：typedef va_list 宏： va_start() va_arg() va_end() va_list 类型通过 stdarg 宏定义来访问⼀个函数的参数表，参数列表的末尾会⽤省略号 省略 ( va_list ⽤来保存 va_start , va_end 所需信息的⼀种类型。为了访问变长参数列表中 的参数，必须声明 va_list 类型的⼀个对象 ) 我们通过初始化( va_start ) 型为 va_list 的参数表指针，并通过 va_arg 来获取下⼀个参数。 //求任意个整数的最⼤值 #include stdio.h #include stdarg.h int maxint(int n, ...) /* 参数数量由⾮变⻓参数n直接指定 */ va_list ap; int i, arg, max; va_start(ap, n); /* ap为参数指针，⾸先将其初始化为最后⼀ for (i = 0; i n; i++) arg = va_arg(ap, int); /* 型固定为int, 按照给定 型返回下⼀个 if (i == 0) max = arg; else if (arg max)