Calling conventions(调用规则)

当你声明一个过程或函数时候，你可以指定一种调用规则，可使用这些关键字：register，pascal，cdecl，stdcall,safecall，比如：
function MyFunction(X, Y: Real): Real; cdecl;
...
调用规则决定了参数传递给例程的顺序，同时也影响参数从堆栈和参数使用的寄存器中释放，错误和意外的处理。DELPHI中缺省的调用规则为register.
1,register和pascal：参数从左至右传递；也就是说最左边的参数最先计算和传递，最右边的参数最晚计算和传递。cdecl,stdcall,safecall：参数从右至左传递。
2，所有的调用规则除了cdecl,过程或函数从堆栈中释放参数在返回前。cdecl规则则是由调用者在过程或函数返回后释放。
3，register规则使用3个CPU寄存器传递参数，而其他调用规则中传递的参数是入栈的。(对1，3进行了测试，事实上浮点数，方法指针，Variant，Int64和结构类型是不会传入寄存器的，也就是次序并不是依次的当前3个参数中有上述类型时)
4，safecall规则实现了对意外的防火墙。在WINDOWS，这个实现了COM进程间的错误通知。(error notification)
请看表格：
Directive Parameter order Clean-up Passes parameters in registers?
register Left-to-right Routine Yes //看准了，优先使用寄存器
pascal Left-to-right Routine No
cdecl Right-to-left Caller No //看准了，由调用者清理
stdcall Right-to-left Routine No
safecall Right-to-left Routine No
由此可见，缺省的register规则是最高效的，因为它通常避免了创建一个栈结构(stack frame,呵呵，不知解释合理不？)。
pascal规则是为了向后兼容。

关于由谁来处理参数使用的堆栈或寄存器，我做了相关的练习,
function A(b: integer):integer; //缺省为register
begin
//代码
//返回,并恢复堆栈指针
end;
这个的汇编代码类似
move eax, b
call A
function A(b: integer):integer; cdecl;
begin
//代码
//返回
end;
这个的汇编代码类似
push b
call A
add esp，$4 //此处由调用者恢复堆栈指针

标签：

版权申明：本站文章部分自网络，如有侵权，请联系：west999com@outlook.com
特别注意：本站所有转载文章言论不代表本站观点，本站所提供的摄影照片，插画，设计作品，如需使用，请与原作者联系，版权归原作者所有