C语言。 功能异常

Question

所以我正在编写一个生成函数的程序。 我正在用GCC嵌套函数模拟lambda表达式。 但是我遇到了奇怪的程序动作。 也许我不了解这背后的理论，女巫带领我的程序进行奇怪的动作。 在这里，我编写了非常简化的代码，下面指出了问题所在。 该程序应该只打印N次'1337'，但是该程序只打印一次并且发疯。

#include <stdio.h>
#include <stdlib.h>

#define lambda(return_type, function_body) \
    ({ \
        return_type __fn__ function_body \
        __fn__; \
    })

void init(void (**fn)()){
    int num = 1337;
    *fn = lambda(void,(){printf("%d\n",num);});
}

int main(){
    void (*fn)();
    init(&fn);
    fn(); // Everything is fine, it prints '1337'
    fn(); // It prints '-1869573949' , maybe accessing memory somewhere
    fn(); // It does not print anything at all
    ...   // It does not print anything at all
    return 0;
}

我想指出的是，如果我改变

void init(void (**fn)()){
    int num = 1337;
    *fn = lambda(void,(){printf("%d\n",num);});
}

至

void init(void (**fn)()){
    *fn = lambda(void,(){printf("%d\n",1337);});
}

它有效，但是不能满足我的需求。

感谢您提供有关此问题的帮助或信息，因为我对此非常感兴趣。

Answer 1

正如GCC的嵌套函数文档中所述：

如果您尝试在包含函数退出后通过其地址调用嵌套函数，那么所有地狱都会变得松散。 如果您尝试在包含作用域级别退出之后调用它，并且如果它引用了不再在作用域中的某些变量，则可能很幸运，但是冒险是不明智的。

换句话说，您在此处尝试做的事情-返回对嵌套函数的引用-并未真正受到GCC的认可。 无论它在何种程度上正常运行，您都非常幸运，因为GCC并不意味着支持此功能。