结合虚表继承了解 多态的原理

所谓多态,指的是父类和子类在执行相同行为的时候,出现了不同的结果。下面要介绍的就是这其中的实现原理。


目录

一、案例介绍

二、虚函数表 和 虚表继承

1、虚函数表

2、虚表继承

(1) 子类未重写父类虚函数

(2) 子类重写了父类虚函数

三、多态实现原理

1、传入父类对象

2、传入子类对象 

四、使用多态时为什么必须使用父类的指针或者引用来接收子类对象?


一、案例介绍

假设  TicketWindow 函数是售票窗口函数,根据传递进来的对象,执行的都是买票行为,但是最终得到了不同的买票结果。

class Person {
public:
    virtual void BuyTicket() { cout << "Person类:买票-全价" << endl; }
};

class Student : public Person {
public:
    // 子类的 virtual 可以不写,但是父类的必须写
    virtual void BuyTicket() { cout << "Student类:买票-半价" << endl; }
};

// 售票窗口
void TicketWindow(Person& p)
{ 
    p.BuyTicket(); 
}

int main(){
     Person ps;
     Student st;
 
     TicketWindow(ps);    // 传递Person对象买成人票
     TicketWindow(st);    // 传递Student对象买半票
}

二、虚函数表 和 虚表继承

虚表(vftable)在编译阶段生成,对象内存空间开辟以后,写入对象中的 vfptr,然后调用构造函数。

1、虚函数表

当子类的某个成员函数是虚函数时,此时子类对象所在空间中,除了已经声明的子类成员外,会多出一个成员,那就是 虚函数表指针_vfptr(简称“虚表指针”)。虚表指向一个虚函数表,虚函数表中存放了虚函数的地址。(严格来说,这里的虚表指针不是虚函数表的地址,但是为了方便理解,先暂时这样介绍)

2、虚表继承

在继承的时候,虚表指针也会被继承。这样的话,就分为了两种情况,一种是子类没有重写父类的虚函数,一种是子类重写了父类的虚函数。

(1) 子类未重写父类虚函数

在解释之前,我们先使用VS中的监视窗口了解。

class Student : public Person {
public:
    //virtual void BuyTicket() { cout << "Student类:买票-半价" << endl; }
};

我们会发现虚函数的地址相同,但是虚函数表的地址不同。这是因为,子类原模原样地继承了父类的虚表指针指向的虚函数,这就是 “虚函数地址是相同的” 的原因;(虚函数表的地址不同,是因为虚表指针本质上是某一句汇编指令的地址,不同类的对象因为最后要调用不同的虚函数,所以执行的指令肯定也不同)

(2) 子类重写了父类虚函数

下面我们同样使用监视窗口来观察。

class Student : public Person {
public:
    virtual void BuyTicket() { cout << "Student类:买票-半价" << endl; }
};

在继承的时候,在代码区产生了新的函数。子类重写了父类虚函数的代码,虽然依然会继承父类的虚表指针,但是虚函数表里写的虚函数地址就不再是父类的虚函数地址了,而是重写以后新的虚函数地址。

注意:去虚表中查找函数的时候,是无视类修饰符的,即便虚函数被private修饰也可以访问到

三、多态实现原理

了解了虚表和虚表继承的存在以后,现在就可以来分析最开始的那段代码了。实际编译器在执行的时候,会先判断一下被调用的函数是否满足多态条件:

  • 如果不满足,那就直接去代码区找普通函数;
  • 如果满足,先去虚函数表中找虚函数地址,然后再去代码区找虚函数。
class Person {
public:
    virtual void BuyTicket() { cout << "Person类:买票-全价" << endl; }
};

class Student : public Person {
public:
    // 子类的 virtual 可以不写,但是父类的必须写
    virtual void BuyTicket() { cout << "Student类:买票-半价" << endl; }
};

// 售票窗口
void TicketWindow(Person& p)
{ 
    p.BuyTicket(); 
}

int main(){
     Person ps;
     Student st;
 
     TicketWindow(ps);    // 传递Person对象买成人票
     TicketWindow(st);    // 传递Student对象买半票
}

1、传入父类对象

传入父类对象的时候,就是正常的传参,此时调用的就是父类的 BuyTicket 函数。

2、传入子类对象 

传入子类对象,但是接收的参数类型是Person类,此时会发生切片,其实就是为子类继承父类的那块空间起个别名,或者说,因为引用底层就是指针,其实就是让父类指针指向了继承父类的那块空间。

此时父类引用 p 就会去虚函数表里找对应的虚函数,然后调用。所以最终调用的是子类的 BuyTicket函数。

四、使用多态时为什么必须使用父类的指针或者引用来接收子类对象?

指针或者引用本质上都是 让父类指针直接指向目标空间,减少拷贝,提升效率。

如果不使用引用或者指针,那就会将子类的部分内容拷贝给父类,此时会调用拷贝构造。

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

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

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

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值