C++三大特性之一：多态篇【创作不易，还请点赞+收藏❤】

最新推荐文章于 2024-10-15 22:10:02 发布

ᦦ້ᮨ꯭໌无感ᝰ

最新推荐文章于 2024-10-15 22:10:02 发布

阅读量746

点赞数 49

分类专栏：玩转C++ 文章标签： c++ 开发语言学习

本文链接：https://blog.csdn.net/FSRMWK/article/details/142185299

版权

玩转C++ 专栏收录该内容

4 篇文章 0 订阅

订阅专栏

一、多态的概念

从我们学习C++的时候，想必或多或少都听说过，C++的三大特性：封装、继承，多态；而今天我们将学习多态，多态简单来讲，就是多种形式。
多态分为，编译时多态——静态多态，运行时多态——动态多态。
静态多态：主要是函数重载和模板，在编译的时候，通过传递的参数不同，确定调用的具体某一种形式，因为是在编译时确定的，所以又称为编译时多态。
动态多态：子类与父类具有函数原型（函数名，返回参数，参数类型与个数）相同的虚函数，则在运行的时候，子类对象，通过调用基类的指针或引用，调用的子类的虚函数。举个现实的例子——在现实生活中，各地景点的购票窗口，不同的对象去买票，会存在不同的购票政策。如果是一个普通的成年人去购票，只能全价购票，若是一个大学生去购票，则允许半价购票，倘若你是一个军人，售票窗口可以为你，提供一个优先购票的车道。而不同的对象（买票的不同群体）去调用相同的函数（同一个售票窗口），可实现不同的效果。
最常用的多态，是通过虚函数实现的多态——动态动态★★★

二、多态的定义与实现

1.多态的构成条件

多态的是一个继承关系下的类对象，去调用同一函数，而产生了不同的行为。
子类与父类具有函数原型相同的函数，且两个函数必须是虚函数。
必须是通过基类的指针或引用调用的虚函数。
说明：父类的指针或引用可以同时指向父类对象、子类对象(通过父子类之间的类型兼容赋值，是一种切片效果)。子类必须对父类的虚函数重写/覆盖，只有这样，父子类才能有不同的虚函数，多态的不同效果才能达到。

class Adult
{
public:
	void Buy_Ticket()
	{
		cout << "郑州方特欢乐世界：180￥" << endl;
	}

	virtual void Service() 
	{
		cout << "请排队购票，原价——180￥" << endl;
	}
};

class Student : public Adult
{
public:
	virtual void Service()
	{
		cout << "请排队购票，学生价——90￥" << endl;
	}
};

class Soldier : public Adult
{
public:
	virtual void Service()
	{
		cout << "退役或现役军人，可优先购票,原价——180￥" << endl;
	}
};

void test(Adult& per) 
{
	per.Buy_Ticket();
	per.Service();
	cout << endl;
}

int main()
{
	// 多态构成条件之一：基类的指针或引用
	// 多态构成条件之二：父子类函数原型相同，且都是虚函数。

	Adult per1;
	Student per2;
	Soldier per3;

	test(per1);
	test(per2);
	test(per3);

	return 0;
}

2.虚函数

虚函数的定义：在非静态成员函数声明的前面加上关键字virtual，切记，虚函数只能用于成员函数中，其次static与关键字virtual不能同时使用。

3.重写/覆盖

（1）子类与父类具有相同的虚函数（返回参数、函数名、函数参数都相同），而函数体的内容不同，则可以说明子类重写了父类的虚函数。

（2）父类成员函数＋virtual，而子类成员函数没有+virtual的时候，因为子类继承了父类的原因，子类的函数，也具有虚函数的性质。所以父子类成员函数原型相同，父类的成员函数+virtual，而子类的成员函数没有加virtual，也构成重写。

（3）考察重写知识点的一种常见的坑，请分析下面的源代码，猜想一下其运行结果是什么？另外补充一些疑问：
子类的，func()前面未有virtual关键字，且其参数虽类型相同，但变量名称却不相同，父子类的func()是否构成虚构函数？
p->test()，在调用父类中的test()函数，会传递p的地址，给this指针，请问this指针的类型是A*,还是B*? 答案选项：A: A->0 B: B->1 C: A->1 D: B->0 E: 编译出错 F: 以上都不正确。

想必各位同学心中已经有了自己的答案，下面开始解析这道代码题：

问1：子类的，func()前面未有virtual关键字，且其参数虽类型相同，但变量名称，以及其缺省值却不相同，父子类的func()是否构成虚构函数？
答1：构成虚函数。首先继承父类的时候，对于普通成员函数来讲，可能继承函数的实现，而对于虚函数来讲，继承的是其函数声明(virtual func(int))，而子类对父类虚函数的重写，仅仅是修改父类的函数体的实现。所以子类重写的虚函数前面不加virtual，以及参数变量名不同，也不管缺省值是否相同，但只要保证参数类型相同，个数相同即可。

问2：p->test()，在调用父类中的test()函数，会传递p的地址，给this指针，请问this指针的类型是A*,还是B*?
答2：A*，在C++中成员函数的this指针的类型，是由函数定义的时候就已经确定好的，与调用对象的具体类型是无关系的。

