为什么指针为NULL还能调用成员函数？

以上程序中，下列哪个函数调用会有问题（）

A、b->FunctionD();

B、b->FunctionB();

C、b->FunctionA();

D、b->FunctionC();

要理解这个的话。。。成员函数其实可以认为是一个普通的函数，比如

1
2
3
4class A{
public:
void func(int x) { cout<<"hello, A. x="<<x<<endl; }
};

在编译器看来，大概就长这个样子吧：

1void A_func(A* this, int x) { cout<<"hello, A. x="<<x<<endl; }

你平时使用成员函数的时候，大概就是这样的：

1
2A a;
a.func(2);

其实在编译器看来，是这个样子的：

1A_func(&a, 2);

如果这么说的话，也许你就理解了，为什么对象是NULL的时候还可以调成员函数：

1
2
3
4
5
6A *pa = NULL;
pa->func(2);
//在编译器看来就好像是 A_func(pa, 2);且pa==NULL

((A*)NULL)->func(2);
//在编译器看来就好像是 A_func( ((A*)NULL), 2);

-----我是分割线-----

上面的例子中func函数里并没有使用成员变量。考虑有成员变量并且在成员函数里使用的情况，就会不一样了：

1
2
3
4
5
6class A{
private:
int y;
public:
void func(int x) { y = x; }
};

注意此时y是成员变量，编译器会自动给它加上this->，也就是

1void A_func(A* this, int x) { this->y = x; }

此时正常的情况就不用说了，说说用NULL对象指针调用成员函数的情况：

1
2
3
4
5
6
7
8A *pa = NULL;
pa->func(2);
//在编译器看来就好像是 A_func(pa, 2);且pa==NULL

((A*)NULL)->func(2);
//在编译器看来就好像是 A_func( ((A*)NULL), 2);

//好吧我承认这段代码跟上面的一毛一样啦！

此时程序会崩溃！为什么？因为this指针是NULL，而你访问了它的y变量！

----又是我哈哈哈-----

结论：

1. 通过对象调用成员函数，对象的指针会被传入函数中，指针名称为this
2. 因此NULL对象指针也可以调用成员函数
3. NULL对象指针调用成员函数时，只要不访问此对象的成员变量，则程序正常运行
4. NULL对象指针调用成员函数时，一旦访问此对象的成员变量，则程序崩溃

下面是我加的

同理，当在调用虚函数时，对于一个虚拟函数调用

如b->FunctionB();

将会被转化成 （*b->vptr[1]）(b),vptr表示由编译器产生的指针，指向virtual table，而1是virtual table slot的索引值，关联到FunctionB函数，此时b为NULL，因此肯定无法访问，出现错误。