以下讨论内容仅限于Window系统和X86硬件架构。
在这上代码中,我们调用了func,参数是a(10),b(100),返回值存放在c中,现在问题来了,参数a,b是怎么传进来的,函数返回值是怎么返回的呢?在Visual Studio中我们使用cl -c -FA x.c(假设代码文件为x.c)命令来汇编以上代码,输出的即是以上代码对应的汇编信息:
从以上汇编代码中可以看出,调用函数时,默认情况下参数从右到左入栈,同时,函数返回值存放在eax中,我们可以使用以下代码测试:(在VS上输出110)
以上汇编代码和实际测试代码表明在Win32上,函数调用是使用eax作返回值的,现在问题来了,如果需要返回的对象特别大,超过4个字节(eax大小为4字节,rax为8),那怎么处理呢?在这种情况下,主调函数会在堆栈上多分配一块内存,然后被调函数将返回值存放在这块内存中,最后返回这块内存的首地址---放在eax中。我们使用以下代码作测试:
将文件存为x.c,然后使用cl -c -FA x.c汇编代码,将会生成x.asm,打开之后内容如下:
从汇编角度看程序,只能看到mov,sub,div,xcmpchg等指令,函数,结构体,指针,数组等中级编程语言中的语法糖均不存在,至于C++,Java等高级语言中的对象,类,虚函数等更是不复存在,那么我们在高级语言中建议的语法糖在哪呢,它们是怎么被转化到汇编的呢?......
1,汇编之于函数调用
先看以下函数调用代码
int func(int x, int y){return x + y;}
int main(){int a = 10, b = 100;int c = func(a, b);}
; Listing generated by Microsoft (R) Optimizing Compiler Version 18.00.40629.0
TITLE E:\tmp\x.c
.686P
.XMM
include listing.inc
.model flat
INCLUDELIB LIBCMT
INCLUDELIB OLDNAMES
PUBLIC _func
PUBLIC _main
; Function compile flags: /Odtp
_TEXT SEGMENT
_c$ = -12 ; size = 4
_a$ = -8 ; size = 4
_b$ = -4 ; size = 4
_main PROC
; File e:\tmp\x.c
; Line 6
push ebp
mov ebp, esp
sub esp, 12 ; 0000000cH
; Line 7
mov DWORD PTR _a$[ebp], 10 ; 0000000aH
mov DWORD PTR _b$[ebp], 100 ; 00000064H
; Line 8
mov eax, DWORD PTR _b$[ebp]
push eax
mov ecx, DWORD PTR _a$[ebp]
push ecx
call _func
add esp, 8
mov DWORD PTR _c$[ebp], eax
; Line 9
xor eax, eax
mov esp, ebp
pop ebp
ret 0
_main ENDP
_TEXT ENDS
; Function compile flags: /Odtp
_TEXT SEGMENT
_x$ = 8 ; size = 4
_y$ = 12 ; size = 4
_func PROC
; File e:\tmp\x.c
; Line 2
push ebp
mov ebp, esp
; Line 3
mov eax, DWORD PTR _x$[ebp]
add eax, DWORD PTR _y$[ebp]
; Line 4
pop ebp
ret 0
_func ENDP
_TEXT ENDS
END
int func(int x, int y){
return x + y;
}
int main(){
int a = 10, b = 100, c;
int (*fptr)(int,int) =func;
__asm{
push b //b入stack
push a //a入stack
call fptr //jmp到func
mov c, eax //eax是返回值,用c存储
add esp, 8 //平衡stack
}
printf("%d\n",c);
}
typedef struct Record{
int ary[100];
int x;
}Record;
Record func(){
Record rc;
rc.x = 100;
return rc;
}
int main(){
Record r = func();
printf("%d", r.x);
}
; Listing generated by Microsoft (R) Optimizing Compiler Version 18.00.40629.0
TITLE E:\tmp\x.c
.686P