1 tail call
在函数f中调用函数b,如果这个调用是函数f中执行的最后一条指令,那么这个调用就称为tail call。
例子:
int foo(float a, float b)
{
...
return bar(a/2)
}
不是tail call的例子:
int foo(float a, float b)
{
....
c = bar(a/2)
}
这里最后一条指令是对c进行赋值,而不是调用bar函数。
2 tail recursive call
如果一个tail call中,函数f和函数b是同一个函数,那么这个call就是tail recursive call。
3 proper tail call
在tail call基础上限制条件:
f调用b时,如果函数f的栈可以释放的话,这是一个proper tail call。
4 sibling call
首先这应该时一个proper tail call。
然后还有限制条件:
第一,b的参数所占用的空间不能比f占的空间大。
第二,f和b的返回类型是一样的。
5 汇编指令call和jump
jump指令只是修改了IP,然后直接跳转到该条指令执行,它是不管栈的。
call指令会先将当前的IP入栈,然后修改IP,然后跳转,执行完之后再IP出栈,跳转回来。