跨函数的代码能跳转吗？

[kgblue]

goto语句只能在一个函数里面实行跳转，C语言中有没有语句可以实现跨函数之间的代码跳转的呢？

[chenyu2202863]

在C专家编程里面可有提到setjmp和longjmp

setjmp(),longjmp()是通过操纵过程活动记录实现的。
* setjmp(jmp_buf j)必须首先被调用，表示“使用变量j记录的位置，函数返回零”
* longjmp(jmp_buf j,int i)可以接着被调用，表示“回到j所记录的位置 ，让它看上去像从原先的setjmp()函数返回一样，返回i，使代码能够知道它实际上是通过longjmp()返回的”。（很拗口）

* goto语句不能跳出C语言当前的函数（这也就是longjmp取名字的由来，它可以跳得更远，甚至跳到其他文件的函数中）
* longjmp只能跳回到曾经到过的地方，在执行setjmp的地方仍留下一个活动记录也就是“从何而来，往哪儿去”，longjmp接受一个额外的整形参数并返回他的值

#include <setjmp.h>

jmp_buf buf;

Banana()
{
printf("In Banana()\n");
longjmp(buf,1);
/*下面的代码不会执行
printf("You'll never see this ,because longjmp");
}

int main(void)
{
if( setjmp(buf) )
{
printf("Back in main\n");
}
else
{
printf("First time through\n");
Banana();
}

system("pause");
return 0;
}

输出结果：
First time through
in Banana
Back in main

要保证局部变量在longjmp过程中一直保持它的值唯一可靠的方法是声名为volatile

setjmp/longjmp最大的用途是错误恢复，只要没有从函数中返回，一旦发现一个不不可恢复的错误，就可以把控制转移到主输入循环，从新开始。

[softwarewander]

不明白这句话
************************************************************************
要保证局部变量在longjmp过程中一直保持它的值唯一可靠的方法是声名为volatile


麻烦ls大哥解释一下,

[ayw215]

volatile
通知编译器不优化代码

否则在编译的时候就可能会忽略掉longjmp后面的局部变量

[fengdream]

as long as i can see, no.

[珍惜生命远离CPP]

当然可以,跳转不当堆栈会错误的

[believefym]

不行

而且尽量少用goto

[pxxx123]

不行！

[rainstormed]

goto 可以实现任意跳转

但尽量不要用goto

[pnz_fox]

还是不要用goto，呵呵

[星羽]

可以

#include "setjmp.h"

jmp_buf jmpbuf;

void Funtion()
{
cout<<"hellp :)"<<endl;

longjmp(jmpbuf, 1);
}

int main()
{

if (setjmp(jmpbuf) == 0)
{
for (;;) Funtion();
}

cout<<"hi :)"<<endl;

system("pause");

return 1;

}

[september_29]

setjump longjump

[softwarewander]

一直保持它的值唯一 还要用voliate？

ls所说的我知道， 就是在编译的时候，如果longjump之后有voliate变量的时候，还是需要将其进行编译。如果没有就可以理都不理。 但是怎么能保证“局部变量在longjmp过程中一直保持它的值唯一”
所以还是不理解。。。

[aqingzeng]

"一直保持它的值唯一 " 可能有点用词不当 ：）

[过去的我]

顶.. 函数间跳来跳去堆栈肯定不平衡. 我咋在看c专家编程的时候没看到..

[shaoshaolong]

牛，这样的代码都被想了出来！不过倒可以用汇编来写，然后C语言调用之

[zenny_chen]

除了setjmp-longjmp外，内联汇编jump指令有时也是一种比较有效的方法。

[hai040]

[Quote=引用 12 楼 softwarewander 的回复:]
一直保持它的值唯一 还要用voliate？

ls所说的我知道， 就是在编译的时候，如果longjump之后有voliate变量的时候，还是需要将其进行编译。如果没有就可以理都不理。 但是怎么能保证“局部变量在longjmp过程中一直保持它的值唯一”
所以还是不理解。。。
[/Quote]
...
一直保持它的值，唯一可靠的方法

[mifeixq]

1L
setjmp longjmp