构造函数 中调用虚函数的问题

复制代码
 1 #include <iostream>
 2 using namespace std;
 3 
 4 struct C180
 5 {
 6     C180() {
 7         foo();
 8         this->foo();
 9     }
10     virtual void foo() {
11         cout << "<< C180.foo this: " << this << " vtadr: " << *(void**)this << endl;
12     }
13 };
14 struct C190 : public C180
15 {
16     C190() {}
17     virtual void foo() {
18         cout << "<< C190.foo this: " << this << " vtadr: " << *(void**)this << endl;
19     }
20 };
21 
22 void main ()
23 {
24     C190 obj;
25     obj.foo(); 
26 }
复制代码

父类中有一个虚函数,并且父类在它的构造函数中调用了这个虚函数,调用时它采用了两种方法一种是直接调用,一种是通过this指针调用。同时子类又重写了这个虚函数。

  我们可以来预测一下如果构造一个C190的对象会发生什么情况。

  我们知道,在构造一个对象时,过程是这样的:
        1) 首先会按对象的大小得到一块内存(在heap上或在stack上),
        2) 把指向这块内存的指针做为this指针来调用类的构造函数,对这块内存进行初始化。
        3) 如果对象有父类就会先调用父类的构造函数(并依次递归),
如果有多个父类(多重继承)会依次对父类的构造函数进行调用,并会适当的调整this指针的位置。在调用完所有的父类的构造函数后,再执行自己的代码。

  照上面的分析构造C190时也会调用C180的构造函数,这时在C180构造函数中的第一个foo调用为静态绑定,会调用到C180::foo()函数。第二个foo调用是通过指针调用的,这时多态行为会发生,应该调用的是C190::foo()函数。
而执行结果:
<< C180.foo this: 0012F7A4 vtadr: 0045C404
<< C180.foo this: 0012F7A4 vtadr: 0045C404
<< C190.foo this: 0012F7A4 vtadr: 0045C400

和我们的分析大相径庭。前2行是构造C190时的输出,后1行是我们用静态绑定方式调用的C190::foo()函数。第2行的输出说明多态行为并没有象预期的那样发生。而且比较输出的最后一列,发现在调用C180的构造函数时对象对应的虚表和构造后对象对应的虚表不是同一个。其实这正是奥秘的所在。

  为此我查了一下C++标准规范。在12.7.3条中有明确的规定。这是一种特例,在这种情况下,即在构造子类时调用父类的构造函数,而父类的构造函数中又调用了虚成员函数,这个虚成员函数即使被子类重写,也不允许发生多态的行为。即,这时必须要调用父类的虚函数,而不子类重写后的虚函数。

  我想这样做的原因是因为在调用父类的构造函数时,对象中属于子类部分的成员变量是肯定还没有初始化的,因为子类构造函数中的代码还没有被执行。如果这时允许多态的行为,即通过父类的构造函数调用到了子类的虚函数,而这个虚函数要访问属于子类的数据成员时就有可能出错。


引用自:http://www.cnblogs.com/xuxu8511/archive/2012/10/07/2714025.html

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值