多态是C++面向对象三大特征之一
多态分为两种:
1、静态多态:函数重载 和 运算符 属于静态多态,复用函数名。
2、动态多态:派生类 和 虚函数 实现运行时多态。
静态多态和动态多态区别:
静态多态的函数地址早绑定 - 编译阶段确定函数地址
动态多态的函数地址晚绑定 - 运行阶段确定函数地址
class Animal //基类
{
public:
virtual void speak() //变成虚函数
{
cout << "动物在说话" << endl;
}
};
class cat : public Animal //派生类
{
public:
void speak()//重写父类函数 要函数返回值、函数名、参数完全一样
{
cout << "小猫在说话" << endl;
}
}
//动态多态满足条件
//1、有继承关系
//2、子类重写父类的虚函数
//动态多态使用
//父类指针或者引用 执行子类对象
void dospeak(Animal &p) //运行函数
{
p.speak();//如果要执行“小猫在说话则需要”晚绑定
}
int main()
{
cat p1;
dospeak(p1);//则此时运行时“小猫在说话”,如果不将Animal下的speak()弄成虚函数,则打印“动物在说话”
return 0;
}
下图是如何进行多态的完成:
多态的优点:
1、代码组织结构清晰 2、可读性强 3、利于前期和后期的扩展以及维护
1、纯虚函数和抽象类
在多态中,通常将父类中虚函数的实现是毫无意义的,主要是调用子类重写的内容,故此可以将虚函数给成纯虚函数。
纯虚函数语法: virtual 返回值类型 函数名 (参数列表) = 0;
class Base { public: virtual void func() = 0; };
当类中出现了纯虚函数,那么这个类也叫抽象类。
抽象类特点:
1、无法实例化对象 2、子类必须重写抽象类的纯虚函数,否则子类也是抽象类
2、虚析构和纯虚函数
多态使用时,如果子类中属性开辟到堆区,那么父类指针在释放时将无法调用子类析构函数,此时就需要将父类的析构函数改成虚析构或者纯虚析构。
虚析构和纯虚析构的共同点:(消除子类创建在堆区的内容)
1、解决父类指针释放子类对象 2、都需要具体的函数实现
虚析构和纯虚析构的区别:如果是纯虚析构,那么该类属于抽象类,无法进行实例化。
虚析构语法: virtual ~类名(){}
纯虚析构语法: virtual ~类名() = 0; //声明
类名::~类名(){} //实现(全局中)
如果子类没有在堆区开辟空间,那么父类可以不使用虚析构或者纯虚析构