反匯编角度分析VC++面向对象机制.docVIP

//target:从内存角度熟悉VC++面向对象机制作为MFC编程的基础 //author:by Reduta //descritption:IA32 + win sp3 + vc6.0 /OD 1.10 一：构造函数的之争 1.1：构造函数是有返回值的——返回当前对象的this指针 基本打开每一本C++的教程，都会对构造函数有如此类似的描述“构造函数无返回值，可进行函数重载”，但是事实上又如何呢？答案是构造函数具备返回值，返回值为当前对象的this指针。编写如下代码: //示例 #include iostream using namespace std; class test { int a; public: test(); void show(); }; test::test() { a=1; } void test::show() { coutaendl; } int main() { test hacker;//调用构造函数 eax为构造函数返回值 __asm { //借助返回值修改对象数据成员 mov dword ptr ss:[eax],2 } //查看修改是否成功 hacker.show(); return 0; } 执行上面的程序，对象hacker的数据成员a的值将变为2，将程序载后OD，看关键代码： 8D4D FC lea ecx,dword ptr ss:[ebp-4] ;hacker的this指针 0040158B E8 AFFCFFFF call api.0040123F ;构造函数 36:C700 mov dword ptr ss:[eax],2 ;修改对象的数据成员 8D4D FC lea ecx,dword ptr ss:[ebp-4] ;hacker的this指针 0040159A E8 0FFCFFFF call api.004011AE ;hacker的show函数 执行到401590时，注意观察eax与ecx的值，如图1所示， eax和ecx的值是一样的，说明构造函数的确是有返回值，且返回值为当前对象的this指针，重新载入OD，在构造函数处，F7跟进，如图2所示 ，用红框标识的为关键代码，即构造函数，最后都会执行一句指令，将当前对象的this指针保存到eax中，而eax是函数的返回值。不管是debug版的程序还是release版程序都会执行类似的指令，即无论何时，构造函数将返回当前对象的this指针。 1.2:构造函数并不一定是函数——inline内联的影响 看到构造函数并不一定是函数，你可能觉得可笑，这主要受inline内联的影响。 如果将上面的构造函数定义在类作用域内即如下代码，此时测试release版本程序会发现，执行结果依然为1，如图3所示， 即修改未遂，release版与debug版程序的最大区别在于代码优化，使用release版，基本所有的inline函数都能得到扩展，即此时构造函数并不是一个函数，而只是指令扩展。将release版程序载入OD，跟进主函数，发现如下代码： 55 push ebp 8BEC mov ebp,esp 51 push ecx C745 FC mov dword ptr ss:[ebp-4],1 ;构造函数代码处 0040102B 36:C700 mov dword ptr ss:[eax],2 8D4D FC lea ecx,dword ptr ss:[ebp-4] E8 C6FFFFFF call api0040103A 33C0 xor eax,eax 0040103C 8BE5 mov esp,ebp 0040103E 5D pop ebp 0040103F C3 retn 并没有将test()构造函数进行显示调用，此时的test()构造函数只有一句代码即mov dword ptr ss:[ebp-4],1。 1.3：