前言
上一章节主要是详细介绍了C++继承。不清楚的可以回顾一下哦。本章节主要针对于C++中的虚函数和多态做一个详细介绍。
虚函数
虚函数的长相其实很简单,在C++类型用virtual修饰的函数就是虚函数,如下代码:
虚函数对于本类的影响:存在虚函数类的内存会多四个字节,如下测试代码:
不过无论有多少个虚函数,内存只会多4个字节,因为所有虚函数都是用一个指针去存储的,即就是所谓的虚函数指针,虚函数指针 (virtual function pointer) 从本质上来说就只是一个指向函数的指针,与普通的指针并无区别。它指向用户所定义的虚函数,具体是在子类里的实现,当子类调用虚函数的时候,实际上是通过调用该虚函数指针从而找到接口。
抽象类
具有纯虚函数的类我们称之为抽象类,而纯虚函数就是没有函数体的函数,它也是一个特殊的虚函数,形态如下: virtual 函数返回值类型 函数名(参数)=0,抽象类不能创建对象,但是可以创建对象指针,如下代码:
抽象类一般充当ADT过程,也就是抽象数据类型使用,以及在设计模式中充当中间交互层。
虚函数和多态
多态按字面的意思就是多种形态。当类之间存在层次结构,并且类之间是通过继承关联时,就会用到多态。C++ 多态意味着调用成员函数时,会根据调用函数的对象的类型来执行不同的函数。其实对于多态的基本概念不需要背下来,只要你知道那个对象或者指针调用哪个成员基本上就行。
如一下代码:
1
正常情况下
就是本类对象初始化本类指针,本类对象或者之指针调用本类的成员,无论是父类还是子类就是就近原则。
2
非正常情况下
父类对象初始化子类对象,一般是不允许这样的操作的,这里不做概述,子类对象初始化父类指针,要看父类是否存在virtual,如果不存在,以指针类型为主,如果存在virtual就以对象为主。如一下测试代码:
关于多态的实现,不妨自行看看虚函数表的内容,我相信有很多博客文章都有讲解,这里不做详细概述。
虚析构函数
虚析构函数也就是使用virtual修饰的虚函数,为了能够防止子类对象初始化父类指针过程中的所引发的析构问题,我们常常会把父类的析构函数写成虚析构函数。如下测试代码:
如果你将父类的析构函数改为虚析构函数,子类和父类的析构函数将都可以被调用有兴趣的可以去试试哦。
尾言
本专栏作业:采用ADT抽象一个栈结构,然后采用多态的方式实现栈结构,并且测试结果。