c - 为什么volatile可用于setjmp/longjmp

调用longjmp()之后，如果自setjmp()调用以来其值可能已更改，则不应访问非非 Volatile 合格的本地对象。在这种情况下，它们的值被认为是不确定的，访问它们是未定义的行为。

现在我的问题是，为什么在这种情况下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 Clobber寄存器。如果变量存储在寄存器中，则其值会在longjmp之后丢失。

相反，如果将其声明为volatile，则每次将其写入时，都会将其存储回内存中，并且每次从其读取时，都会将其每次从内存中读取回去。这会损害性能，因为编译器必须执行更多的内存访问，而不是使用寄存器，但是面对longjmp ing，这会使变量的使用安全。

关于c - 为什么volatile可用于setjmp/longjmp，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/7996825/