C++强制转换不同声明或类型的函数指针隐患

之前碰到一个问题，没有注意看函数指针的定义。造成一个错误，写到这里给自己一个提醒。也给大家看看我这个不小心的人犯的错误。嘿嘿！

先看段测试代码：

void test( int param )
{
int ret = 0;
for ( int i = 0; i < param; ++i )
{
ret += i;
}

ret >>= 16;
ret |= ( ret << 16 );
}

typedef bool ( *PFUNC )( int args );

int main( void )
{
PFUNC Func;
Func = ( PFUNC )test;

if ( Func( 200 ) )
{
cout << "good" << endl;
}
else
{
cout << "bad" << endl;
}

return 0;
}

这段代码里面，我故意把test函数里面的内容多写几步，让它有“效果”。在游戏程序里面，一个函数可能有很多的语句，这里只是简单演示下我的错误- -。我们的函数指针声明是：

typedef bool ( *PFUNC )( int args );

它指向的是返回值为bool，参数为int类型的函数。而我定义的test函数是没有返回值的。来看看程序输出会是什么。

这里可以说，输出的结果是未知的。因为不知道Func( 200)的返回值是多少。可能有的朋友会疑问，这里的test函数不是没有返回值吗？

这里就要牵涉到汇编层面我们的返回值如果是在32位以内的话，都会放到eax里面。我们没有返回值，而通过强制类型转换。这里能通过编译了。但是在test函数结束时，eax寄存器里面的值是不确定的。当我们判断

if ( Func( 200 ) )这个条件也就是不确定的。在游戏程序中，这样的错误是不允许的。也可以说是严重的。

可能也有朋友会问为什么EAX的值是不确定的呢？ 因为eax是通用寄存器，在函数内部，它通常用来保存一些临时值。所以改变的因素就很大。不确定性也就很大。

看看test的调试版本反汇编代码：

test:
004170B0 push ebp
004170B1 mov ebp,esp
004170B3 sub esp,0D8h
004170B9 push ebx
004170BA push esi
004170BB push edi
004170BC lea edi,[ebp-0D8h]
004170C2 mov ecx,36h
004170C7 mov eax,0CCCCCCCCh
004170CC rep stos dword ptr [edi]
004170CE mov dword ptr [ret],0
004170D5 mov dword ptr [i],0
004170DC jmp test+37h (4170E7h)
004170DE mov eax,dword ptr [i]
004170E1 add eax,1
004170E4 mov dword ptr [i],eax
004170E7 mov eax,dword ptr [i]
004170EA cmp eax,dword ptr [param]
004170ED jge test+4Ah (4170FAh)
004170EF mov eax,dword ptr [ret]
004170F2 add eax,dword ptr [i]
004170F5 mov dword ptr [ret],eax
004170F8 jmp test+2Eh (4170DEh)
004170FA mov eax,dword ptr [ret]
004170FD sar eax,10h
00417100 mov dword ptr [ret],eax
00417103 mov eax,dword ptr [ret]
00417106 shl eax,10h
00417109 or eax,dword ptr [ret]
0041710C mov dword ptr [ret],eax
0041710F pop edi
00417110 pop esi
00417111 pop ebx
00417112 mov esp,ebp
00417114 pop ebp
00417115 ret

改变eax的地方我已经标注为红色，我们能准确知道最后改变后的eax的值吗？ 主函数里面还等着这个eax的值呢 - -

答案是不能，况且在复杂的游戏服务器程序中。这里只是单是返回值不同。还有参数不同的强制类型转换，参数和返回值都不同的强制类型转换。这种不小心的操作，很可能导致程序越界，溢出等而崩溃。

希望大家不要像我这么粗心哈。 嘿嘿。睡觉。。真睡了- -