naked 函数调用

正常的情况下，我们写一个 C/C++ 函数，即使是一个空函数，编译器也为我们做了不少的工作，生成了一些“必要”的代码。请看下面的函数 (为了说明问题随便写的):

int Test()
{ 
    int iReturn;
    char szTemp[33];
    szTemp[0] = 'A';
    szTemp[1] = '';
    iReturn = MessageBox(NULL, szTemp, szTemp, MB_OK);
    MessageBeep(iReturn);
    return iReturn;
 }

下面是用 VC6 在 Release 方式下编译后的的反汇编代码:

00401000   sub         esp,24h     // 增加堆栈空间存放局部变量 (24H = 36D，4 字节对齐，注意这里没有为 iReturn 分配空间)
00401003   push        esi         // 保存要使用的重要寄存器
00401004   lea         eax,[esp+4] // 下面是传递 MessageBox() 要使用的参数
00401008   push        0
0040100A   lea         ecx,[esp+8] // 编译器愚蠢，根本不用 ECX，两个都是 szTemp，两次 PUSH EAX 不得了
0040100E   push        eax
0040100F   push        ecx
00401010   push        0
00401012   mov         byte ptr [esp+14h],41h
00401017   mov         byte ptr [esp+15h],0
0040101C   call        dword ptr ds:[40509Ch] // 调用 MessageBox()
00401022   mov         esi,eax     // 保存返回值到变量 iReturn 。靠！变量 iReturn 自动使用 ESI，编译器太聪明了：）
00401024   push        esi
00401025   call        dword ptr ds:[4050A0h] // 调用 MessageBeep()
0040102B   mov         eax,esi     // 把变量 iReturn 交给 EAX 作为返回值
0040102D   pop         esi         // 恢复要使用的重要寄存器
0040102E   add         esp,24h     // 减少堆栈空间
00401031   ret                     // 堆栈长度减 4 并返回

这段代码虽然很精干 (都能自动使用寄存器来保存变量了)，但是有的时候我们并不需要编译器提供这些自作主张的代码 (比如写驱动程序的时候，不过我还没遇到过这种情况，呵呵~~)，我们希望整个全部函数都是自己亲手写进去的 (BT 呀^o^)。好，请出今天的主角 —— “naked”(怎么是裸体呀？)，欢迎！Visual C++ 的扩展关键字 naked 允许我们完全定制一个函数，废话不说了，看例子 (熬夜写的 Zzzzzz~~):

__declspec(naked) int Test()
{ 
    __asm
    { 
        SUB         ESP,24H
        PUSH        ESI
        LEA         EAX,[ESP+4]
        PUSH        0                      
        PUSH        EAX                    
        PUSH        EAX                    
        PUSH        0                      
        MOV         BYTE PTR [ESP+14H],41H 
        MOV         BYTE PTR [ESP+15H],0   
        CALL        DWORD PTR [MessageBoxA] 
        MOV         ESI,EAX
        PUSH        ESI                    
        CALL        DWORD PTR [MessageBeep] 
        MOV         EAX,ESI
        POP         ESI
        ADD         ESP,24H
        RET
     }
 }

上面的代码是使用的 VC 的内联汇编，和 VC 编译后生成的代码完全是一样的 (很有完全控制的成就感吧^_^)。上面我们并没有又节省什么 (节省的 PUSH ECX 并不是 naked 的功劳)，但是有的时候确实需要的 (举不出例子来了，倒！)。最后随便说说注意事项: 

1.使用 naked 关键字需要自己构建 EBP 参数指针 (如果用到了 EBP 作为参数指针的话)；
2.必须自己使用 RET 或 RET n 指令返回 (除非你不返回)。