父类指针能否找到子类成员及定位虚指针

本文探讨了C++中多态实现时,父类指针无法直接访问子类独有成员的原因。通过内存模型分析,揭示了虚指针作为对象首个元素以及其在构造过程中的变化。同时,解释了由于编译器无法确定子类结构,导致无法通过偏移找到子类成员。此外,文章还介绍了成员函数调用模型,指出成员函数会添加类名前缀以区分不同类的方法,从而解释了为何在多态调用中无法调用子类独有的成员函数。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

多态实现时,父类指针能否找到子类独有的成员:
先看如下代码:

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),也就是说会给每一个类中的函数添加一个标识,通过这种方法就可以知道这个函数具体属于那一个类。

所以在使用多态的时候,由于我们使用的是父类的指针,也就说传入的对象不论是父类还是子类,我们只能使用带有父类标识的函数,我们不知道传入子类对象的子类标识,所以也就无法调用。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值