问3：嗯，我明白了，p->test()，会构成多态，通过父类的指针调用到了子类的虚函数，但是输出结果为什么是B->1，而不是B->0呢？你看子类的虚函数func的缺省值是0。答3：在问题1的回答中，我已经提到，子类继承父类虚函数的时候，是对其接口进行继承，当子类重写父类的虚函数时，它实际上是在提供一个新的函数实现，而不是改变函数的原型，所以就不存在重写父类的函数参数默认值。

4.析构函数的重写

讲这个知识点之前，先来看一下代码案例，请问下面这个代码的运行结果是否是正确的？

class A
{
public:
	~A()
	{
		cout << "~A()" << endl;
	}
};

class B : public A
{
public:
	~B()
	{
		cout << "~B()" << endl;
	}
private:
	int* Data = new int[10];
};

经过代码分析与程序运行可得，这个代码的运行具有安全问题，存在内存泄漏问题，当释放val对象的时候，仅仅是调用了父类的析构函数，而没有对子类的资源进行清理。

为了解决这一问题，C++让子类可以重写父类的析构函数。既然子类可以重写父类的析构函数，可以推出：父类与子类的析构函数应该满足函数名相同、返回值相同、函数参数相同。而编译器的处理也是能印证我们的猜想，对象的析构函数的函数名，都会被编译器认为是destructor。

下面是重写父类析构函数之后，再次运行代码，正确的运行结果：

5..协变

继承体系中，成员函数重写有一种特殊的形式，两个虚函数的返回值可以不同，只要满足父类的虚函数的返回值是父类的指针或引用，子类的虚函数的返回值是子类的指针或引用（两者虚函数的返回值应该构成父子类关系）。

这种特殊的重写形式，被称为协变~

class Person
{
public:
	virtual Person* func() // 返回是父类的指针或引用
	{
		cout << " Person : void func()" << endl;
		return nullptr;
	}
};

class ZMH : public Person
{
public:
	virtual ZMH* func() // 返回是子类的指针或引用
	{
		cout << " ZMH : void func()" << endl;
		return nullptr;
	}
};

int main()
{
	Person* pa = new Person;
	Person* pb = new ZMH;

	pa->func();
	pb->func();

	return 0;
}

6.关键字override的使用

在继承体系中，多态的构成条件之一，父子类的虚函数构成重写的要求相对严苛（函数名相同，参数相同，返回值相同或构成协变），比如：函数名拼写错误则就构不成重写，且经常是出自运行中报错，如果在运行中，得不到我们想要的正确结果，再去debug，难免会造成一些时间的消耗。（比如把上面的例子进行修改，再次运行的结果是得不到我们的要求的，且编译的时候也不会报错。）

所以C++11，引入了override关键字(汉语意思是重写)，override关键字，用于要重写函数的函数参数后面；这个关键字的意图是在告诉编译器，帮我检查一下，在子类重写的父类函数的时候，是否满足重写的语法规则，则不满足重写的语法规则，则会报错。

7.关键字final的使用

这里将扩展一下关键字final的用途，在继承篇中，我们已经了解到，final关键字是用来实现一个不可继承的类；而在多态中，final则可以用在虚函数中，而不再让子类进行重写。

8.纯虚函数与抽象类

class Base // 包含虚函数的类，被称为抽象类
{
virtual void func() = 0; // 虚函数的书写形式
};

（1）纯虚函数的定义：诚如上述的，Base::func()的例子，在其函数声明后面加上“ = 0 ”，则此函数则被称为纯虚函数；纯虚函数必须被重写或者覆盖之后才能使用。

（2）抽象类的定义：包含纯虚函数的的类，则被称为抽象类，抽象类不能实例化出对象，但可以被派生类继承，若派生类，没有重写该纯虚函数，则派生类，则仍为抽象类。

（3）注意事项：在C++语法上，纯虚函数的实现是没有实际意义的，但并不代表就不能实例化，这一点在考试中，经常作为选项迷惑考生。

（4）下面用纯虚函数写一个简单的代码~，帮助理解纯虚函数与抽象类。

class Animal
{
public:
	// 此函数接口是用来，用程序打印字符串来，描述动物的叫声
	// 但此Animal并不是具体的对象，所以用此接口设计为纯虚函数，此类设计为抽象类
	virtual void Animal_voice() = 0; 
	static void func(Animal* animal)
	{
		animal->Animal_voice();
	}
};

class Cat:public Animal
{
public:
	
	virtual void Animal_voice() final // Cat是一个具体的对象的类型，这里用final关键字
	{
		cout << " 喵~喵~喵~" << endl;
	}
};


class Dog :public Animal
{
public:

	virtual void Animal_voice() final // Dog是一个具体的对象的类型，这里用final关键字
	{
		cout << " 汪~汪~汪~" << endl;
	}
};

int main()
{
	Cat animal1;
	Dog animal2;

	Cat::func(&animal1);
	Dog::func(&animal2);

	return 0;
}