虚函数:
- 在类的定义中,前面有 virtual 关键字的成员函数就是虚函数。
- virtual 关键字只用在类定义里的函数声明中,写函数体时不用。
多态的表现形式一
派生类的指针可以赋给基类指针。
通过基类指针调用基类和派生类中的同名虚函数时:
( 1)若该指针指向一个基类的对象,那么被调用是基类的虚函数;
( 2)若该指针指向一个派生类的对象,那么被调用的是派生类的虚函数。
多态的表现形式二
派生类的对象可以赋给基类引用
通过基类引用调用基类和派生类中的同名虚函数时:
( 1)若该引用引用的是一个基类的对象,那么被调用是基类的虚函数;
( 2)若该引用引用的是一个派生类的对象,那么被调用的是派生类的虚函数。
用基类指针数组存放指向各种派生类对象的指针,然后遍历该数组,就能对各个派生类对象做各种操作,是很常用的做法
多态实现的关键 — 虚函数表
每一个有虚函数的类(或有虚函数的类的派生类)都有一个虚函数表,该类的任何对象中都放着虚函数表的指针。虚函数表中列出了该类的虚函数地址。 多出来的4个字节(或者8个字节)就是用来放虚函数表的地址的。
虚析构函数:
通过基类的指针删除派生类对象时,通常情况下只调用基类的析构函数但是,删除一个派生类的对象时,应该先调用派生类的析构函数,然后调用基类的析构函数。
解决办法:把基类的析构函数声明为virtual(派生类的析构函数可以不进行virtual声明)
即一般来说,一个类如果定义了虚函数,则应该将析构函数也定义成虚函数。或者,一个类打算作为基类使用,也应该将析构函数定义成虚函数。
注意: 不允许以虚函数作为构造函数
纯虚函数和抽象类:
纯虚函数: 没有函数体的虚函数
class A {
private: int a;
public:
virtual void Print( ) = 0 ; //纯虚函数
void fun() { cout << "fun"; }
};
包含纯虚函数的类叫抽象类
- 抽象类只能作为基类来派生新类使用,不能创建抽象类的对象
- 抽象类的指针和引用可以指向由抽象类派生出来的类的对象
- 在抽象类的成员函数内可以调用纯虚函数,但是在构造函数或析构函数内部不能调用纯虚函数。
- 如果一个类从抽象类派生而来,那么当且仅当它实现了基类中的所有纯虚函数,它才能成为非抽象类。