Calling conventions(调用规则)

类别:Delphi 点击:0 评论:0 推荐:

当你声明一个过程或函数时候,你可以指定一种调用规则,可使用这些关键字: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  //此处由调用者恢复堆栈指针

本文地址:http://com.8s8s.com/it/it4548.htm