孔乙己之一----this

<iframe align="center" marginwidth="0" marginheight="0" src="http://www.zealware.com/csdnblog.html" frameborder="0" width="728" scrolling="no" height="90"></iframe>

本文作者:sodme
本文出处:http://blog.csdn.net/sodme
声明: 本文可以不经作者同意, 任意复制, 转载, 但任何对本文的引用都请保留文章开始前三行的作者, 出处以及声明信息. 谢谢.

这是一个小问题, 孔乙己一把, 全当自娱. 今天在线上被问到一个问题, 描述如下:

#include <iostream><br>using namespace std;<br><br>class MyClass<br>{<br>public:<br> MyClass(){};<br> ~MyClass(){};<br> void print()<br> {<br> cout }<br>};<br><br>int main()<br>{<br> MyClass * pMyClass;<br> pMyClass = new MyClass;<br> pMyClass-&gt;print(); // 1: 正确调用<br> pMyClass[0].print(); // 2: 正确调用<br> pMyClass[1].print(); // 3: 错误调用, 但结果正确<br> pMyClass[10000000].print(); // 4: 错误调用, 但结果正确<br><br> return 0;<br>}<br><br><br>这位兄弟有疑问的是: 为什么3和4两种方法, 下标不正确, 而其结果却完全正常? 显示的结果是:<br>hello!<br>hello!<br>hello!<br>hello!<br><br>我把程序改了改, 将类MyClass调整成以下结构:<br>class MyClass<br> {<br> public:<br> MyClass(){ data1 =1; data2=2;};<br> ~MyClass(){};<br> int data1,data2;<br> void print()<br> {<br> cout }<br> };<br><br>再次编译(编译环境是gcc 4.2), 执行, 结果如下:<br>hello! data1: 1 data2: 2<br>hello! data1: 1 data2: 2<br>hello! data1: 0 data2: 135153<br>段错误<br><br>这其实又是一个老生常谈的问题. 要搞清这个问题, 就得先弄明白类函数是如何被编译以及如何被执行的? 关于这点, "C++对象模型"上有甚为详细的讲解, 在此一笔带过:<br>对于类成员函数而言, 并不是一个对象对应一个单独的成员函数体, 而是此类的所有对象共用这个成员函数体, 当程序被编译之后, 此成员函数地址即已确定. 我们常说, 调用类成员函数时, 会将当前对象的this指针传给成员函数. 没错, 一个类, 它的成员函数体只有一份, 而成员函数之所以能把属于此类的各个对象的数据区别开, 就在于每次执行类成员函数时, 都会把当前对象的this指针(也即对象首地址)传入成员函数, 函数体内所有对类数据成员的访问, 都会被转化为this-&gt;数据成员的方式.<br><br>说到这里, 问题也就清楚了. 当print函数里, 只有"cout <br>但是, 还有另一个问题, 当把类MyClass再作一次调整, 成这样:<br>class MyClass<br> {<br> public:<br> MyClass(){ data1 =1;};<br> ~MyClass(){};<br> int data1;<br> void print()<br> {<br> cout }<br> };<br><br>也就是只含有一个int类型的数据成员时, pMyClass[1].print()的访问结果有时却是正确的(不同的机子上会有不同的结果). 我想, 这个只能解释为地址对齐所造成的了(暂时存疑, 查证中, 欲知后事, 下回分解).<br><br><br></iostream>