虚函数和纯虚函数

前言

在C++中存在虚函数和纯虚函数，这两种存在异同点，有时会让人混淆，以下分别对这两种函数的异同点进行说明。

相同点

目的

两种函数的目的是一样的，都是为了实现C++语言的多态特性而诞生，父类把成员函数定义成(纯)虚函数，子类继承父类，并且重写该(纯)虚函数。父类的指针(或者引用)接收子类的对象指针(或者引用)，然后通过父类的指针(或者引用)调用(纯)虚函数，则实际调用的(纯)虚函数是子类重写后的(纯)虚函数，从而实现多态特性。
因此实现多态的条件可以总结如下：

• 父类定义一个虚函数；
• 子类重写该虚函数；
• 父类指针(或者引用)接收子类的对象指针(或者应用)；
• 调用父类的虚函数

析构函数

父类可以把其析构函数定义成(纯)虚函数，其作用是一样，如下所示：

• 可以解决父类指针释放子类对象的问题，即：在使用父类指针指向子类对象的场景下，当释放父类指针时，系统除了会调用父类的析构函数，也会调用子类的析构函数。反之，如果没有把父类析构函数定义成(纯)虚函数，系统只会调用父类的析构函数，如果子类开辟了空间并且要在析构函数释放，则会造成内存泄漏。
• 都需要有具体的函数实现
  示例代码如下所示：

class Animal {
public:

	Animal()
	{
		cout << "Animal 构造函数调用！" << endl;
	}
	virtual void Speak() = 0;

	//析构函数加上virtual关键字，变成虚析构函数
	//virtual ~Animal()
	//{
	//	cout << "Animal虚析构函数调用！" << endl;
	//}


	virtual ~Animal() = 0;
};

Animal::~Animal()
{
	cout << "Animal 纯虚析构函数调用！" << endl;
}

//和包含普通纯虚函数的类一样，包含了纯虚析构函数的类也是一个抽象类。不能够被实例化。

class Cat : public Animal {
public:
	Cat(string name)
	{
		cout << "Cat构造函数调用！" << endl;
		m_Name = new string(name);
	}
	virtual void Speak()
	{
		cout << *m_Name <<  "小猫在说话!" << endl;
	}
	~Cat()
	{
		cout << "Cat析构函数调用!" << endl;
		if (this->m_Name != NULL) {
			delete m_Name;
			m_Name = NULL;
		}
	}

public:
	string *m_Name;
};

void test01()
{
	Animal *animal = new Cat("Tom");
	animal->Speak();

	//通过父类指针去释放，会导致子类对象可能清理不干净，造成内存泄漏
	//怎么解决？给基类增加一个虚析构函数
	//虚析构函数就是用来解决通过父类指针释放子类对象
	delete animal;
}

int main() {

	test01();

	system("pause");

	return 0;
}

总结：

​ 1. 虚析构或纯虚析构就是用来解决通过父类指针释放子类对象。如果父类的析构函数不是(纯)虚函数，当释放父类指针时，编译器不会调用子类对象的析构函数。

​ 2. 如果子类中没有堆区数据，可以不写为虚析构或纯虚析构。

​ 3. 拥有纯虚析构函数的类也属于抽象类

差异点

父类

定义了虚函数的父类可以允许实例化父类的对象，但定义了纯虚函数的父类称为抽象类，抽象类不可以实例化对象。

子类

父类为抽象类，则子类必须重写该父类的纯虚函数，否则子类也为抽象类，不可以实例化子类的对象；如果父类定义的是虚函数，而不是纯虚函数，则无以上问题。