刚想到一个问题,一直在思考C++中对象地址与接口指针的故事。
问题:多继承的情况下,一个具体类对象实现了多个接口,那么多该对象获取的不同接口指针是一样的吗?不是一样吗?不是对象地址吗?……
困惑原因,对于多态设计的类的具体对象的首地址是存放类属虚表指针,编译器通过此指针来访问多态方法调用入口。那么多继承情况下呢?该对象类属的虚表会如何设计呢?
此问题结合了多继承,那么必然也就该先想想C++对多继承的支持将是何种实现方式,通过读书读报,在一本名为《C++对象模型》的书得到点思想启示,当然很旧很旧之前我也试验过VS编译对多继承方式的疑问考证。确实,显然就组合各基类为基础再加以扩展。和组装模式差不多,不过继承提供了更高级的语义支持而已,主要就是接口访问层次的控制,比如封装一个类以组合对象为成员的形式,如果需要将该成员提供的接口表示成自己的实现则需要手工编写代理方法。而继承则为呈现不一样的概念。
那么显然,多继承之下的复合对象,获得到该对象的不同接口地址也必然不一样。如此说来,这些被多态描述的接口方法,终将以虚表指针的形式置于对象的某个部位,答案已经明确了,复合对象实现了多接口,那就可以是有多个虚表指针字段出现在不同的基础对象首部。
一个对象的虚表指针在哪里,并不一定就在该对象头部,要看继承组合次序。说在基础对象的首部应该就不会产生误区了。