C++多态与虚函数

---

---

前言

本篇文章主要讲解C++虚函数与多态相关内容。

---

一、虚函数的使用

（1）多态

  虚函数常见于抽象类和多态当中。多态的实现要借助于虚函数。
  多态的实现条件包含三个：
①基类相关函数必须为虚函数
②子类复写的函数的函数名，返回值和参数列表与基类相同。
③调用多态时候，必须为基类的指针或者引用。
  下面是多态借助虚函数实现的例子：

#include<iostream>
using namespace std;
//虚函数->多态  
class Shape {
public:
	virtual void draw() {

		cout << "Draw  Shape" << endl;
	}
};
class Circle : public Shape {
public:
	 virtual void draw(){
		cout << "Draw Circle" << endl;
	}
};
class Rectangle :public Shape {
private :
	 virtual void draw() {
		cout << "Draw Rectangle" << endl;

	}
};
void Func(Shape& sp) {
	sp.draw();
}

int main() {

	Shape  sp;
	Circle cl;
	Rectangle rt;
	Func(sp);
	Func(cl);
	Func(rt);
	return 0;
}

  针对不同形状，传入不同的子类对象，拥有着不同的行为。这里存在子类向父类的切片，中间不产生临时变量。

（2）多态的特殊情况

①协变
对于返回值可以有所不同，基类对应虚函数的返回值为子类返回值的父类，子类的复写函数返回值为对应的子类。
举例：

class A {};
class B :public A{};
class C {
public:
	virtual A* fun() {
		cout << "C fun()" << endl;
		return nullptr;
	}
};
class D:public C{
public:
	virtual B* fun() {
		cout << "D fun() " << endl;;
		return nullptr;

	}
};
int main() {
	C* pt = new D;
	pt->fun();
	return 0;
}

②子类父类中，析构函数可以起不同名字，也构成重载，建议在父类析构函数中添加virtual以防止内存泄漏。在编译器处理过程中，子类和父类的析构函数名会统一变为destructor()。先调用子类析构，再调用父类析构。
下面对父类的析构函数添加virtual，不构成多态，从而导致子类的析构函数不能调用，arr不能释放，造成内存泄漏的问题。

class C {
public:
	virtual void fun() {
		cout << "C fun()" << endl;
	}
	~C() {
		cout << "~C()" << endl;
	}
};
class D:public C{
public:
	virtual void fun() {
		cout << "D fun() " << endl;
	}
	~D() {
		delete[] arr;
		cout << "delete[] arr" << endl;
	}
private:
	int* arr = new int[5];
};
int main() {
	C* pt = new D;
	pt->fun();
	delete pt;
	return 0;
}

没能调用子类的析构函数，造成了内存泄漏。

添加virtual后的结果：

class C {
public:
	virtual void fun() {
		cout << "C fun()" << endl;
	}
	virtual ~C() {
		cout << "~C()" << endl;
	}
};
class D:public C{
public:
	virtual void fun() {
		cout << "D fun() " << endl;
	}
	virtual ~D() {
		delete[] arr;
		cout << "delete[] arr" << endl;
	}
private:
	int* arr = new int[5];
};
int main() {
	C* pt = new D;
	pt->fun();
	delete pt;
	return 0;
}

成功释放arr。

（3）纯虚函数与抽象类

  纯虚函数只需要在虚函数后面加上=0就行，只要包含纯虚函数的类都称为抽象类，抽象类无法实例化出对象，例如声明A a;就会报错。

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

二、虚表

  虚函数的地址都被存放在虚表中了，对应虚函数的查找，会在程序运行时在虚表中查找，称为动态绑定，不同于其他模板等静态绑定，静态绑定是在编译时就确定的。虚表地址存放在类实例化对象中前四个字节中，虚表存放在常量区，虚函数存放在代码段中，虚表中的知识点总结：
①子类会拷贝父类的虚表，若继承多个父类，则会拥有多个虚表，不过子类自己的虚函数会放在第一个父类虚表后面，也就是第一张虚表后面。
②对于子类复写父类的函数时候，直接在虚表对应父类函数对应的地方修改函数地址。例如A::f()会改为B::f()地址。
  关于虚表方面的更详细的知识，可参考大佬小念之歌的博客C++多态中虚函数表合并与继承问题

总结

  本文总结了虚函数的使用以及多态相关知识点，虚函数能够实现多态，另外虚函数存放在虚表中，子类父类的虚表会因为多态发生不同程度的变化。