_cdecl和__stdcall修饰对比

_cdecl和__stdcall修饰对比

由_cdecl和__stdcall修饰的函数在被调用的时候的差别。
两个都是函数参数从右到左入栈，但是有细微的差别。
_cdecl修饰的函数，它的参数所占用的堆栈是由调用函数去清空的。
__stdcall修饰的函数，它的参数所占用的堆栈是由被调用的函数自己返回的时候清空的。

写一个简单的程序，查看汇编代码进行对比。

#include "stdafx.h"

int	_cdecl	add1(int a, int b)
{
	return a+b;
}
///////////////////////////////////////////////////////////////////////////////
int	__stdcall	add2(int a, int b)
{
	return a+b;
}
///////////////////////////////////////////////////////////////////////////////
int main(int argc, char* argv[])
{
	int a, b, c;
	a = 12;
	b = 18;
	c = add1(a, b);
	c = add2(a, b);
	return 0;
}

	TITLE	F:\SourceCode\VC\Test\Test.cpp
	.386P
include listing.inc
if @Version gt 510
.model FLAT
else
_TEXT	SEGMENT PARA USE32 PUBLIC 'CODE'
_TEXT	ENDS
_DATA	SEGMENT DWORD USE32 PUBLIC 'DATA'
_DATA	ENDS
CONST	SEGMENT DWORD USE32 PUBLIC 'CONST'
CONST	ENDS
_BSS	SEGMENT DWORD USE32 PUBLIC 'BSS'
_BSS	ENDS
$$SYMBOLS	SEGMENT BYTE USE32 'DEBSYM'
$$SYMBOLS	ENDS
$$TYPES	SEGMENT BYTE USE32 'DEBTYP'
$$TYPES	ENDS
_TLS	SEGMENT DWORD USE32 PUBLIC 'TLS'
_TLS	ENDS
;	COMDAT ?add1@@YAHHH@Z
_TEXT	SEGMENT PARA USE32 PUBLIC 'CODE'
_TEXT	ENDS
;	COMDAT ?add2@@YGHHH@Z
_TEXT	SEGMENT PARA USE32 PUBLIC 'CODE'
_TEXT	ENDS
;	COMDAT _main
_TEXT	SEGMENT PARA USE32 PUBLIC 'CODE'
_TEXT	ENDS
FLAT	GROUP _DATA, CONST, _BSS
	ASSUME	CS: FLAT, DS: FLAT, SS: FLAT
endif
PUBLIC	?add1@@YAHHH@Z					; add1
;	COMDAT ?add1@@YAHHH@Z
_TEXT	SEGMENT
_a$ = 8
_b$ = 12
?add1@@YAHHH@Z PROC NEAR				; add1, COMDAT

; 7    : {

	push	ebp
	mov	ebp, esp
	sub	esp, 64					; 00000040H
	push	ebx
	push	esi
	push	edi
	lea	edi, DWORD PTR [ebp-64]
	mov	ecx, 16					; 00000010H
	mov	eax, -858993460				; ccccccccH
	rep stosd

; 8    : 	return a+b;

	mov	eax, DWORD PTR _a$[ebp]
	add	eax, DWORD PTR _b$[ebp]

; 9    : }

	pop	edi
	pop	esi
	pop	ebx
	mov	esp, ebp
	pop	ebp
	ret	0	;这里是_cdecl修饰的函数。函数执行完直接退出，并没有释放参数所点的堆栈
?add1@@YAHHH@Z ENDP					; add1
_TEXT	ENDS
PUBLIC	?add2@@YGHHH@Z					; add2
;	COMDAT ?add2@@YGHHH@Z
_TEXT	SEGMENT
_a$ = 8
_b$ = 12
?add2@@YGHHH@Z PROC NEAR				; add2, COMDAT

; 12   : {

	push	ebp
	mov	ebp, esp
	sub	esp, 64					; 00000040H
	push	ebx
	push	esi
	push	edi
	lea	edi, DWORD PTR [ebp-64]
	mov	ecx, 16					; 00000010H
	mov	eax, -858993460				; ccccccccH
	rep stosd

; 13   : 	return a+b;

	mov	eax, DWORD PTR _a$[ebp]
	add	eax, DWORD PTR _b$[ebp]

; 14   : }

	pop	edi
	pop	esi
	pop	ebx
	mov	esp, ebp
	pop	ebp
<span style="color: #ff0000;" mce_style="color: #ff0000;">	ret	8	;ret 8=ret && add esp,8。这里是__stdcall所修饰的函数，返回时清空参数所占的堆栈空间</style>
?add2@@YGHHH@Z ENDP					; add2
_TEXT	ENDS
PUBLIC	_main
EXTRN	__chkesp:NEAR
;	COMDAT _main
_TEXT	SEGMENT
_a$ = -4
_b$ = -8
_c$ = -12
_main	PROC NEAR					; COMDAT

; 17   : {

	push	ebp
	mov	ebp, esp
	sub	esp, 76					; 0000004cH
	push	ebx
	push	esi
	push	edi
	lea	edi, DWORD PTR [ebp-76]
	mov	ecx, 19					; 00000013H
	mov	eax, -858993460				; ccccccccH
	rep stosd

; 18   : 	int a, b, c;
; 19   : 	a = 12;

	mov	DWORD PTR _a$[ebp], 12			; 0000000cH

; 20   : 	b = 18;

	mov	DWORD PTR _b$[ebp], 18			; 00000012H

; 21   : 	c = add1(a, b);

	;调用函数参数入栈
	mov	eax, DWORD PTR _b$[ebp]
	push	eax
	mov	ecx, DWORD PTR _a$[ebp]
	push	ecx
	call	?add1@@YAHHH@Z				; add1
	add	esp, 8		;_cdecl修饰的需要在调用函数结束之后，对参数所占的堆栈空间进行清空。
	mov	DWORD PTR _c$[ebp], eax

; 22   : 	c = add2(a, b);

	mov	edx, DWORD PTR _b$[ebp]
	push	edx
	mov	eax, DWORD PTR _a$[ebp]
	push	eax
	call	?add2@@YGHHH@Z				; add2
;__stdcall修饰函数在返回的时候，参数所占的堆栈空间已经由被调用函数返回时清空。
	mov	DWORD PTR _c$[ebp], eax

; 23   : 	return 0;

	xor	eax, eax

; 24   : }

	pop	edi
	pop	esi
	pop	ebx
	add	esp, 76					; 0000004cH
	cmp	ebp, esp
	call	__chkesp
	mov	esp, ebp
	pop	ebp
	ret	0
_main	ENDP
_TEXT	ENDS
END