Question

我的问题针对的是setjmp / longjmp关于局部变量的行为。

示例代码：

jmp_buf env;


void abc()
{
  int error;

  ... 
  if(error)
    longjmp(env);
}


void xyz() {
  int v1;           // non-volatile; changed between setjmp and longjmp
  int v2;           // non-volatile; not changed between setjmp and longjmp
  volatile int v3;  // volatile;     changed between setjmp and longjmp
  volatile int v4;  // volatile;     not changed between setjmp and longjmp 

  ...

  if(setjmp(env)) {
    // error handling
    ...
    return;
  }

  v1++; // change v1
  v3++; // change v3

  abc();
}


int main(...) {
  xyz();
}

setjmp / longjmp的文档说：

“所有可访问的对象都具有调用longjmp（）时的值，除了自动存储持续时间的对象的值是包含相应调用的函数的本地 setjmp（）没有volatile限定类型且更改了 setjmp（）调用和longjmp（）调用之间是不确定的。“

我看到以下两种可能的解释：

intepretation1：

恢复局部变量，但

除外

非易失性
改变

intepretation2：

恢复局部变量，

除外

那些非挥发性的
那些被改变的

根据解释1，在longjmp之后只有v1未定义。定义了v2，v3，v4。根据解释2，在longjmp之后只定义了v4。 v1，v2，v3未定义。

哪一个是对的？

BTW：我需要一个对所有编译器都有效的通用（“便携式”）答案，即尝试使用一个特定的编译器没有帮助。

Answer 1

setjmp / longjmp是通过在第一次传递时保存寄存器（包括堆栈和代码指针等）来实现的，并在跳转时恢复它们。

自动（又称“本地”，堆栈分配）变量不是“易变” 可能存储在寄存器中而不是存储在堆栈中。

在这些情况下，longjmp会在首次调用setjmp（）时将这些寄存器变量恢复为它们的值。

此外，一个特别聪明的编译器可能会避免可以从另一个变量的状态推断出的变量，并按需计算它们。

但是，如果变量是自动但没有分配寄存器，则可以通过setjmp和longjmp之间的代码进行更改。

Volatile明确告诉编译器不要将变量存储在寄存器中。

因此，除非你明确说变量是volatile，否则如果你在setjmp / longjmp之间更改了变量，它的值将取决于编译器的选择，因此你不应该依赖它（'indeterminate'）。 / p>

Answer 2

解释1是正确的。如果打算解释2，原始文本将使用“或更改”而不是“和”。

setjmp / longjmp和局部变量

2 个答案: