多态与虚函数

#多态的概念
多态性是指具有不同功能的函数可以用同一个函数名，这样就可以用一个函数名调用不同内容的函数。

#静态与动态
多态性分为两类:静态多态性和动态多态性。以前学过的函数重载和运算符重载实现的多态性属于静态多态性，在程序编译时系统就能决定调用的是哪个函数，因此静态多态性又称编译时的多态性。
静态多态性是通过函数的重载实现的( 运算符重载实质上也是函数重载 )。
动态多态性是在程序运行过程中才动态地确定操作所针对的对象。它又称运行时的多态性。动态多态性是通过虚函数(virtual function)实现的。

##虚函数例子：
#include
#include
using namespace std;

//声明基类Student
class Student
{
public:
Student(int, string, float);//声明构造函数
virtual void display(); //声明输出函数
protected: //受保护成员，派生类可以访问
int num;
string name;
float score;
};

//Student类成员函数的实现
Student::Student(int n, string name, float s)
{
this->num = n;
this->name = name;
this->score = s;
}

void Student::display() //定义输出函数
{
cout << “num:” << num << “\n name:” << name << “\n score” << score << “\n”;
}

//声明公用派生类
class Graduate:public Student
{
public:
Graduate(int, string, float, float);
void display();
private:
float pay;
};

//Graduate类成员函数的实现
void Graduate::display() //定义输出函数
{
cout << “num:” << num << “\n name:” << name << “\n score” << score <<"\n pay=" <<pay<<endl;
}

Graduate::Graduate(int n, string name, float s, float p) :Student(n, name, s), pay§ {}

int main()
{
Student stud1(1001, “Li”, 87.5); //定义 Student类对象
Graduate grad1(2001, “Wang”, 98.5, 563.5); //定义 Graduate类对象

Student* pt = &stud1; //定义指向基类对象的指针变量
pt->display();

pt = &grad1;
pt->display();
system("pause");
return 0;

}
当我们在Student类中声明display，不加virtual时

加了之后

由虚函数实现的动态多态性就是:同一类族中不同类的对象，对同一函数调用作出不同的响应。虚函
数的使用方法是:
(1)在基类用 virtual声明成员函数为虚函数。这样就可以在派生类中重新定义此函数，为它赋予新的功能，并能方便地被调用。在类外定义虚函数时，不必再加 virtual。
(2)在派生类中重新定义此函数，要求函数名、函数类型、函数参数个数和类型全部与基类的虚函数相同，并根据派生类的需要重新定义函数体。
C++规定，当一个成员函数被声明为虚函数后，其派生类中的同名函数都自动成为虚函数。因此在派生类重新声明该虚函数时，可以加 virtual， 也可以不加，但习惯上一般在每一层声明该函数时都加
virtual， 使程序更加清晰。如果在派生类中没有对基类的虚函数重新定义，则派生类简单地继承其直接基类的虚函数。
(3)定义一个指向基类对象的指针变量，并使它指向同一类族中需要调用该函数的对象。
(4)通过该指针变量调用此虚函数，此时调用的就是指针变量指向的对象的同名函数。

#在什么情况下声明虚函数
使用虚函数时，有两点要注意:
(1)只能用 virtual声明类的成员函数，使它成为虚函数，而不能将类外的普通函数声明为虚函数。因为虚函数的作用是允许在派生类中对基类的虚函数重新定义。显然，它只能用于类的继承层次结构中。
(2)一个成员函数被声明为虚函数后，在同一类族中的类就不能再定义一个非 virtual的但与该虚函数具有相同的参数(包括个数和类型)和函数返回值类型的同名函数。

#虚析构函数
析构函数的作用是在对象撤销之前做必要的“ 清理现场 ”的工作。当派生类的对象从内存中撤销时一般先调用派生类的析构函数，然后再调用基类的析构函数。但是，如果用 new运算符建立了临时对象，若基类中有析构函数，并且定义了一个指向该基类的指针变量。在程序用带指针参数的 delete运算符撤销对象时，会发生一个情况:系统会只执行基类的析构函数，而不执行派生类的析构函数。
##虚析构实例
#include
#include
using namespace std;

class Point
{
public:
Point(){}
~Point()
{
cout << “executing Point destructor” << endl;
}
};

class Circle :public Point
{
public:
Circle(){}
~Circle()
{
cout << “executing Circle destructor” << endl;
}
private:
int radius;
};

int main()
{
Point* p = new Circle;
delete p;

system("pause");
return 0;

}

总结：
这只是一个示意的程序。p 是指向基类的指针变量，指向 new开辟的动态存储空间，希望用 detele释放p所指向的空间。但运行结果为executing Point destructor
表示只执行了基类 Point的析构函数，而没有执行派生类 Circle的析构函数。如果希望能执行派生类 Circle的析构函数，可以将基类的析构函数声明为虚析构函数，如
virtual ~Point(){}
程序其他部分不改动，再运行程序，结果为
executing Circle destructor
executing Point destructor
#纯虚函数与抽象类
有时在基类中将某一成员函数定为虚函数，并不是基类本身的要求，而是考虑到派生类的需要，在基类中预留了一个函数名，具体功能留给派生类根据需要去定义。
注意事项：
纯虚函数的作用是在基类中为其派生类保留一个函数的名字，以便派生类根据需要对它进行定义。如果在基类中没有保留函数名字，则无法实现多态性。如果在一个类中声明了纯虚函数，而在其派生类中没有对该函数定义，则该虚函数在派生类中仍然为纯虚函数。
##抽象类
如果声明了一个类，一般可以用它定义对象。但是在面向对象程序设计中，往往有一些类，它们不用来生成对象。定义这些类的惟一目的是用它作为基类去建立派生类。它们作为一种基本类型提供给用
户，用户在这个基础上根据自己的需要定义出功能各异的派生类。用这些派生类去建立对象。
凡是包含纯虚函数的类都是抽象类。因为纯虚函数是不能被调用的，包含纯虚函数的类是无法建立对象的。抽象类的作用是作为一个类族的共同基类，或者说，为一个类族提供一个公共接口。
如果在派生类中没有对所有纯虚函数进行定义，则此派生类仍然是抽象类，不能用来定义对象。
当派生类成为具体类之后，就可以用这种指针指向派生类对象，然后通过该指针调用虚函数，实现多态性的操作。

(1)一个基类如果包含一个或一个以上纯虚函数，就是抽象基类。抽象基类不能也不必要定义对象。
(2)抽象基类与普通基类不同，它一般并不是现实存在的对象的抽象( 例如圆形(Circle)就是千千万万个实际的圆的抽象) )，它可以没有任何物理上的或其他实际意义方面的含义。
(3)在类的层次结构中，顶层或最上面的几层可以是抽象基类。抽象基类体现了本类族中各类的共 性，把各类中共有的成员函数集中在抽象基类中声明。
(4)抽象基类是本类族的公共接口。或者说，从同一基类派生出的多个类有同一接口。
(5)区别静态关联和动态关联。
(6)如果在基类声明了虚函数，则在派生类中凡是与该函数有相同的函数名、函数类型、参数个数和
类型的函数，均为虚函数( 不论在派生类中是否用virtual声明 )。
(7)使用虚函数提高了程序的可扩充性。