一:C++多态与虚函数
1:基类的指针也可以指向派生类对象
People *p = new People(“王志刚”, 23)
p = new Teacher(“赵宏佳”, 45, 8200);//指向派生类对象
调用函数时会出错(people的函数中没有第三项,及8200的数据),即当基类指针 p 指向派生类 Teacher 的对象时,虽然使用了 Teacher 的成员变量,但是却没有使用它的成员函数
基类指针只能访问派生类的成员变量,但是不能访问派生类的成员函数,C++ 增加了虚函数(Virtual Function)。使用虚函数非常简单,只需要在函数声明前面增加 virtual 关键字。即:virtual 类型 函数名
对于派生类比较多,如果不使用多态,那么就需要定义多个指针变量,很容易造成混乱;而有了多态,只需要一个指针变量 p 就可以调用所有派生类的虚函数。
2:虚函数注意事项及条件
虚函数对于多态具有决定性的作用,有虚函数才能构成多态。
只需要在虚函数的声明处加上 virtual 关键字,函数定义处可以加也可以不加。
基类中的函数声明为虚函数,这样所有派生类中具有遮蔽关系的同名函数都将自动成为虚函数
只有派生类的虚函数覆盖基类的虚函数(函数原型相同)才能构成多态(通过基类指针访问派生类函数)。例如基类虚函数的原型为virtual void func();,派生类虚函数的原型为virtual void func(int);,那么当基类指针 p 指向派生类对象时,语句p -> func(100);将会出错,而语句p -> func();将调用基类的函数。
**构造函数不能是虚函数。**对于基类的构造函数,它仅仅是在派生类构造函数中被调用,这种机制不同于继承。也就是说,派生类不继承基类的构造函数,将构造函数声明为虚函数没有什么意义。
析构函数可以声明为虚函数,而且有时候必须要声明为虚函数
如果一个类是在类继承层次中的,那么她的析构函数就应该是virtual, 这是为了在用基类指针或引用操作派生类对象时,能够动态绑定派生类的析构函数;而如果一个类的设计目标不是作为继承层次中的一员,那么它的析构函数便不必是virtual;
基类指针可以指向派生类的对象(多态性),如果删除该指针delete []p;就会调用该指针指向的派生类析构函数,而派生类的析构函数又自动调用基类的析构函数,这样整个派生类的对象完全被释放。如果析构函数不被声明成虚函数,则编译器实施静态绑定,在删除基类指针时,只会调用基类的析构函数而不调用派生类析构函数,这样就会造成派生类对象析构不完全。所以,将析构函数声明为虚函数是十分必要的。
1.每个析构函数(不加 virtual) 只负责清除自己的成员。
2.可能有基类指针,指向的确是派生类成员的情况。(这是很正常的)
那么当析构一个指向派生类成员的基类指针时,程序就不知道怎么办了。
所以要保证运行适当的析构函数,基类中的析构函数必须为虚析构。
构成多态的条件:
- 必须存在继承关系;
- 继承关系中必须有同名的虚函数,并且它们是覆盖关系(函数原型相同)。
- 存在基类的指针,通过该指针调用虚函数。
基类指针指向派生类时:
1:调用基类与派生类相同函数名相同参数时,(基类函数需要声明虚函数),调用派生类的函数执行(函数名遮蔽)
2:如果调用基类与派生类相同函数名,参数不同时:
1:调用基类中有的虚函数(与基类函数名参数相同,派生类没有),执行基类的函数执行
2:如果调用基类中没有的,而派生类中有的类型,则会报错,原因:通过基类的指针只能访问从基类继承过去的成员,不能访问派生类新增的成员。想调用就在基类中声明相同的虚函数
对于什么时候声明虚函数:
首先看成员函数所在的类是否会作为基类。然后看成员函数在类的继承后有无可能被更改功能,如果希望更改其功能的,一般应该将它声明为虚函数。如果成员函数在类被继承后功能不需修改,或派生类用不到该函数,则不要把它声明为虚函数。