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