C++多态（基础）

继承可以实现代码复用，但它的主要用处是可以实现多态。

多态

一、概念

        多态是指完成某个行为时，当不同的对象去完成会产生出不同的状态

        举个例子：买票的时候，成人票全价，儿童票半价

        简单的说：就是用基类的引用指向子类的对象。

二、分类

①动态多态：在程序运行时确定函数行为。(动态绑定，晚绑定)

• 虚函数的重写(覆盖)：派生类中有一个跟基类的完全相同虚函数，我们就称子类的虚函数重写了基类的虚函数，完全相同是指：函数名、参数、返回值都相同。(返回值无要求)

②静态多态：在编译期间确定函数行为。（静态绑定，早绑定）

    静态多态有两种实现方式：

• 函数重载：包括普通函数的重载和成员函数的重载。
• 函数模板的使用。

 

三、实现条件

        多态的实现：多态是在不同继承关系的类对象，去调用同一函数，产生了不同的行为。

        在C++继承中，要构成多态必须满足两个条件：

• 基类中必须包含虚函数，且在派生类中必须对基类的虚函数进行重写。
• 调用虚函数的对象必须是基类的指针或者引用(指针或引用保证在动态期间绑定)。

虚函数：在类的成员函数的前面加virtual关键字。

class A {
public:
	virtual void Test() {  }
};

 

---

虚函数的重写：派生类中有一个跟基类的完全相同虚函数，我们就称派生类的虚函数重写了基类的虚函数。

                           (完全相同是指：函数名、参数列表、返回值类型都相同。另外虚函数的重写也叫作虚函数的覆盖) 

                           (例外：协变、析构)

class Person {
public:
	virtual void BuyTicket() { cout << "买票-全价" << endl; }
};
class Student : public Person {
public:
	virtual void BuyTicket() { cout << "买票-半价" << endl; }
};
void Test(Person& p)
{
	p.BuyTicket();
}
int main()
{
	Person ps;
	Student st;
	Test(ps);
	Test(st);
	system("pause");
	return 0;
}

虚函数重写有一个例外：

        协变：重写的虚函数的返回值可以不同，但是必须分别是基类指针和派生类指针或者基类引用和派生类引用。

 

 析构函数的重写问题：

        基类中的析构函数如果是虚函数，那么派生类的析构函数就重写了基类的析构函数。这里他们的函数名不相同，看起来违背了重写的规则，但实际上，编译器对析构函数的名称做了特殊处理，编译后析构函数的名称统一处理成destructor，这也说明：基类的析构函数最好写成虚函数。

class Person {
public:
	virtual ~Person() { cout << "~Person()" << endl; }
};
class Student : public Person {
public:
	virtual ~Student() { cout << "~Student()" << endl; }
};
// 只有派生类Student的析构函数重写了Person的析构函数，下面的delete对象调用析构函数，
// 才能构成多态，才能保证p1和p2指向的对象正确的调用析构函数。
int main()
{
	Person* p1 = new Person;
	Person* p2 = new Student;
	delete p1;
	delete p2;
	system("pause");
	return 0;
}

  

虚函数为什么不能是static：

• 静态成员函数，可以不通过对象来调用，即没有隐藏的this指针
• 虚函数一定要通过对象来调用，即有隐藏的this指针

抽象类

接口继承和实现继承：

• 普通函数的继承是一种实现继承，派生类继承了基类函数，可以使用函数，继承的是函数的实现。
• 虚函数的继承是一种接口继承，派生类继承的是基类虚函数的接口，目的是为了重写，达成多态，继承的是接口。

        所以如果不实现多态，不要把函数定义成虚函数。

        在虚函数的后面写上 =0 ，则这个函数为纯虚函数。包含纯虚函数的类叫做抽象类（也叫接口类），抽象类不能实例化出对象。派生类继承后也不能实例化出对象，只有重写纯虚函数，派生类才能实例化出对象。纯虚函数规范了派生类必须重写，另外纯虚函数更体现出了接口继承。

        举个例子：

class Person
{
public:
	virtual void  BuyTicket() = 0;
};
class Student :public Person
{
public:
	virtual void  BuyTicket()
	{
		cout << "买票-半价"  << endl;
	}
};
class Adult :public Person
{
public:
	virtual void  BuyTicket()
	{
		cout << "买票-全价" << endl;
	}
};
void Test()
{
	Person* pStudent = new Student;
	pStudent->BuyTicket();
	Person* pAdult = new Adult;
	pAdult->BuyTicket();
}

int main()
{
	Test();
	system("pause");
	return 0;
}

  

---

 

此外，C++11提供 final 和 override 来修饰虚函数：

• final：使用final修饰虚函数，表明该虚函数在后续子类中不能被重写，一般修饰在派生类的虚函数中。

 

• override：帮助检测派生类中该虚函数是否是对基类中某个虚函数的重写，只能限制派生类的虚函数（基类中使用无意义）

实际中我们建议多使用纯虚函数+ overrid的方式来强制重写虚函数，因为虚函数的意义就是实现多态，如果没有重写，虚函数就没有意义。