多态

最新推荐文章于 2022-10-09 17:06:25 发布

陌亿

最新推荐文章于 2022-10-09 17:06:25 发布

阅读量124

点赞数 1

分类专栏： c++

本文链接：https://blog.csdn.net/childemao/article/details/102979412

版权

c++ 专栏收录该内容

18 篇文章 0 订阅

订阅专栏

1.多态的概念

通俗的说：可以说是同一件事物，在不同场景下表现出的不同状态。
在这里插入图片描述
举个列子：比如买票这个行为，当普通人买票时，是全价买票；学生买票时，是半价买票；军人买票时是优先买票。
都是一张车票，但购买的人不同，需要的票价也不同。

多态的概念：通俗来说，就是多种形态，具体点就是去完成某个行为，当不同的对象去完成时会产生出不同的状态。

2. 多态的定义及实现

在继承中要构成多态还有两个条件：（前提条件：在继承的体系中）
1.必须通过基类的指针或引用来调用虚函数。
2.被调用的函数必须是虚函数，且派生类必须对基类的虚函数进行重写。

2.2 虚函数

什么是虚函数：即被virtual修饰的类成员函数称为虚函数。

class person
{
public:
       virtual void BuyTicket()
       {
       cout << "全票价" << endl;
       }
 };

2.3虚函数的重写

虚函数的重写：派生类中有一个跟基类的完全相同虚函数，我们就称子类的虚函数重写了基类的虚函数，完全相同是指：函数名、参数、返回值都相同。另外虚函数的重写也叫作虚函数的覆盖。

注：再重写基类虚函数时，派生类的虚函数在不加virtual关键字时，也可以构成重写（因为继承后基类的虚函数被继承下来了，在派生类依旧保持虚函数属性），但这种写法不规范，不建议这样写。

2.4虚函数重写的两个例外：

1.协变（基类与派生类虚函数返回值类型不同）
派生类重写基类虚函数时：与基类虚函数返回值类型不同。即基类虚函数返回基类对象的指针或引用，派生类虚函数返回派生类对象的指针或引用时，称为协变。

class A {};
class B : public A{};
class person {
public:
	virtual A* f() {
		return new A;
	}
};
class student : public person
{
public:
	virtual B* f() {
		return new B;
	}
};

总结一下：基类虚函数返回基类的指针或引用。派生类虚函数返回派生类的指针或引用。
但是，不一定是当前类的指针或引用，只要是具有继承关系即可。

2.析构函数的重写（基类与派生类析构函数名字不同）
如果基类的析构函数为虚函数，此时派生类析构函数只要定义，无论是否加 virtual 关键字，都与基类的析构函数构成重写，虽然基类与派生类析构函数名字不同。虽然函数名字不同，看起来违背了重写的规则，其实不然，这里可以理解为编译器对析构函数的名字进行了特殊处理，编译后析构函数的名称统一处理成destructor。

class Person 
{
public:
	virtual ~Person() 
	{ 
		cout << "~Person()" << endl; 
	}
};
class Student : public Person 
{
public:
	virtual ~Student()
	{
		cout << "~Student()" << endl;
	}
};
int main()
{
	Person* p1 = new Person;
	Person* p2 = new Student;
	delete p1;
	delete p2;
	return 0;
}

2.5 c++11 override 和 final

c++ 对函数重写的要求比较严格，但有时疏忽，导致函数名字母次序写错而无法构成重写，而这种错误在编译期间不会报出，只有在程序运行时没有得到预期结果才来debug会得不偿失。所以 c++11 提供了 override 和final 两个关键字，可以帮助用户检测重写。

final ：修饰虚函数，表示该虚函数不能再被继承,不能被派生类重写。
override：检查派生类虚函数是否重写了基类某个虚函数，如果没有重写编译报错。

class Car {
public:
	virtual void Drive() {}
};
// 2.override 修饰派生类虚函数强制完成重写，如果没有重写会编译报错
class Benz :public Car {
public:
	virtual void Drive() override { cout << "Benz-舒适" << endl; }
};

2.6 重载、覆盖（重写）、隐藏（重定义）

函数重载概念：两个函数必须在同一作用域下，用一个函数名定义不同的函数，当函数名和不同的参数搭配是函数的含义不同。（1.函数名需相同。2.参数的个数、参数的顺序和参数的类型不同均可构成重载。3.在同一作用域。4.返回值类型不同不能构成重载。）
重写（覆盖）：
1.两个函数分别在基类和派生类的作用域；
2.函数名 / 参数 / 返回值都必须相同（协变除外）；
3 .两个函数必须是虚函数。
重定义（隐藏）：
1.两个函数分别在基类和派生类的作用域；
2.函数名相通（参数列表，返回值无关）；
3.两个基类和派生类的同名函数下，不构成重写就是重定义。

2.7 接口继承和实现继承

普通函数的继承是一种实现继承，派生类继承了基类函数，可以使用函数，继承的是函数的实现。虚函数的继承是一种接口继承，派生类继承的是基类虚函数的接口，目的是为了重写，达成多态，继承的是接口。所
以如果不实现多态，不要把函数定义成虚函数。

3. 抽象类

3.1 概念

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

4. 多态实现原理

在这里插入图片描述
通过上图可以看出：该类的大小为 8 字节
对象模型：
在编译器编译阶段：会自动生成一个表格，里面存放虚函数。然后在调用构造函数阶段时，将虚表的地址放在对象的前四个字节中。

虚表构建规则：按照虚函数在基类中的声明次序加载到虚表中。

派生类虚表构建规则：
1.将基类虚表中内容拷贝一份到派生类虚表中。
2.如果派生类重写了基类某个虚函数，用派生类虚函数地址替换基类虚函数地址。

class B1
{
public:
	virtual void func1()
	{}
	virtual void func2()
	{}
	virtual void func3()
	{}
private:
	int _b1;
};
class B2
{
	virtual void func4()
	{}
	virtual void func5()
	{}
	virtual void func6()
	{}
private:
	int _b2;
};
class D : public B1, public B2
{
	virtual void func1()
	{}
	virtual void func3()
	{}
	virtual void func5()
	{}
	void func6()
	{}
private:
	int _d;
};

在这里插入图片描述
对象模型：

5.菱形虚拟继承

class B 
{
public:
	virtual void func1()
	{}
	virtual void func2()
	{}
private:
	int _b;
};
class C1 : virtual public B
{
public:
	virtual void func1()
	{}
	virtual void func2()
	{}
private:
	int _c1;
};
class C2 : virtual public B
{
public:
	virtual void func1()
	{}
	virtual void func2()
	{}
private:
	int _c2;
};
class D : public C1, public C2
{
public:
	virtual void func1()
	{}
	virtual void func2()
	{}
	void func3()
	{}
private:
	int _d;
};