Calling conventions(调用规则)

王朝delphi·作者佚名  2006-01-09
窄屏简体版  字體: |||超大  

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

 
 
 
免责声明:本文为网络用户发布,其观点仅代表作者个人观点,与本站无关,本站仅提供信息存储服务。文中陈述内容未经本站证实,其真实性、完整性、及时性本站不作任何保证或承诺,请读者仅作参考,并请自行核实相关内容。
 
 
© 2005- 王朝網路 版權所有 導航