多态的实现原理探究

本文主要介绍了C++多态的实现原理。当类中声明虚函数时,编译器会生成虚函数表,存储类成员函数指针,每个有虚函数的对象都有指向虚函数表的指针。多态成立需满足继承、虚函数重写、父类指针指向子类对象三个条件,通过代码示例展示了多态的实现。

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

理论知识:

  • 当类中声明虚函数时,编译器会在类中生成一个虚函数表
  • 虚函数表是一个存储类成员函数指针的数据结构
  • 虚函数表是由编译器自动生成与维护的
  • virtual成员函数会被编译器放入虚函数表中
  • 当存在虚函数时,每个对象中都有一个指向虚函数表的指针(C++编译器给父类对象、子类对象提前布局vptr指针;当进行howToPrint(Parent *base)函数时,C++编译器不需要区分子类对象或者父类对象,只需要再base指针中,找vptr指针即可。) 
  •  VPTR一般作为类对象的第一个成员

多态的实现原理

C++中多态的实现原理

当类中声明虚函数时,编译器会在类中生成一个虚函数表

虚函数表是一个存储类成员函数指针的数据结构

虚函数表是由编译器自动生成与维护的

virtual成员函数会被编译器放入虚函数表中

存在虚函数时,每个对象中都有一个指向虚函数表的指针(vptr指针)

说明1:

通过虚函数表指针VPTR调用重写函数是在程序运行时进行的,因此需要通过寻址操作才能确定真正应该调用的函数。而普通成员函数是在编译时就确定了调用的函数。在效率上,虚函数的效率要低很多。

说明2:

出于效率考虑,没有必要将所有成员函数都声明为虚函数

说明3 :C++编译器,执行HowToPrint函数,不需要区分是子类对象还是父类对象


#include <iostream>
using namespace std;

//多态成立的三个条件 
//要有继承  虚函数重写  父类指针指向子类对象 

class Parent
{
public:
    Parent(int a=0)
    {
        this->a = a;
    }

    virtual void print()  //1 动手脚  写virtal关键字 会特殊处理 //虚函数表
    {
        cout<<"我是爹"<<endl;
    }
    virtual void print2()  //1 动手脚  写virtal关键字 会特殊处理 //虚函数表
    {
        cout<<"我是爹"<<endl;
    }
private:
    int a;
};

class Child : public Parent
{
public:
    Child(int a = 0, int b=0):Parent(a)
    {
        this->b = b;
    }

    virtual void print()
    {
        cout<<"我是儿子"<<endl;
    }
private:
    int b;
};

void HowToPlay(Parent *base)
{
    base->print(); //有多态发生  //2 动手脚  
    //效果:传来子类对 执行子类的print函数 传来父类对执行父类的print函数 
    //C++编译器根本不需要区分是子类对象 还是父类对象
    //父类对象和子类对象分步有vptr指针 , ==>虚函数表===>函数的入口地址
    //迟绑定 (运行时的时候,c++编译器才去判断)
}

void main()
{

    Parent    p1; //3 动手脚 提前布局  
                //用类定义对象的时候 C++编译器会在对象中添加一个vptr指针 
    Child    c1; //子类里面也有一个vptr指针

    HowToPlay(&p1);
    HowToPlay(&c1);

    cout<<"hello..."<<endl;
    system("pause");
    return ;
}

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值