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*,以使得比较有意义。