调用longjmp()后,如果自setjmp()调用以来其值可能已更改,则不应访问非非易失性合格的本地对象。在这种情况下,它们的值被认为是不确定的,访问它们是未定义的行为。
现在我的问题是,为什么在这种情况下volatile起作用?难道那个可变变量仍然不能使longjmp失败吗?例如,在下面的示例中,longjmp将如何正常工作?当代码在longjmp之后返回到setjmp时,local_var的值不是2而不是1?
void some_function() { volatile int local_var = 1; setjmp( buf ); local_var = 2; longjmp( buf, 1 ); }
setjmp和longjmp垃圾寄存器。如果变量存储在寄存器中,则其值将在后面丢失longjmp。
setjmp
longjmp
相反,如果将其声明为volatile,则每次将其写入时,都会将其存储回内存中,并且每次从其读取时,都会将其每次从内存中读取回去。这会损害性能,因为编译器必须执行更多的内存访问,而不是使用寄存器,但是面对变量,这会使变量的使用安全longjmp。
volatile