谈谈今天的面试题：关于C++继承的编译器实现

今天面试了一个硬件公司，软件部分主要是做驱动和辅助软件的。面试官问的题目很简单：如果你设计C++语言的继承，你会怎么办。

首先是考虑单继承问题。我们都知道单继承时每个对象都带一个vptr，指向相应的vtable。那么形如

class A
{
public:
virtual void dosth() { dosth1... }
int dataA;
};
class B : public A
{
public:
virtual void dosth() { dosth2... }
int dataB;
};

的继承结构，如果有

B* ptr=new B;

void func(A* p)
{
p->dosth();
}

func(ptr);

这个结构，那么func接受到的指针是类型A的，如何知道这个object其实是B类型的？

我的答案是通过访问对象的虚表，即可得到对象的实际类型。

2. 现在考虑多重继承：

class C
{
public:
virtual void dosth1() {...}
int data;
};

class D: public A, public C
{
public:
virtual void dosth();
virtual void dosth1();
int dataD;
};

那么：

D* p1=new D;

void func1(C* p)
{
p->dosth1();
}

func1(p1);

这里func1得到的是p1指向的对象中C部分的指针，如何让函数知道它其实是一个D对象？

我的答案是在C对象处加上对应的vptr。

现在的问题就是：假设D中重载的dosth1()需要使用D的dataD，如何让func1调用dosth1()时得到正确的dataD的地址？

我的答案是在vtable中加入对不同基类的对应的偏移。他说还有更好的方法，不要访问vtable。我说在每个对象的基类部分中加入this指针的位置，他说这样浪费大量内存。

现在我就是想问问，有什么不访问vtable又能对对对象类型进行识别的方法？不使用RTTI的话怎么处理呢？