c++多态如何实现

在基类的函数前加上virtual关键字，在派生类中重写该函数，运行时将会根据所指对象的实际类型来

函数。

class Base{
public:
  virtual void fun(){
    cout << " Base::func()" <<endl;
  }
};

class Son1 : public Base{
public:
  virtual void fun() override{
    cout << " Son1::func()" <<endl;
  }
};

class Son2 : public Base{

};
int main()
{
  Base* base = new Son1;
  base->fun();
  base = new Son2;
  base->fun();
  delete base;
  base = NULL;
  return 0;
}
// 运行结果
// Son1::func()
// Base::func()

// Base为基类，其中的函数为虚函数。子类1继承并重写了基类的函数，子类2继承基类但没有
// 重写基类的函数，从结果分析子类体现了多态性

虚表：虚函数表的缩写，类中含有virtual关键字修饰的方法时，编译器会自动生成虚表

• 编译器在发现基类中有虚函数时，会自动为每个含有虚函数的类生成一份虚表，该表是一个一维

  数组，虚表里保存了虚函数的入口地址

• 编译器会在每个对象的前四个字节中保存一个虚表指针，即vptr，指向对象所属类的虚表。在构

  造时，根据对象的类型去初始化虚指针vptr，从而让vptr指向正确的虚表，从而在调用虚函数时，能找到正确的函数

• 所谓的合适时机，在派生类定义对象时，程序运行会自动调用构造函数，在构造函数中创建虚表

  并对虚表初始化。在构造子类对象时，会先调用父类的构造函数，此时，编译器只“看到了”父类，并为 父类对象初始化虚表指针，令它指向父类的虚表；当调用子类的构造函数时，为子类对象初始化虚表指针，令它指向子类的虚表

• 当派生类对基类的虚函数没有重写时，派生类的虚表指针指向的是基类的虚表；当派生类对基类

  的虚函数重写时，派生类的虚表指针指向的是自身的虚表；当派生类中有自己的虚函数时，在自己的虚

  表中将此虚函数地址添加在后面