C++多态（基础）

最新推荐文章于 2020-09-26 21:06:43 发布

ENSHADOWER

最新推荐文章于 2020-09-26 21:06:43 发布

阅读量324

点赞数

分类专栏： C++

本文链接：https://blog.csdn.net/ENSHADOWER/article/details/86498526

版权

C++ 专栏收录该内容

10 篇文章 3 订阅

订阅专栏

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

多态

一、概念

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

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

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

二、分类

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

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

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

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

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

三、实现条件

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

在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;
}