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

3.只有win32模式能用__asm ipf和和x64模式不能嵌入内联汇编。没什么特殊情况还是用intrinsic吧