多重继承下,不同基类指针指向同一子类对象的地址问题——腾讯一笔试题


原文:http://www.haogongju.net/art/1694028

多继承时,父类指针指向子类对象时,父类指向的不是子类开始地址,而是子类中对应父类的结构的类对象的基地址,所以,当多个父类指向同一个子类时,父类的指针值其实是不一样的。


5.观察下面一段代码: 
class ClassA 

public: 
virtual ~ ClassA(){}; 
virtual void FunctionA(){}; 
}; 


class ClassB 

public: 
   virtual void FunctionB(){}; 
}; 


class ClassC : public ClassA,public ClassB 

public: 
}; 
  
ClassC aObject; 
ClassA* pA=&aObject; 
ClassB* pB=&aObject; 
ClassC* pC=&aObject; 


关于pA,pB,pC的取值,下面的描述中正确的是: 
A.pA,pB,pC的取值相同.               B.pC=pA+pB 
C.pA和pB不相同                      D.pC不等于pA也不等于pB


这个是多重继承的问题。在《Thinking in C++》第二卷的363页看到重复子对象这部分的内容,明白了怎么回事。

以上两个基类均含有虚函数,故其大小至少有一个虚函数表的指针大小,结构大概是这样的:


ClassA类数据成员
ClassB类数据成员
ClassC类其他数据成员

可以看出对象aObject以ClassA子对象开头,然后是ClassB子对象部分,最后的部分来自ClassC类本身。ClassC的对象既是一个ClassA也是一个ClassB。

故aObject可以向上类型转换到两者中任何一个基类型。


当向上类型转换为ClassA时,结果指针指向ClassA子对象部分,刚好在ClassC对象的开始位置,所以地址pA和pC是相同的。

当向上类型转换到ClassB时,结果指针必须指向ClassB子对象所在的实际位置,因为类ClassB并不知道有关ClassC的事情。

所以上题的答案应为C。


但是这个地方有个好玩的现象:

如果添加如下代码:cout<<"pC==pB?"<<boolalpha<<(pC==pB)<<endl;

则返回值永远都是true,尽管他们的地址输出的时候并不相同。因为pC在pC==pB的过程中被隐式转换为ClassB*,以使得比较有意义。




基类子类在内存中的存储

class a 
{

public: 
int aa

}; 


class b:public a 
{

public: 
int bb; 

从内存的来看 
如a 
---------| 
|占一个int数据大小--| 
|----(aa数据)------| 
|--------- 
而b则是 
---------|--------- 
|占一个int数据大小--|占一个Int数据大小--| 
|从a中继承而来------|---(bb数据----------| 
|------------------ 
当定义一个基类类型的指针时 
a *p;这时,这个指针指向的是a类型的数据 
当p指针指向派生类的时候,因为p是a类型的指针,所以*p只解释为a类型数据的长度,即 
————————-|--------- 
|占一个int数据大小--|占一个Int数据大小--| 
|从a中继承而来------|-----(bb数据)-------| 
|------------------ 
|------------|------------| 
|-p只指向这个区域_--| 

因此,当基类的指针(P)指向派生类的时候,只能操作派生类中从基类中继承过来的数据。 
指向派生类的指针,因为内存空间比基类长,会导致严重了后果,所以不允许派生类的指针指向基类。而基类的指针可以指向派生类。 

C++的多态性能解决基类指针不能操作派生类的数据成员的问题。

 

用C++比较好说明白:       
  1:指针的可访问性是由指针的定义决定的,比如说用BaseClass定义的指针,可访问的范围就是BaseClass的内存区域       
  2:允许用一个指向基类的指针指向派生类,由于被指向的对象的内存空间大于指针的可访问空间,所以这种向上映射是安全的       
  3:对象在调用虚函数的时候,是调用父类的函数还是调用派生类的函数,是和对象的类型有关的,比如说一个派生类B,其父类是A,则B的对象调用父类中被声明为VIRTUAL的函数时,被B   所OVERRIDE的函数调用的是B里的函数,而B没有OVERRIDE的函数调用的是基类里的函数 

发布了19 篇原创文章 · 获赞 40 · 访问量 7万+
發表評論
所有評論
還沒有人評論,想成為第一個評論的人麼? 請在上方評論欄輸入並且點擊發布.
相關文章