请看下面的函数 (为了说明问题随便写的):
[复制到剪贴板] |
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”(怎么是裸体呀?),
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 指令返回 (除非你不返回)。