多重继承下，不同基类指针指向同一子类对象的地址

原文：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的函数调用的是基类里的函数