多态与虚函数

多态概念

多态是c++的特征之一
多态性(polymorphism)提供接口与具体实现之间的另一层隔离,从而将”what”和”how”分离开来。多态性改善了代码的可读性和组织性,同时也使创建的程序具有可扩展性,项目不仅在最初创建时期可以扩展,而且当项目在需要有新的功能时也能扩展。

多态的分类:

静态多态(静态联编):函数入口地址 是在 编译阶段 确定(运算符重载、函数重载)
动态多态(动态联编):函数入口地址 是在 运行阶段 确定(虚函数)

基类指针、引用

class Animal
{
public:
    void sleep(void)
    {
        cout<<"animal 动物在睡觉"<<endl;
    }
};

class Cat:public Animal
{
public:
    void sleep(void)
    {
        cout<<"Cat 猫在睡觉!! 喵喵"<<endl;
    }
};
void test01()
{
    //用基类(指针或引用) 保存 子类对象(向上转换)
    Animal *p = new Cat;
    p->sleep();//调用的是基类的sleep

    Cat cat;
    Animal &ob = cat;
    ob.sleep();//调用的是基类的sleep
}

基类指针、引用只能访问子类对象中基类部分数据

虚函数

使用virtual修饰成员函数 该成员函数就是虚函数。

class Animal
{
public:
    //虚函数 
    virtual void sleep(void)
    {
        cout<<"animal 动物在睡觉"<<endl;
    }
};

在这里插入图片描述
vfptr(虚函数指针)指向 vftable(虚函数表)
vftable表存放的是 vfptr做保存的函数入口地址

如果 Animal没有涉及到继承 函数指针变量 就指向自身sleep

class Animal
{
public:
    //虚函数 本质 是一个函数指针变量
    virtual void sleep(void)
    {
        cout<<"animal 动物在睡觉"<<endl;
    }
};
void test01()
{
    Animal ob;
    ob.sleep();//animal 动物在睡觉
}

涉及到继承

class Animal
{
public:
    //虚函数 本质 是一个函数指针变量
    virtual void sleep(void)
    {
        cout<<"animal 动物在睡觉"<<endl;
    }
};
class Cat:public Animal
{
public:
    virtual void sleep(void)
    {
        cout<<"猫在睡觉!!喵喵"<<endl;
    }
};
void test01()
{
    Animal *p = new Cat;
    p->sleep();//调用的是cat中sleep
}

总结:

当虚函数涉及到继承的时候子类会继承父类的虚函数指针(vfptr) 虚函数表(vftable),编译器会将虚函数表中的函数入口地址 更新成子类的同名(返回值、参数都相同)的函数入口地址。
如果基类指针、引用,访问虚函数的时候就会间接的调用子类的虚函数。

问题:C++的动态捆绑机制是怎么样的?

首先,我们看看编译器如何处理虚函数。当编译器发现我们的类中有虚函数的时候,编译器会创建一张虚函数表,把虚函数的函数入口地址放到虚函数表中,并且在类中秘密增加一个指针,这个指针就是vpointer(缩写vptr),这个指针是指向对象的虚函数表。在多态调用的时候,根据vptr指针,找到虚函数表来实现动态绑定。

  • 1
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 1
    评论
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值