C++第十七次课笔记——多态（纯虚函数和抽象类、虚析构和纯虚析构）

纯虚函数与抽象类

1、在多态中，通常父类中虚函数的实现是毫无意义的，主要都是调用子类重写的内容。这种情况可以将虚函数改为纯虚函数
2、纯虚函数语法： virtual 返回值类型 函数名 （参数列表）=0；

3、当类中有了纯虚函数，这个类也称为抽象类

4、抽象类的特点：
①无法实例化对象
②子类必须重写抽象类中的纯虚函数，否则也该子类属于抽象类

class Base {
public:
	//纯虚函数
	//1、无法实例化对象
	//1、抽象类的子类必须重写父类中的纯虚函数，否则也属于抽象类
	virtual void func() = 0;
};

class Son :public Base {
public:
	virtual void func() {
		cout << "func()函数调用" << endl;
	}
};
void test01() {
	//Base b;//抽象类无法实例化对象
	//new Base;//抽象类无法实例化对象

	Base* base = new Son;
	base->func();

}

虚析构和纯虚析构

1、问题： 多态使用时，如果子类中有属性开辟到堆区，父类指针在释放时无法调用到子类的析构代码。
2、解决办法： 将父类中的析构函数改为虚析构或者纯虚析构。

3、虚析构和纯虚析构共性：
①可以解决父类指针释放子类对象
②都需要有具体的函数实现

4、虚析构和纯虚析构区别：
①如果是纯虚析构，该类属于抽象类，无法实例化对象

5、虚析构语法： virtual ~类名（）{ }

6、纯虚析构语法：
virtual ~类名() = 0;
类名：：~类名（）{ }

class Animal {
public:
	Animal() {
		cout << "Animal构造函数调用" << endl;
	}
	//纯虚函数
	virtual void speak() = 0;

	利用虚析构可以解决父类指针释放子类对象时不干净的问题
	//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() {
		if (m_name != NULL) {
			cout << "Cat析构函数调用" << endl;
			delete m_name;
			m_name = NULL;
		}
	}
	
	string *m_name;
};

void test01() {
	Animal* animal = new Cat("tom");
	animal->speak();
	//父类指针在析构时候，不会调用子类中析构函数，导致如果子类中有堆区属性，会出现内存泄露
	delete animal;
}

总结：
1、虚析构或纯虚析构都是用来解决通过父类指针释放子类对象
2、如果子类中没有堆区数据，可以不写为虚析构或者纯虚析构
3、拥有纯虚析构函数的类也属于抽象类