一、多态的概述
多态按字面的意思就是多种形态。当类之间存在层次结构,并且类之间是通过继承关联(父类与子类)时,就会用到多态。
C++ 多态意味着调用成员函数时,会根据调用函数的对象的类型来执行不同的函数。
静态多态(编译时多态,早绑定):函数重载、运算符重载
动态多态(运行时多态,晚绑定):虚函数
二、虚函数
1、知识点引入
需求:设计一个算法可以操作父类派生的所有子类
算法通用:父类指针(引用)保存 子类空间地址
父类指针 保存 子类空间地址带来的问题:
原因:
解决:通过虚函数
2、虚函数的定义
定义及用法:父类成员函数前加virtual修饰,该函数即为虚函数
子类重写父类虚函数:函数名、返回值类型、参数类型个数顺序完全一致。
动态多态条件:有继承、子类重写(覆盖)父类的虚函数,父类指针 指向子类空间。
3、虚函数原理
如果一个类中的成员函数 被virtual修饰,那么这个函数就是虚函数。类就会产生一个虚函 数指针(vfptr)指向了一张虚函数表(vftable)。
如果这个类 没有涉及到继承, 这时虚函数表中 纪录及时当前类的虚函数入口地址。
Animal的类的结构:
一旦子类重写父类虚函数,就会将子类的虚函数肉蔻地址,覆盖虚函数表中原来的入口地址。
Dog的类存结构:
三、纯虚函数和抽象类
在设计时,常常希望基类仅仅作为其派生类的一个接口。并且不希望用户实际的创建一个基类的对象。所以创建一个纯虚函数允许接口中放置成员原函数,而不一定要提供一段可能对这个函数毫无意义的代码。
一个纯虚函数(pure virtual function),使得基类称为抽象类(abstract class),抽象类 必须被继承 同时 子类 必须重写 父类的所有纯虚函数,否则 子类也是抽象类。纯虚函数使用关键字virtual并在其后面加上=0。抽象类 不能实例化 对象,如果试图去实例化一个抽象类,编译器则会阻止这种操作。
虚函数不实现函数体:
class Animal
{
public://纯虚函数virtual void speak(void)=0;
};
抽象类主要的目的 是设计 类的接口:
#include <iostream>
using namespace std;
//抽象制作饮品
class AbstractDrinking{
public://烧水virtual void Boil() = 0;//冲泡virtual void Brew() = 0;//倒入杯中virtual void PourInCup() = 0;//加入辅料virtual void PutSomething() = 0;//规定流程void MakeDrink(){this‐>Boil();Brew();PourInCup();PutSomething();}
};//制作咖啡
class Coffee : public AbstractDrinking{
public://烧水virtual void Boil(){cout << "煮农夫山泉!" << endl;}//冲泡virtual void Brew(){cout << "冲泡咖啡!" << endl;}//倒入杯中virtual void PourInCup(){cout << "将咖啡倒入杯中!" << endl;}//加入辅料virtual void PutSomething(){cout << "加入牛奶!" << endl;}
};//制作茶水
class Tea : public AbstractDrinking{
public://烧水virtual void Boil(){cout << "煮自来水!" << endl;
}//冲泡virtual void Brew(){cout << "冲泡茶叶!" << endl;}//倒入杯中virtual void PourInCup(){cout << "将茶水倒入杯中!" << endl;}//加入辅料virtual void PutSomething(){cout << "加入食盐!" << endl;}
};//业务函数
void DoBussiness(AbstractDrinking* drink){drink‐>MakeDrink();delete drink;
}int main(int argc, char *argv[])
{DoBussiness(new Coffee);//new Coffee 是在堆上分配内存创建一个 Coffee 对象,然后将该对象的指针传递给 DoBussiness 函数进行处理。cout << "‐‐‐‐‐‐‐‐‐‐‐‐‐‐" << endl;DoBussiness(new Tea);return 0
}
虚函数 和纯虚函数的 区别:
虚函数:virtual修饰 有函数体 不会导致父类为抽象类。
纯虚函数:virtual修饰,=0,没有函数体 导致父类为抽象类。子类必须重写父类的所有 纯虚函数。
四、虚析构函数
构造的顺序:父类--->成员---->子类
析构的顺序:子类--->成员---->父类
虚析构:通过父类指针 释放整个子类空间。
原理:
五、纯虚析构
纯虚析构的本质是析构函数,负责释放各类的空间。而且析构函数不能被继承。 故必须为纯虚析构函数提供一个函数体,纯虚析构函数 必须在类外实现。
#pragma warning(disable:4996)
#include<iostream>
#include<string.h>
using namespace std;
class Animal
{
public://纯虚函数virtual void speak(void)=0;//纯虚析构//纯虚析构函数 必须在类外实现virtual ~Animal()=0;
};
class Dog:public Animal
{
public://子类重写父类的虚函数,本质仍是虚函数,此时关键字virtual可省void speak(void){cout << "狗在汪汪" << endl;}~Dog(){cout<<"Dog析构函数"<<endl;}
};
void test()
{Animal* p = new Dog;p->speak();delete p;}
int main(int argc, char* argv[])
{test();return 0;
}
//纯虚析构函数 必须在类外实现
Animal::~Animal()
{cout<<"Animal析构函数"<<endl;
}
虚析构 和纯虚析构的区别:
虚析构:virtual修饰,有函数体,不会导致父类为抽象类。
纯虚析构:virtual修饰,=0,函数体必须类外实现,导致父类为抽象类。
六、多态的常见问题
1、多态的分类
2、谈谈你对动态捆绑机制的理解(虚函数实现原理)
3、重载、重定义、重写的区别
4、虚函数和纯虚函数的区别
5、虚析构和纯虚析构的区别
6、虚函数的作用
7、虚析构的作用
八、重载、重定义、重写的区别
重载:同一作用域,同名函数,参数的顺序、个数、类型不同 都可以重载。函数的返回值 类型不能作为重载条件(例:函数重载、运算符重载)
重定义:有继承,子类 重定义 父类的同名函数(非虚函数), 参数顺序、个数、类型可以 不同。子类的同名函数会屏蔽父类的所有同名函数(可以通过作用域解决)
重写(覆盖):有继承,子类重写 父类的虚函数。返回值类型、函数名、参数顺序、个 数、类型都必须一致。