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