请看下面的C++代码
class Base1 {
public:
Base1();
virtual ~Base1();
virtual void speakClearly();
virtual Base1 *clone() const;
protected:
float data_Base1;
};
class Base2 {
public:
Base2();
virtual ~Base2();
virtual void mumble();
virtual Base2 *clone() const;
protected:
float data_Base2;
};
class Derived : public Base1, public Base2 {
public:
Derived();
virtual ~Derived();
virtual Derived *clone() const;
protected:
float data_Derived;
};
“C++对象模型内部”4.2规定类Base1、Base2和Derived的虚表布局如下所示:
我的问题是:
派生类的Base1 subObject的虚表包含Base2::mumble
.Why?I知道派生类与Base1共享了这个虚表,所以我认为Base2的函数不应该出现here.Could有人告诉我为什么?谢谢。
发布于 2013-04-10 17:06:15
首先,我要提醒大家,实现多态性的解决方案的设计是ABI在标准之外的决定。例如,MSVC和安腾ABI (紧随其后的是gcc,clang,icc,...)有不同的方式实现这一点。
有了这一点,我认为这是一个查找的优化。
每当您有一个Derived
对象(或其后代对象)并查找mumble
成员时,实际上不需要找到Base2
子对象,但可以直接从Base1
子对象执行操作(其地址与Derived
子对象一致,因此不涉及算法)。
发布于 2016-03-13 21:40:48
在运行时,当您获得以下内容时:
Base2 b2;
Base1* b1_ptr = (Base1*)&b2;
b1_ptr->mumble(); // will call Base2::mumble(), this is the reason.
然后需要调用Base2::mumble()!注意,mumble()是唯一在层次结构中被覆盖的虚拟方法。(甚至,您可能认为clone()也被覆盖了,但它在不同的类中返回不同的类型,这是另一个签名)。
https://stackoverflow.com/questions/15921372
复制相似问题