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;
}