C++复习知识点总结（二）

一：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. 继承关系中必须有同名的虚函数，并且它们是覆盖关系（函数原型相同）。
3. 存在基类的指针，通过该指针调用虚函数。
   基类指针指向派生类时：
   1：调用基类与派生类相同函数名相同参数时，（基类函数需要声明虚函数），调用派生类的函数执行（函数名遮蔽）
   2：如果调用基类与派生类相同函数名，参数不同时：
   1：调用基类中有的虚函数（与基类函数名参数相同，派生类没有），执行基类的函数执行
   2：如果调用基类中没有的，而派生类中有的类型，则会报错，原因：通过基类的指针只能访问从基类继承过去的成员，不能访问派生类新增的成员。想调用就在基类中声明相同的虚函数

对于什么时候声明虚函数：
首先看成员函数所在的类是否会作为基类。然后看成员函数在类的继承后有无可能被更改功能，如果希望更改其功能的，一般应该将它声明为虚函数。如果成员函数在类被继承后功能不需修改，或派生类用不到该函数，则不要把它声明为虚函数。