使用 longjmp 重新反转控制

Question

我正在尝试使用 longjmp 在 c 中实现控制反转，目前我有这个代码：

#include <stdio.h>
#include <setjmp.h>

jmp_buf env;
int arg;
typedef void (*fptr)(int);
fptr callback;
void cb(int a)
{
    arg = a;
    longjmp(env, 1);
}
#define cont1(f, x) do { if(!setjmp(env)) { f(x, &cb); return; } } while(0)

void callback_func(int num, fptr cb)
{
    printf("in a func, num = %d\n", num);
    callback  = cb;
}

void task1()
{
    printf("before continuation\n");
    cont1(callback_func, 7);
    printf("after continuation\n");
}

void task2()
{
    printf("in thread 2\n");
    (*callback)(5);
}

int main()
{
    task1();
    task2();
    printf("arg = %d\n", arg);
    return 0;
}

我的问题是：这不会引发未定义的行为或可能导致实际使用中的任何问题，如果是，那么有没有更好的方法来做到这一点？

Answer 1

此程序具有未定义的行为。请参阅 C11 7.13.2.1 longjmp 函数（强调我的）：

如果没有这样的调用，或者如果调用来自另一个执行线程，或者如果包含 setjmp 宏调用的函数在此期间终止了执行²⁴⁸，或者如果 setjmp 宏的调用在具有可变修改类型的标识符的范围内，并且执行在此期间离开了该范围，则 行为未定义。

248) 例如，通过执行 return 语句 或因为另一个 longjmp 调用已导致转移到嵌套调用集中较早的函数中的 setjmp 调用。

当您cb 调用longjmp 时，调用setjmp 填充env、task1 的函数已经返回。因此调用longjmp 是未定义的。

C 语言没有办法做你想做的事，除了（现在是 C11）线程，使用条件变量来控制哪个线程运行。