堆栈的详解(四)：调用约定问题

四、 调用约定问题

混合语言编程，只能在生成的目标模块（OBJ）一级进行连接（link）。OBJ中包含的是一定格式的汇编码。要实现混合语言的连接，必须明白语言的调用约定问题。程序设计语言的调用约定分c约定河pascal约定两大类。除c语言外，其它语言（包括汇编）都使用pascal约定。其区分如下：

1．大小写问题（Case-Sentive）

在c约定生成的汇编码中，符号严格按c程序中大小写生成，而pascal约定则将符合均转换成大写。

2．下划线问题（Underbar）

c约定生成的符号均自动加上下划线，而pascal约定则不加下划线。例如，变量名i和函数名生成的汇编码如下：

c约定：_i,_add

pascal约定：I，ADD

3．参数压栈次序问题

在调用函数时，c约定是将函数参数倒序压栈（从右往左），而pascal约定则是正序压栈（从左到右）。

4．压栈参数谁负责处理

当从函数调用返回时，c约定规定由调用程序（caller）负责去除栈中的函数参数，而pascal约定则规定由被调用程序（callee）负责去除栈中的参数。

例如add(int i,int j,int k)的生成的c约定代码如下(small模式):

调用程序（caller）：

push _k

push _j

push _i

call near ptr _add

add sp,12 //清栈

被调用程序（callee）：

_add proc near

…

ret

_add endp

而在pascal语言中，生成的约定代码如下：

调用程序（caller）

push I

push J

push K

call near ptr ADD

被调用成程序（callee）

ADD proc near

…

ret 12

ADD endp

其中ret n的含义是，再ret弹栈的同时，再从栈中额外地多弹掉n个字节。

原因：因c语言中有些函数的参数个数是不固定（有些函数的最右边的参数可以缺省的，例如printf函数），所以只有caller才能搞的清楚，到底代入几个参数，所以栈中的函数参数只能由caller负责去掉。其缺点是，若一个函数被反复的调用，则每个caller都要带重复的清栈代码，生成的程序较长。采用pascal约定的语言，参数个数固定，所以可由callee负责统一清栈。故pascal约定生成的程序短。

相映地，在Win32 SDK程序中，函数可由_pascal、_cdecl两种类型，另外还有_stdcall类型。其中_pascal类型只有在Win16中使用，在Win32中已经呗完全淘汰了。

_stdcall约定是c约定和p约定的综合，除被调用函数（callee）负责清栈之外，其他的均和_cedel相同。_stdcall约定规定由callee负责清栈的目的是为了使生成的Win32程序短些。Win32 SDK 内部的所有API均为_stdcall类型。Win32中的CALLBACK和WINAPI类型也均属_stdcall类型。

_cdecl约定即c约定，在Win32程序中，只有那些用c约定编写的函数或将被其他语言调用的c函数，才应被声明_cdecl类型，或用extern “C”括起来说明，如：

//Sample.h

#if defined(_cplusplus)

Extern “C”

{

#endif

int atoi(char*string);

#if defined(_cplusplus)

}

#endif

更详细地，请查MSDN的关键字。