虚函数、纯虚函数与抽象类（浅论）

    在面向对象的程序设计中，虚函数，纯虚函数与抽象类一直是工作和求职面试中的重点难点问题。本人在这里对这三者做一个浅显的论述。有不对的地方欢迎各位同行批评指正。

（作者原创，转载请注明出处）。

    提起虚函数，就不得不提多态性。多态性是面向对象程序设计的一个重要特征，如果一个语言只支持类而不支持多态，是不能称为面向对象的语言，只能说是基于对象的语言。

    那么问题来了，什么是多态？

    多态性的英文单词polymorphism来源于希腊词根poly(意为“很多”)和morph(意为“形态”)。顾名思义，多态的意思就是一个事物有多种形态。

    在C++程序设计中，多态性是指具有不同功能的函数可以用同一个函数名。这样就可以用同一个函数名调用不同内容的函数。

在面向对象方法中，一般是这样表述多态性的：向不同的对象发送同一个消息，不同的对象在接收时会产生不同的行为（即方法）。

    从系统时间的角度来看，多态性分为两类：静态多态性和动态多态性。

    静态多态性有函数重载和运算符重载。静态多态性又称为编译时的多态性。在程序编译时，系统就能决定调用的是哪个函数。

动态多态性又称为运行时的多态性，动态多态性是在程序运行过程中才动态的确定操作所针对的对象。动态多态性通过虚函数(virtual function)来实现。

    开胃菜结束，开始上正餐。

下面讨论虚函数

    在类的继承层次结构中，不同层次中可以出现名字相同，参数个数都和类型都相同而功能不同的函数。(但是，在同一个类中，这是绝对不允许的)。编译系统按照同名覆盖的原则决定调用对象。

因此，人们自然而然就想，能否用同一个调用形式，既能调用派生类的函数，又能调用基类的同名函数。

    为啥需要虚函数？

    虚函数的作用是允许在派生类中重新定义与基类同名的函数，并且可以通过基类指针或引用来访问基类和派生类中的同名函数。

//基类与派生类中有同名函数
#include<iostream>
#include<system_error>
#include<string>

using namespace std;

//定义基类
class Student
{
public:
	Student(int, string, float);
     virtual void display();
	~Student();

protected:
	int num;
	string name;
	float score;
};

Student::Student(int n, string nam, float s)
	:num(n), name(nam), score(s) 
{
//	cout << "基类构造函数被执行！" << endl;
}

 void Student::display()
{
	cout << "学号：" << num << endl;
	cout << "姓名：" << name << endl;
	cout << "成绩：" << score << endl;
}

Student::~Student()
{
//	cout << "基类的析构函数被执行！" << endl;
}

//定义派生类
class Graduate:public Student
{
public:
	Graduate(int, string, float, float);
	virtual  void display();
	~Graduate();

private:
	float salary;
};

Graduate::Graduate(int n, string nam, float s, float sa)
	:Student(n, nam, s), salary(sa)
{
//	cout << "派生类的构造函数被执行！" << endl;
}

Graduate::~Graduate()
{
//	cout << "派生类的析构函数被执行！" << endl;
}

void Graduate::display()
{
	cout << "学号：" << num << endl;
	cout << "姓名：" << name << endl;
	cout << "成绩：" << score << endl;
	cout << "工资：" << salary << endl;
}

int main()
{
	Student std(2018060130, "James", 98.5);
	/*std.display();
	std.~Student();

	cout << endl << endl;*/

	Student * pt = &std;
//	Student & ptr = std;
	pt->display();
//	pt->~Student();

	cout << endl << endl;

	//ptr.display();
	//ptr.~Student();

//	cout << endl << endl;

	Graduate grd(2018060131, "Robert", 93.5, 3578.45);
	/*grd.display();
	grd.~Graduate();
	cout << endl << endl;*/

	pt = &grd;
	pt->display();
	
	cout << endl << endl;

	//ptr = grd;
	//ptr.display();

//	cout << endl << endl;

	system("pause");
	return 0;
}

    说明：本来，基类指针是用来指向基类的对象的，如果用它来指向派生类的对象，则进行指针类型转换，将派生类对象的指针先转换为基类的指针，所以基类指针指向的是派生类对象的基类部分。

    在程序修改前，是无法通过基类的指针去调用派生类对象中的成员函数的。

    虚函数的出现突破了这一限制，在派生类的基类部分中，派生类的虚函数取代了基类原来的虚函数，因此，在使用基类指针指向派生类对象后，调用虚函数时就调用了派生类的虚函数。

    要注意的是，只有用virtual声明了虚函数后才具有以上作用。

    如果不声明为虚函数，企图通过基类指针调用派生类的非虚函数是不行的。

    

重点来了：

