C++ Study Note3 多态

->
多态:
    静态多态:函数重载和运算符重载属于静态多态
    动态多态:派生类和虚函数实现运行时多态   虚函数即函数声明前面加上virtual

静态多态的函数地址早绑定:编译阶段确定
动态多态的函数地址晚绑定:运行阶段确定

class Animal
{
public:
    void speak()
    {
        cout<<"animal"<<endl;
    }
};

class Cat:public Animal
{
public:
    void speak()
    {
        cout<<"cat"<<endl;
    }
};

void doSpeak(Animal &a)
{
    a.speak();
}

不论传猫还是传狗,执行的都是Animal类中的speak函数
因为静态多态在编译阶段就绑定了函数地址

在Animal类的speak函数前加virtual关键字
就能实现传什么类就调用什么类的speak函数

动态多态满足条件:
    1.有继承关系
    2.子类重写父类中的虚函数   override

动态多态的使用:
    父类的指针或者引用,指向子类对象

->
多态底层
Animal类中有一个虚函数(表)指针
指向虚函数表
虚函数表中记录了虚函数的地址 &Animal::speak()

Cat继承了Animal
Cat内部也有一个虚函数(表)指针
指向子类的虚函数表
当子类重写了父类的虚函数
子类中的虚函数表会替换成子类的虚函数地址 &Cat::speak()

当父类的指针或者引用指向子类对象的时候,发生多态
Animal &animal =cat;
animal.speak();
它会从cat对象的虚函数表中调用speak


->
c++允许父子之间的类型转换,不需要强制类型转换

->
纯虚函数和抽象类
在多态中,通常父类中的纯虚函数的实现是没有意义的
主要都是调用子类中重写的内容
因此可以将虚函数改为纯虚函数

纯虚函数语法:
    virtual 返回值类型 函数名 (参数列表)=0;

当类中有了纯虚函数,这个类就称为抽象类

抽象类的特点:
    无法实例化对象
    子类必须重写抽象类中的纯虚函数,否则也属于抽象类


->
虚析构和纯虚析构

多态使用时,如果子类中有属性开辟到堆区,那么父类指针在释放时无法调用子类的析构代码
出现内存泄漏情况
解决:
    将父类中的析构函数改为虚析构或者纯虚析构

虚析构和纯虚析构共性:
    可以解决父类指针释放子类对象
    都需要有具体的函数实现
虚析构和纯虚析构区别:
    如果是纯虚析构,该类属于抽象类,无法实例化对象

虚析构语法:
    virtual ~类名(){}

纯虚析构语法:
    virtual ~类名()=0;

纯虚析构需要有声明也需要实现,因为父类也有可能有些数据开辟在堆区需要释放
有声明不实现会报错