C++之多态

一、多态的类别

1、静态多态：在编译阶段进行绑定的，编译器根据函数实参的类别（包含隐式转换）直接绑定。
2、动态多态：程序运行时根据所引用对象的类别，调用该类别的函数。

二、多态原理

1、多态的发生条件：子类重写了父类的虚函数，调用函数的对象必须是指针或引用。

2、代码示例
（1）静态多态：通过函数重载和运算符重载的形式表现出来
（2）动态多态：父类的引用或者指针可以直接指向子类的对象(Animal &animal = cat），封装可以隐藏实现细节，使得代码模块化；继承可以扩展已存在的代码模块（类）；它们的目的都是为了――代码重用。 那么，多态的作用是什么呢？多态是为了实现另一个目的――接口重用！

#include<iostream>
#include<vector>
using namespace std;

class Animal {
public:
	void doSpeak(){
		cout << "动物在说话" << endl;
	}
};
class Cat : public Animal {
public:
	void doSpeak() {
		cout << "猫在说话" << endl;
	}
};
void test(Animal& animal) {
	animal.doSpeak();
}

int main()
{
	Animal animal;
	Cat cat;
	test(animal);
	test(cat);

	return 0;
}

如上所示：并没有输出“猫在说话”，这是因为test()函数的地址在编译阶段就已经绑定了，在编译阶段时传入的对象是Animal，所以调用的是Animal的speak()函数。

但是我们传入的对象是cat，实际上我们是想让cat说话，就要用到多态。也就是在基类的函数前加上virtual关键字，使其成为虚函数，然后在子类中重写，就能够在运行阶段根据传入的实参进行调用对应的函数

#include<iostream>
#include<vector>
using namespace std;

class Animal {
public:
	virtual void doSpeak(){
		cout << "动物在说话" << endl;
	}
};
class Cat : public Animal {
public:
	virtual void doSpeak() {
		cout << "猫在说话" << endl;
	}
};
void test(Animal& animal) {
	animal.doSpeak();
}

int main()
{
	Animal animal;
	Cat cat;
	test(animal);
	test(cat);  //隐含了Animal &animal = cat;这里是因为派生类只能给基类赋值，会发生切片操作。基类不能给派生类赋值。

	return 0;
}

3、查看多态的内容



类所占内存的大小是由成员变量（静态变量除外）决定的，虚函数指针和虚基类指针也属于数据部分，成员函数是不计算在内的。因为在编译器处理后，成员变量和成员函数是分离的。成员函数还是以一般的函数一样的存在。a.fun()是通过fun(a.this)来调用的。所谓成员函数只是在名义上是类里的。
成员函数和非成员函数是放在代码区的
其实成员函数的大小不在类的对象里面，同一个类的多个对象共享函数代码。
无论有多少个虚函数，都只有一个虚函数表指针（vfptr）
而我们访问类的成员函数是通过类里面的一个指针实现，而这个指针指向的是一个table，table里面记录的各个成员函数的地址（当然不同的编译可能略有不同的实现）。所以我们访问成员函数是间接获得地址的。所以这样也就增加了一定的时间开销，这也就是为什么我们提倡把一些简短的，调用频率高的函数声明为inline形式（内联函数）
为什么空的什么都没有是1呢？
c++要求每个实例在内存中都有独一无二的地址。空类也会被实例化，所以编译器会给空类隐含的添加一个字节，这样空类实例化之后就有了独一无二的地址了。所以空类的sizeof为1

当基类函数没有virtual关键字时，子类继承将基类所有都继承下来，而有virtual时，是对该函数进行重写（覆盖了基类的该函数）。

三、虚析构函数

基类中的析构函数如果是虚函数，那么派生类的析构函数就重写了基类的析构函数。他们的函数名不相同，看起来违背了重写的规则，可以理解为编译器对析构函数的名称做了特殊处理，编译后析构函数的名称统一处理成destructor。
将析构函数定义为虚函数的原因：

因为基类指针可能指向派生类，当delete的时候，如果不定为虚函数，系统会直接调用基类的析构函数，这个时候派生类就有一部分没有被释放，就会造成内存泄漏问题。

若定义为虚函数构成多态，那么就会根据传入的实参对象进行delete

所以！在继承的时候，尽量把基类的析构函数定义为虚函数，这样继承下去的派生类的析构函数也会被变成虚函数构成多态。

虚析构函数就是用来解决通过父类指针释放子类对象

四、纯虚函数

1、虚函数：

virtual 返回值 函数名(形参)；

2、**纯虚函数：**含有纯虚函数的类叫抽象类（也叫接口类），抽象类不能实例化，派生类也必须重写该纯虚函数后才能实例化对象。

virtual 返回值 函数名(形参) = 0；