虚函数

空的结构或类的字节？

• 为了让类或结构能够确实存在，所以用一个没有用的字节来占位置

一、虚函数表

• 类中一旦有虚函数，类的大小至少增加４字节，因为编译器会为有虚函数的类生成一个虚函数表，使用一个指针来指向（虚函数表指针，简称虚指针），这个指针一般存在于类的首地址。

• 动态绑定：虚函数的调用不像其它函数直接生成调用代码（静态绑定），而是先一段代码替代调用语句，然后这段代码在运行时被执行：
  1.确定调用指针或引用的对象的真实类型。
  ２、根据该对象的首地址->虚指针->虚函数表->虚函数地址。
  ３、根据虚函数地址找到虚函数。

• 动态绑定的影响：
  １、虚函数表会增加内存空的开销。
  ２、虚函数的调用会比普通函数多出几个步骤，增加了运行的时间。
  ３、因此只在适合多态的场合建议使用虚函数，否则尽量使用普通函数。

二、运行时的类型信息动态类型转换

• typeid获取类型信息的关键字，使用时需要添加typeinfo头文件。 typeid可以计算出关于类的type_info信息。

• 动态类型转换：dynamic_cast<目标类型>(源类型数据); 只有存在继承关系子类转换为基类才能成功，否则就会出错。

• 必须是指针或引用做类型转换，否则编译出错。

构造函数和析构函数是否可以是虚函数，为什么？

• 构造函数不是虚函数，当子类对象构造时，会先构造基类并调用基类的构造函数，假如该构造函数为虚，如果已经被子类覆盖，则会调用子类的同名函数，但是此时子类还没有构造完成因此不能执行（错误），如果没有被覆盖，则该虚函数没有意义，因此编译不允许构造函数为虚函数。

• 使用多态时析构一定要是虚函数，当基类指针指向子类对象时，通过delete释放对象时，如果析构没有被覆盖，则只调用基类析构函数，子类中的资源就无法释放。