类指针与NULL

给定如下代码，给出输出结果

class Person{ public: void hi(){ cout<<"Hi"<<endl; } }; class Intern{ public: Intern(int a){ i=a; } void hi(){ cout<<"Hi "<<i<<endl; } private: int i; }; int main(){ Person *p=new Person; p->hi(); p=NULL; p->hi(); Intern *i=new Intern(1); i->hi(); i=NULL; i->hi(); return 0; }

输出结果为：

1）Hi
2）Hi                                                  //这里p=NULL后还能正确调用p->hi()并输出Hi
3）Hi 1

4）然后再输出i->hi()的时候程序挂掉了～

在讨论为什么第二个p->hi()能有结果而第二个i->hi()程序奔溃之前请再看下面一个例子

class CTest { public: void sayHello(); private: char name[20]; } void CTest::sayHello(){ cout<<"Hello"<<endl; } int main() { (CTest*)(NULL)->sayHello(); return 0; }

注意在main函数里面出现了(CTest*)(NULL)->sayHello()但是依然能正确输出结果。

综合上述两个例子，分析如下(下述内容引自http://shokey520.ycool.com/post.2965150.html)：

 

在C++中，一个类对象只有成员变量才有内存地址，成员函数是不占内存的。因为类不需要为每一个实例化出来的对象产生函数内存地址，而是让所有对象共用一个类的函数地址。要调用一个类的成员函数，只需要知道该类是什么类型就可以了。（CTest*）强制转换就是为了告诉编译器这个是CTest对象的指针，然后根据将该类的成员函数地址放进调用的地方。同理，p=NULL后但是p仍然为Person类型，所以可以调用p->hi()。查看程序的汇编码会看到，在调用方法的时候是跳到一个函数地址，这个地址是在main函数之前的。
((CTest*)(0))->sayHello();
004024A8 xor ecx,ecx
004024AA call @ILT+55(CTest::sayHello) (0040103c)

@ILT+55(?sayHello@CTest@@QAEXXZ):
0040103C jmp CTest::sayHello (00401170)

void CTest::sayHello()
{
00401170 push ebp
00401171 mov ebp,esp
……

所以上述代码是可以正确运行的，这样做的目的是为了不产生一个局部对象。常见做法可能是
CTest a;
a.sayHello();

但是如果在调用的成员函数中用到了成员变量，那么就会产生异常（就像i->hi()一样，因为Intern类的hi()成员函数里面有一个成员变量i，因此当i=NULL的时候再调用i->hi()则发生异常）。因为类为其每个对象都分配了一个成员变量用的内存空间，必须根据类指针去取。这里我们的类指针是指向NULL的，会产生非法内存访问。