您的位置:首页 > 其它

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

2017-09-03 22:18 525 查看


以上程序中,下列哪个函数调用会有问题()
A、b->FunctionD();
B、b->FunctionB();
C、b->FunctionA();
D、b->FunctionC();

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

1

2

3

4
class 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

2
A a;

a.func(2);
其实在编译器看来,是这个样子的:

1A_func(&a, 2);
如果这么说的话,也许你就理解了,为什么对象是NULL的时候还可以调成员函数:

1

2

3

4

5

6
A *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

6
class 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

8
A *pa = NULL;

pa->func(2);

//在编译器看来就好像是 A_func(pa, 2);且pa==NULL

((A*)NULL)->func(2);

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

//好吧我承认这段代码跟上面的一毛一样啦!
此时程序会崩溃!为什么?因为this指针是NULL,而你访问了它的y变量!
----又是我哈哈哈-----
结论:

通过对象调用成员函数,对象的指针会被传入函数中,指针名称为this

因此NULL对象指针也可以调用成员函数

NULL对象指针调用成员函数时,只要不访问此对象的成员变量,则程序正常运行

NULL对象指针调用成员函数时,一旦访问此对象的成员变量,则程序崩溃

下面是我加的
同理,当在调用虚函数时,对于一个虚拟函数调用
如b->FunctionB();
将会被转化成 (*b->vptr[1])(b),vptr表示由编译器产生的指针,指向virtual table,而1是virtual table slot的索引值,关联到FunctionB函数,此时b为NULL,因此肯定无法访问,出现错误。
内容来自用户分享和网络整理,不保证内容的准确性,如有侵权内容,可联系管理员处理 点击这里给我发消息
标签: