本文主要从C++多态的本质、实现方法、虚函数、抽象类这 4 个方面对C++进行讨论。
什么是 C++ 多态?
首先我们得了解什么是多态,多态可以理解为一种事物的不同表现形态、不同方式。
举例
比如在人类中,有人姓陈、梁、赵、李,我们将其称为姓的多态;进而又对姓陈的人进行观察,每个人的样貌又各不相同,我们称其为样貌的多态;最后再回到编程语言中,编程语言中的多态通常都是指 函数/方法
的多态。
本质
不论你听到什么函数重载、运算符重载或抽象函数,其实本质上都是属于 函数/方法
的多态,所以C++的多态主要内容就是 函数/方法
的多态。
C++ 多态的实现方法
在前文已经说过 3 种多态实现的方式,但事实上其他编程语言因考虑到安全性的问题,所以并没有像 C++ 拥有边界如此宽的多态方式。言归正传,这里就简单实现一个多态的例子,当然,你也可以称它为函数重载。
// 同名函数并没有报错
void add(int a, int b) {}
void add(double a, double b) {}
void add(int a, double b) {}
了解了多态之后,我们再来看看什么叫虚函数。如果你之前有稍微看过一些C#、Java等代码,认为虚函数就仅仅是在函数返回值声明符前加个 virtual,那你就大错特错了。
虚函数
由于C++比较特殊,它既支持独立的函数,也支持归类的方法。所以,虚函数必须在类中声明,而且这句话仿佛就是在为C++而准备的,因为C#、Java它们只封装方法,没有函数的概念。虚函数只有存在继承的关系下才能实现函数的多态。
重载类型
如果说 C++ 支持函数重载,那么如前文所列举的 add() 重载严格一点就是叫函数重载;另外一个就叫方法重载,方法重载需要虚函数与类之间的继承关系来实现。
概念的区分
最后我们再捋一捋,多态、重载、虚函数、virtual之间是什么关系。
多态:一个概念;
重载:实现多态这一概念的一种方式;
虚函数:类中的一种成员类型,表示该函数可以被派生类重写(重新定义);
virtual:一个关键字,只能用于声明函数,声明一个虚函数。
总的来说,C++的多态主要是由 函数/方法
重载这两方面构成的,关于 函数/方法
重载各自衍生的东西就不多多叙述,交由你们今后慢慢探索。
抽象类
前面一共讲了函数的多态、方法的多态,但其实还有一种多态类型——抽象类。
定义
类中至少有一个函数被声明为纯虚函数,则这个类就是抽象类。纯虚函数是通过在声明中使用 “= 0” 来指定的。
关于 C++ 多态的讨论准备的比较仓促,这篇文章讲到这里,感谢阅读!
如文章有表述不当之处,可在评论区指正,再次感谢!