第四课 类和对象-多态

4.7 多态
4.7.1 多态的基本语法
多态是C++面向对象三大特性之一
多态分为两类

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

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

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

class Animal
{
public:
	// 虚函数
	virtual void speak()
	{
		cout << "动物在说话" << endl;
	}
};

class Cat : public Animal
{
public:
	void speak()
	{
		cout << "小猫：喵喵喵" << endl;
	}
};

class Dog : public Animal
{
public:
	void speak()
	{
		cout << "小狗：汪汪汪" << endl;
	}
};

// 地址早绑定 在编译阶段确定函数地址 
// 如果想执行让猫说话，那么这个函数地址就不能提前绑定，需要在运行阶段进行绑定 地址晚绑定

// 动态多态满足条件
// 1.存在继承关系
// 2.子类重写父类中的虚函数

// 动态多态的使用
// 父类的指针或引用 执行子类对象
void doSpeak(Animal &animal)  // Animal & animal = cat;
{
	animal.speak();
}

void test01()
{
	Cat cat;
	doSpeak(cat);
}

void test02()
{
	Dog dog;
	doSpeak(dog);
}

int main()
{
	//test01();
	test02();

	system("pause");
	return 0;
}

4.7.2 纯虚函数和抽象类
纯虚函数语法：virtual 返回值类型 函数名 (参数列表) = 0;
当类中有了纯虚函数，这个类也成为抽象类
抽象类特点：

• 无法实例化对象；
• 子类必须重写抽象类中的纯虚函数，否则也属于抽象类；
  
  
  4.7.3 虚析构和纯虚析构
  多态使用时，如果子类中有属性开辟到堆区，那么父类指针在释放时无法调用到子类的析构代码

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

虚析构和纯虚析构共性：

• 可以解决父类指针释放子类对象
• 都需要有具体的函数实现
  虚析构和纯虚析构区别：
• 如果是纯虚析构，该类属于抽象类，无法实例化对象

class Animal
{
public:
	Animal()
	{
		cout << "Animal 构造函数" << endl;
	}
	virtual ~Animal()
	{
		cout << "Animal 析构函数" << endl;
	}
	virtual void speak() = 0;
	string *m_Name;
};

class Cat : public Animal
{
public:
	Cat(string name)
	{
		cout << "Cat 构造函数" << endl;
		m_Name = new string (name);
	}
	~Cat()
	{
		cout << "Cat 析构函数" << endl;
		if (m_Name != NULL)
		{
			delete m_Name;
			m_Name = NULL;
		}
	}
	void speak()
	{
		cout << *m_Name << "：喵喵喵" << endl;
	}
};

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

void test01()
{
	//Cat cat("Tom");
	//doSpeak(cat);
	Animal* animal = new Cat("Tom");
	animal->speak();
	delete animal;
}

int main()
{
	test01();

	system("pause");
	return 0;
}

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