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