不使用全局函数如何编写线程类

         以下讨论内容仅限于Window系统和X86硬件架构。

         从汇编角度看程序，只能看到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);

}

        在这上代码中，我们调用了func，参数是a(10)，b(100)，返回值存放在c中，现在问题来了，参数a，b是怎么传进来的，函数返回值是怎么返回的呢？在Visual Studio中我们使用cl -c -FA x.c（假设代码文件为x.c）命令来汇编以上代码，输出的即是以上代码对应的汇编信息：

; 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

        从以上汇编代码中可以看出，调用函数时，默认情况下参数从右到左入栈，同时，函数返回值存放在eax中，我们可以使用以下代码测试：（在VS上输出110）

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);
}

        以上汇编代码和实际测试代码表明在Win32上，函数调用是使用eax作返回值的，现在问题来了，如果需要返回的对象特别大，超过4个字节（eax大小为4字节，rax为8），那怎么处理呢？在这种情况下，主调函数会在堆栈上多分配一块内存，然后被调函数将返回值存放在这块内存中，最后返回这块内存的首地址---放在eax中。我们使用以下代码作测试：

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);
}

将文件存为x.c，然后使用cl -c -FA x.c汇编代码，将会生成x.asm，打开之后内容如下：

; Listing generated by Microsoft (R) Optimizing Compiler Version 18.00.40629.0 

TITLE E:\tmp\x.c
.686P