C++ virtual 关键字

C++ virtual 关键字

C++中，virtual 关键字修饰的函数称为虚函数。

我们知道，C++ 语法中有三大特征，封装、继承、多态。

这里我们重点说一下多态，多态简单理解为同一接口，不同形态，具体讲就是接口相同，函数名相同，传入的参数不同，调用的函数不同，产生的形态不同。

多态一般分为3类：
1.静多态，在编译阶段确定函数调用
2.动多态，在运行阶段确定函数调用
3.宏多态，在预编译阶段确定函数调用
而 virtual 修饰的函数即虚函数就是为这里的动多态提供支持的。

虚函数处理流程：
首先在编译阶段生成符号，然后将生成好的虚函数符号不仅给符号表中放一份，还要给只读数据段（ .rodata ）中放一份，只读数据段中存放的东西是以结构体的形式存在，这就是虚函数表（ vftable），虚函数表是在编译阶段生成的，虚函数表生成好以后，然后进行汇编，链接。链接阶段会将所有的段合并，包括 .rodata ，虚函数表里存放有虚函数的入口地址；接下来在运行阶段加载指令和数据时，就会将虚函数表中的虚函数的入口地址加载到内存中，这样一来，就可以在运行阶段确定函数的调用了，也就是动多态的实现。

#include <iostream>
class Base
{
public:
 Base(int a) : ma(a) {}
 virtual void Show()
 {
  std::cout << "ma : " << ma << std::endl;
 }
protected:
 int ma;
};

class Derive : public Base
{
public:
 Derive(int b) : mb(b), Base(b){}
 void Show()
 {
  std::cout << "mb : " << mb << std::endl;
 }
protected:
 int mb;
};

int main()
{
 Base* pb = new Derive(10);
 std::cout << sizeof(Base) << std::endl;//8
 std::cout << sizeof(Derive) << std::endl;//12
 std::cout << typeid(pb).name() << std::endl;//class Base *
 std::cout << typeid(*pb).name() << std::endl;//class Derive
 pb->Show();
 return 0;
}