C++学习记录--C++基础8（多态/多态原理/虚函数与纯虚函数/虚析构与纯虚析构）

b站黑马程序员C++课程学习笔记

类和对象

多态

优点:

• 代码组织结构清晰
• 可读性强
• 利于前期和后期的扩展以及维护

在写代码时，要考虑是否能写成多态

多态的基本概念

多态是C++面向对象三大特性之一
多态分为两类

• 静态多态：函数重载 和 运算符重载属于静态多态，复用函数名
• 动态多态：派生类和虚函数实现运行时多态

静态多态和动态多态区别：

• 静态多态的函数地址早绑定 - 编译阶段确定函数地址
• 动态多态的函数地址早绑定 - 运行阶段确定函数地址

class Animal
{
public:
	//Speak函数为虚函数
	//函数前加关键字virtual，变成虚函数，编译器在编译的时候就不能确定函数调用了
	virtual void speak()
	{
		cout << "动物在说话" << endl;
	}
};

class Cat :public Animal
{
public:
	void speak()
	{
		cout << "小猫在说话" << endl;
	}
};

class Dog :public Animal
{
public:
	void speak()
	{
		cout << "小狗在说话" << endl;
	}
};

//我们希望传入什么对象，那么就调用什么对象的函数
//如果函数地址在编译阶段就能确定，那么静态联编
//如果函数地址在运行阶段才能确定，就是动态联编

void DoSpeak(Animal & animal)
{
	animal.speak();
}

//多态的满足条件
//1.有继承关系
//2.子类重写父类中的虚函数(函数返回值类型 函数名 参数列表完全一致称为重写)
//多态使用：
//父类指针或引用指向子类对象

void test01()
{
	Cat cat;
	DoSpeak(cat);

	Dog dog;
	DoSpeak(dog);
	
}

看代码初步了解多态

多态的原理剖析

当类非静态成员函数没有加关键字virtual时，Animal相当于空类，sizeof(Animal) = 1

class Animal
{
public:
	//Speak函数为虚函数
	//函数前加关键字virtual，变成虚函数，编译器在编译的时候就不能确定函数调用了
	void speak()
	{
		cout << "动物在说话" << endl;
	}
};

当加入关键字virtual以后，多出了一个虚函数（表）指针，指向虚函数地址，因此sizeof（animal）=4

class Animal
{
public:
	//Speak函数为虚函数
	//函数前加关键字virtual，变成虚函数，编译器在编译的时候就不能确定函数调用了
	virtual void speak()
	{
		cout << "动物在说话" << endl;
	}
};

animal类的结构：

发生重写之后cat类的结构：

纯虚函数和抽象类

在多态中，通常父类中的虚函数的实现是毫无意义的，主要都是调用子类重写的内容
因此可以将虚函数改为纯虚函数
纯虚函数语法：virtual 返回值类型 函数名（参数列表） = 0;
当类中有了纯虚函数(只要有抽象函数)，这个类也成为抽象类

抽象类的特点：

• 无法实例化对象（不允许）
• 子类必须重写抽象类中的纯虚函数，否则也属于抽象类

虚析构和纯虚析构

多态使用时，如果子类中有属性开辟到堆区，那么父类指针在释放时无法调用子类的析构代码,导致子类如果有堆区属性，会出现内存泄漏情况

解决方式：将父类的析构函数改为虚析构或者纯虚析构

虚析构和纯虚析构的共性：

• 可以解决父类指针释放子类对象
• 都需要具体的函数实现

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

虚析构语法：virtual ~类名(){}
纯虚析构语法：virtual ~类名()=0;
如果子类中没有堆区数据，可以不写为虚析构或纯虚析构