C/C++多态及其实现原理

C/C++多态及其实现原理

多态的介绍

多态含义为一个事物有多种形态。在C ++程序设计中,多态性是指具有不同功能的函数可以用同一个函数名,这样就可以用一个函数名调用不同内容的函数。一般来说多态分为两种:

  • 静态多态:也称为编译时多态,主要包括参数多态,过载多态和强制多态。参数多态:采用参数化模板,通过给出不同的类型参数,使得一个结构有多种类型。如 C++语言中的函数模板和类模板属于参数多态。参数多态又叫静态多态,它的执行速度快,异常少,调用在编译时已经确定。过载多态:同一个名字在不同的上下文中所代表的含义不同。典型的例子是运算符重载和函数重载。强制多态:编译程序通过语义操作,把操作对象的类型强行加以变换,以符合函数或操作符的要求。程序设计语言中基本类型的大多数操作符,在发生不同类型的数据进行混合运算时,编译程序一般都会进行强制多态。程序员也可以显示地进行强制多态的操作。如 int+double,编译系统一般会把 int 转换为 double,然后执行 double+double 运算,这个int->double 的转换,就实现了强制多态,即可是隐式的,也可显式转换。强制多态属于静态多态。
     
  • 动态多态:也称运行时多态,主要包括:包含多态。包含多态的基础是虚函数。主要是通过类的继承和虚函数来实现,当基类和子类拥有同名同参同返回的方法,且该方法声明为虚方法,当基类对象,指针,引用指向的是派生类的对象的时候,基类对象,指针,引用在调用基类的方法,实际上调用的是派生类方法。

重载多态和强制多态是指特定多态, 重载多态和强制多态称为特殊多态性,用来刻画语义上无关联的类型间的关系;参数多态和包含多态是指通用多态,类型参数化多态和包含多态称为一般多态性,用来系统地刻画语义上相关的一组类型。

静态多态实现

静态多态靠编译器来实现,简单来说就是编译器对原来的函数名进行修饰。可以根据函数参数的类型,个数,以及修饰函数const,这就使得函数可以重载。同理,模板也是可以实现的,针对不同类型的实参来产生对应的特化的函数,通过增加修饰,使得不同的类型参数的函数得以区分。

动态多态的实现

动态多态靠运行时的类型检查,从而来进行函数的绑定。声明一个类时,如果类中有虚方法,则自动在类中增加一个虚函数指针,该指针指向的是一个虚函数表,虚函数表中存着每个虚函数真正对应的函数地址。动态多态采用一种延迟绑定技术,普通的函数调用,在编译期间就已经确定了调用的函数的地址,所以无论怎样调用,总是那个函数,但是拥有虚函数的类,在调用虚函数时,首先去查虚函数表,然后在确定调用的是哪一个函数,所以,调用的函数是在运行时才会确定的。

  • 虚表指针初始化问题

当创建子类对象时,编译器的执行顺序其实是这样的:

  1. 对象在创建时,由编译器对 vptr 进行初始化
  2. 子类的构造会先调用父类的构造函数,这个时候 vptr 会先指向父类的虚函数表
  3. 子类构造的时候,vptr 会再指向子类的虚函数表
  4. 对象的创建完成后,vptr 最终的指向才确定
  • 虚函数表的构成

具体的详细细节见https://blog.csdn.net/wenqiang1208/article/details/53148486

https://www.cnblogs.com/longcnblogs/archive/2017/10/09/7642951.html

  • 无覆盖的公有单继承:虚函数按声明顺序存在于虚表中; 在派生类中,前面是基类的虚函数,后面是派生类的虚函数。
  • 有覆盖的公有单继承:先拷贝基类的虚表;如果派生类重写了基类的虚函数,则修改同位置的基类虚函数;最后面是生类新定义的虚函数。

单继承的派生类的大小:虚表指针+ 基类的数据成员 + 派生类的成员

  • 多重继承:

多重继承派生类的大小:(例如有两个父类)——基类1的虚表指针+基类1的成员变量+基类2的虚表指针+基类2的成员变量+子类成员变量

如果派生类有新定义的虚函数,则存放在继承顺序第一的基类续表的最后面。

  • 菱形继承

如果派生类有新的虚函数,则添加在第一继承顺序的续表最后面。菱形继承存在二义性,由于直接父类都继承了祖父类的成员变量——导致修改一处,而另外一处没有修改(引起数据不一致性)。

  • 虚继承中的单继承

1. 没有构造函数和析构函数(少中间的0——所占的字节),派生类有新的虚函数

2. 没有构造函数和析构函数(少中间的0——所占的字节),派生类没有新的虚函数

3. 有构造函数和析构函数(多中间的0——所占的字节),派生类有新的虚函数

虚继承中派生类的构造函数做了什么

  • 虚继承中的多继承

  没有考虑构造函数或析构函数 ,派生类定义了新虚函数

  • 虚继承中的菱形继承

没有考虑构造函数或析构函数 ,派生类定义了新虚函数

 

 

 

 

  • 1
    点赞
  • 19
    收藏
    觉得还不错? 一键收藏
  • 1
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 1
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值