摘要:1.虚函数和多态的基本概念
2.多态实例
3.多态的实现原理(虚函数表)
4.虚析构函数
5.纯虚函数和抽象类
1.虚函数和多态的基本概念
虚函数:在类的定义中,前面有virtual关键字的成员函数
virtual关键字只用在类定义里的函数声明中,写函数体时不用
例:
class base{
virtual int get();
};
int base::get(){}
- 构造函数和静态成员函数不能是虚函数
- 纯虚函数(没有函数体):虚函数=0
virtual double Area()=0; - 派生类中和基类中虚函数同名同参数表的函数,不加virtual也自动成为虚函数
多态机制(指针、引用两种表现形式):
派生类的指针可以赋给基类指针/引用
通过基类指针/引用调用基类和派生类中的同名虚函数时
- 若该指针指向/引用引用一个基类对象,那么被调用的是基类的虚函数
- 若该指针指向/引用引用一个派生类对象,那么被调用的是派生类的虚函数
虚函数可以参与多态
多态的作用:增强程序的可扩充性。即程序需要修改或增加功能的时候,需要改动和增加的代码少。
2.多态实例
用基类指针数组存放指向各种派生类对象的指针,然后遍历该数组,就能对各个派生类对象做各种操作。
- 魔法门之英雄无敌
- 几何形体程序
在非构造函数、非析构函数的成员函数中调用虚函数,是多态!
例:
class Base{
public:
void fun1(){fun2();}//相当于{this->fun2;},this是基类指针,fun2是虚函数,所以是多态
virtual void fun2(){cout<<“B”<<endl;}
};
class Derived:public Base{
public:
virtual void fun2(){cout<<“D”<<endl;}
};
int main(){
Derived d;
Base * pBase=&d;
pBase->fun1;
return 0;
}
分析:此程序输出结果为:D。基类指针this指向的是派生类对象,所以被调用的是派生类中的fun2函数
在构造函数和析构函数中调用虚函数,不是多态。
编译时即可确定,调用的函数是自己的类或基类中定义的函数(规则与其他成员函数一样),不会等到运行时才决定调用自己的还是派生类的函数
3.多态的实现原理
动态联编:编译时不确定到底调用的是基类还是派生类的函数,运行时才确定
多态实现的关键:虚函数表
每一个有虚函数的类(或有虚函数的类的派生类)都有一个虚函数表,该类的任何对象中都放着指向虚函数表的指针
虚函数表中列出了该类的虚函数地址,通过查虚函数表调用函数(如果重写了相应的虚函数,那么虚表中的地址就会改变,指向自身的虚函数实现)
所以对象的空间大小包含虚函数表指针的四个字节(指针所占字节数与程序的位数有关,不一定是四位)
多态机制缺点:占用更多的空间和时间
4.虚析构函数
通过基类的指针删除派生类对象时,通常情况下只调用基类的析构函数,但是删除一个派生类对象时,应该先调用派生类的析构函数,然后调用基类的析构函数
解决办法:把基类的析构函数声明为virtual
- 派生类的析构函数可以不用写virtual
- 通过基类指针删除派生类对象时,首先调用派生类的析构函数,然后调用基类的虚构函数
一般来说,一个类如果定义了虚函数,则应该将析构函数也定义成虚函数
一个类打算作为基类使用,也应该将析构函数定义成虚函数
不允许以虚函数作为构造函数!
5.纯虚函数和抽象类
纯虚函数:没有函数体的虚函数
virtual void Print()=0
抽象类:包含纯虚函数的类
纯抽象类:一个抽象类中除了构造函数和析构函数以外的所有成员函数都是纯虚函数
- 只能作为基类来派生新类使用
- 不能创建抽象类的对象
- 抽象类的指针和引用可以指向由抽象类派生出来的对象
A a;//错误
A * pa;//正确
pa=new A;//错误
在抽象类的成员函数内(是多态的情况)可以调用纯虚函数,但是在构造函数或析构函数内(不是多态的情况)不能调用纯虚函数
如果一个类从抽象类派生而来,那么当且仅当它实现了基类中的所有纯虚函数,才能成为非抽象类