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 指令返回 (除非你不返回)。