下面程序中的蹦床功能正常工作。我认为下面的程序会导致堆栈溢出,因为函数thunk_f和thunk1会无限期地相互调用,从而导致创建新的堆栈帧。但是,我想编写一个行为更类似于非终止循环的程序,因为蹦床应该防止堆栈溢出。
<properties>
<java.version>1.8</java.version>
</properties>
答案 0 :(得分:3)
您错误地使用了蹦床:不是让它调用您的thunk_f
函数,而是使用thunk_f
函数的 result 对其进行调用。
结果,您正在堆栈溢出。您可以通过返回 thunk_f
而不是调用它来避免堆栈溢出(但不是无限循环):
void *thunk1(int *param)
{
++*param;
return thunk_f;
}
并在trampoline
中正确调用main
:
int main(int argc, char **argv)
{
int a = 4;
trampoline(thunk1, &a);
printf("%d\n", a);
}
当然,这要求trampoline
获得一个附加参数,以将&a
参数传递给:
void trampoline(void *(*func)(int *), int *arg) {
while (func) {
void *call = func(arg);
func = (void *(*)())call;
}
}
这有效-但请注意,这只是一个无输出的无限循环。要查看发生了什么,请将printf
放在thunk1
内:
void *thunk1(int *param)
{
printf("%d\n", ++*param);
return thunk_f;
}
最后,我可能应该注意,这是无效的C,因为在对象指针和函数指针之间进行转换是非法的(始终编译时会出现警告提示!)。为了使代码合法,请将函数指针包装到一个对象中:
#include <stdio.h>
#include <ctype.h>
#include <stdlib.h>
struct f {
struct f (*p)(void *);
};
void trampoline(struct f f, void *args) {
while (f.p) {
f = (f.p)(args);
}
}
struct f thunk1(void *param);
struct f thunk_f(void *param);
struct f thunk1(void *param) {
printf("%d\n", ++*((int *) param));
return (struct f) {thunk_f};
}
struct f thunk_f(void *param) {
return thunk1(param);
}
int main() {
int a = 4;
trampoline((struct f) {thunk1}, &a);
}