当把基类的某个成员函数声明为虚函数之后，允许在其派生类中对该函数重新定义，赋予它新的功能，并且可以通过指向基类的指针指向同一类族中不同类的对象，从而调用其中的同名函数。

由虚函数实现的动态多态性是：同一类族中不同类的对象，对同一函数调用做出不同的响应。

虚函数的使用方法：

（1）在基类用virtual声明成员函数为虚函数，这样就可以在派生类中重新定义此函数，为它赋予新的功能，并能方便地被调用。（在类外定义虚函数时，不能在加virtual）。

（2）在派生类中定义虚函数时，要求函数类型，参数类型，参数个数等全部与基类的虚函数相同。并根据派生类的需要重新定义函数体。

C++规定，当一个成员函数被声明为虚函数之后，其派生类中的同名函数都自动成为虚函数。记住这句话，一旦虚，一直虚。

备注：基于第（2）条的讨论，在派生类中重新声明虚函数时，可以加关键字virtual，也可以不加。但在习惯上一般在每一层声明该虚函数时加上virtual，使程序更加清晰。如果在派生类中没有对基类中的虚函数进行重新定义，则派生类简单的继承其直接基类的虚函数。

（3）定义一个指向基类对象的指针变量，并使它指向同一类族中的某一对象。

（4）通过该指针变量调用此虚函数，此时调用的就是指针变量指向的对象的同名函数。

多说一句：同一层次上的同名函数问题用函数重载来解决。

                  不同层次上的同名函数问题用虚函数来解决。

另外一点：虚函数的首部是相同的，即函数类型的参数个数相同。

                  函数重载时函数的首部不同，即参数个数或类型不同。

在使用虚函数时，有两点需要注意：

（1）只能用virtual声明类的成员函数，使它成为虚函数，而不是将类外的普通函数声明为虚函数。因为虚函数的作用是允许在派生类中对基类的虚函数重新定义。显然，它只能用在类的继承层次结构中。

（2）一个成员函数被声明为虚函数之后，在同一类族中的类就不能再定义一个非virtual但与该虚函数具有相同的参数（包括个数和类型）和函数返回值类型的同名函数。

需要注意的是：虚函数是通过虚函数表(virtual function table ,vtable来实现的,它是一个指针数组，存放每个虚函数的入口地址。使用虚函数时候，系统需要一定的空间开销。当一个类带有虚函数时，编译系统会为该类构造一个虚函数表。

下面讨论纯虚函数

纯虚函数是在声明虚函数时被“初始化”为0的函数。

声明纯虚函数的一般形式是：

virtual 函数类型 函数名(参数表列)=0;

注意：（1）纯虚函数没有函数体；

          （2）最后面的“=0”并不表示函数返回值为0，它只是 起形式上的作用，告诉编译系统，这是纯虚函数。

           （3）这是一个声明语句，最后应有分号。

    纯虚函数的作用是在基类中为其派生类保留一个函数的名字，以便派生类根据需要对它进行定义。如果在基类中没有保留函数的名字，则无法实现多态性。

    如果在一个类中声明了纯虚函数，而在其派生类中没有对该函数定义，则该虚函数在派生类中仍然为纯虚函数。

 

下面讨论抽象类

抽象类：不定义对象而只作为一种基本类型用作继承的类。

凡是包含纯虚函数的类都是抽象类。

解释：因为纯虚函数是不能被调用的，包含纯虚函数的类是无法建立对象的。抽象类的作用是作为一个类族的共同基类，或者说，为类族提供一个公共接口。

对抽象类总结：

(1) 一个基类如果包含一个或一个以上的纯虚函数，就是抽象基类。抽象基类不能也不必要定义对象。

(2) 抽象基类与普通基类不同，它一般并不是现实存在的对象的抽象，它可以没有任何物理上的或其它实际意义方面的含义。

(3) 在类的层次结构中，顶层或者是最上面的几层可以是抽象基类。抽象基类体现了本类族中各类的共性，把各类中共有的成员函数集中在抽象基类中声明。

(4) 抽象基类是本类族的公共接口。或者说，从同一个基类派生出的多个类有同一接口。

(5) 区别动态关联和静态关联。

(6) 如果在基类声明了虚函数，则在派生类中凡是与该函数有相同的函数名，函数类型，参数个数和参数类型的函数，均为虚函数(不论在派生类中是否声明)，一旦虚，一直虚。但是，同名的虚函数在不同的类中可以有不同的定义。

纯虚函数是在抽象基类中声明的，只是在抽象基类中它才成为纯虚函数，在其派生类中虽然继承了该函数，但除非再次用“=0”把它声明为纯虚函数，否则，它就不是也不能称为纯虚函数。

(7) 使用虚函数提高了程序的扩充性。