多态实现时,父类指针能否找到子类独有的成员:
先看如下代码:
class Parent
{
public:
int a;
int b;
void SetA(int a)
{
this->a = a;
}
virtual void printA()
{
cout << "Parent" << endl;
}
};
class Child:public Parent
{
public:
int c;
void SetC(int c)
{
this->c = c;
}
virtual void printA()
{
cout << "Child" << endl;
}
};
void Func(Parent *p)
{
p->c;//用父类指针调用子类独有的成员变量
p->SetC(10);//用父类指针调用子类独有的成员函数
}
int main()
{
Child C;
Func(&C);
system("pause");
}
在编译的时候30和31行会报错
这也就是说多态的实现时,无法通过父类的指针去找到子类独有的元素(如果是父类的引用也同理)。
接下来将从内存模型和调用成员函数的模型角度讨论,如何定位到虚指针以及为什么在使用多态时无法找到子类的成员变量,成员函数。
1 如何定位到虚指针及对象寻找成员变量的内存模型:
这里可以看到子类对象C和他的虚指针的首地址是相同的,也就是说虚指针如果存在则必须是对象的第一个元素。
这里为了方便观察我们使用调试技巧,手动修改a、b、c的值
C对象的首地址是0026FA3C,从这个地址进入,可以看到虚指针确实是第一个元素,也就是说知道对象的首地址,那么就可以知道虚指针的地址(如果存在)。
我们知道虚指针指向一个虚函数表,这里012DDC88便是虚函数表的地址。(虚指针是从父类继承而来(如图),在创建子类对象时先调用父类的构造函数,是虚指针指向父类的虚函数表;然后在调用子类自身的构造函数,再使虚指针指向子类的虚函数表。)
虚指针之后则按照声明的先后顺序,依次是父类的a、b再试子类独有的c。
也就是说在使用多态的时候,因为使用的是父类指针,编译器很清楚的知道偏移多少个字节可以找到对应的变量,但是他不知道子类的结构,更不知道变量c是子类的第几个变量,以及c之前每个变量的大小,因此也就无法通过偏移来找到c。
注:如果不包含虚函数的话,那对象则不会包含虚指针
2 调用成员函数的模型:
通过上面的分析我们知道,编译器无法通过偏移来找到子类的成员变量。但是我们知道成员函数是放在代码区,与成员变量并不是放在一起,那么为什么也无法找到子类独有的成员函数呢?
要解决这个问题,先要知道C++面向对象模型(可以参照:[http://blog.youkuaiyun.com/nwd0729/article/details/46861429])
![]()
这里可以知道定义一个Test类时,会把他其中的成员函数都会加上一个类名前缀,如int getI(),经过编译器处理之后会变成int Test_getI(Test *pThis),也就是说会给每一个类中的函数添加一个标识,通过这种方法就可以知道这个函数具体属于那一个类。
所以在使用多态的时候,由于我们使用的是父类的指针,也就说传入的对象不论是父类还是子类,我们只能使用带有父类标识的函数,我们不知道传入子类对象的子类标识,所以也就无法调用。