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

Question

调用 longjmp() 后，如果非 volatile 限定的本地对象的值自调用 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 );
}

Answer 1

setjmp 和 longjmp 破坏寄存器。如果一个变量存储在寄存器中，它的值在 longjmp 之后会丢失。

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