MI的C++虚表布局(多重继承)
MI的C++虚表布局(多重继承)
提问于 2013-04-10 17:00:09
请看下面的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有人告诉我为什么？谢谢。
回答 2
Stack Overflow用户
发布于 2013-04-10 17:06:15
首先，我要提醒大家，实现多态性的解决方案的设计是ABI在标准之外的决定。例如，MSVC和安腾ABI (紧随其后的是gcc，clang，icc，...)有不同的方式实现这一点。
有了这一点，我认为这是一个查找的优化。
每当您有一个Derived对象(或其后代对象)并查找mumble成员时，实际上不需要找到Base2子对象，但可以直接从Base1子对象执行操作(其地址与Derived子对象一致，因此不涉及算法)。
Stack Overflow用户
发布于 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()也被覆盖了，但它在不同的类中返回不同的类型，这是另一个签名)。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/15921372
复制相关文章
相似问题