多态相关笔记

---

多态的概念和原理

定义

多态（Polymorphism）是面向对象编程中的一个重要概念，指的是在同一操作作用于不同类型的对象时，会产生不同的行为。具体而言，多态性允许使用父类类型的指针或引用来引用子类对象，并根据实际的对象类型来调用相应的方法

---

实现条件

类的要求：
1.要有继承关系
2.父类中有虚函数，并且子类有相对应的重写

class A
{
	public:
	virtual void func()
	{
		cout<<"A"<<endl;
	}
};

class B:public A
{
	public:
	virtual void func()
	{
		cout<<"B"<<endl;
	}
};

实现方式：
1.需要通过父类指针或者引用调用虚函数

void Func(A& a)
{
	a.func();
}
int main()
{
	//指针调用
	A* a = new B;
	a->func();

	//引用调用
	B b;
	Func(b);
	
}

---

多态的实现细节

虚基表

在包含虚函数的类及其子类中，其创建的对象比别的类多包含一个指针(__vfptr)，叫做虚函数表指针，其指向一个虚函数表，表中存放着当前类的所有虚函数及其父类的虚函数

class A
{
public:
	virtual void func1()
	{
		cout << "A:func1()" << endl;
	}
	virtual void func2()
	{
		cout << "A:func2()" << endl;
	}
};

class B 
{
public:
	virtual void func3()
	{
		cout << "B:func3" << endl;
	}
	virtual void func4()
	{
		cout << "B:func4" << endl;
	}
};
class C:public A,public B
{
	virtual void func1()
	{
		cout << "C:func1" << endl;
	}
	virtual void func3()
	{
		cout << "C:func3" << endl;
	}
};

---

多继承中的虚基表

class A
{
	void virtual func1(){}
};
class B
{
	void virtual func2(){}
};
class C:public A,public B
{
	void func1(){}
}

对于以上继承关系来说C中虚基表存储函数的顺序按照继承顺序

---

虚函数

虚函数的定义

被virtual修饰的 类 成员函数叫做虚函数

---

虚函数的重写

当父类和子类都有相同返回值类型，函数名，参数列表的虚函数，叫做虚函数的重写

---

虚函数的两个例外

1.**协变：**协变就是重写的虚函数他们的返回值类型可以有所不同，但这两个返回类型必需是衍生关系
2.析构函数的重写： 想要让两个析构重写通过以上信息看上去并不满足相关条件，但实际上编译器为了满足条件，是析构函数名称统一处理为destructor

---

重载、重定义、重写的对比

**重载：**同一作用域内，函数名相同，参数列表不同
**重定义：**继承关系中，子类本身与继承得来的具有相同函数名和参数列表
重写：继承关系中，子类与父类的虚函数部分，有着相同名称、参数列表和返回类型

---

抽象类

纯虚函数

后面加上"=0"的虚函数叫做纯虚函数

class A
{
	void virtual func()=0;
};

---

抽象类的定义

包含纯虚函数的类叫做抽象类，抽象类不能实例化对象，同时只有重写该虚函数的子类才能实例化对象