virtual的原理

虚函数：

深度探索c++对象模型中提到，虚函数由两个步骤支持：

1、每一个class产生一堆指向virtual functions 的指针，放在表格中，这个表格被称为 virtual table (vtbl)

2、每一个class object 被安插一个指针，指向相关的Virtual table。通常这个指针被称为vptr，每一个class所关联的type_info object(用于支持RTTI)也经由 virtual table 被指出来，通常放在表格的第一个格

c++的虚函数是实现多态的机制。虚函数是通过虚函数表实现的，虚函数表在编译期间建立，在程序的编译过程中会将虚函数的地址放在虚函数表中，类的实例在调用函数的时候会在虚表中寻找函数地址进行调用，一个类中所有实例都共享同一张虚函数表。

多态的实现：

静态多态：

静态多态主要是重载，编译器在编译期间完成，根据实参的类型来确定具体调用的函数

#include <iostream>

void print(int value);
void print(char value);
void print(double value);

void print(int value)
{
	std::cout << "int value: " << value << std::endl;
}
void print(char value)
{
	std::cout << "char value: " << value << std::endl;
}
void print(double value)
{
	std::cout << "double value: " << value << std::endl;
}

int main()
{
	print(5);
	print('a');
	print(6.0);
	return 0;
}

动态多态：

动态多态主要是由虚函数实现的，在运行期间动态绑定。

在c++语言中，当我们使用基类的引用(或指针)调用一个虚函数的时将发生动态绑定。

用引用（或指针）调用的虚函数在运行时确定，被调用的函数是引用（或指针）所指对象的实际类型所定义的。

//注意传入的参数
Quote base("0-201-82470-1", 50);
print_total(cout, base, 10);	//调用的是quote::net_price
bulk_qute derived("0-201-82470-1", 50, 5, .19);
print_total(cout, derived, 10);	//调用的是bulk_qute::net_price

多态有三个必要条件：
1、必须存在继承关系；
2、继承关系中必须有同名的虚函数；
3、有父类引用指向子类对象

通过下面代码来具体的看下动态多态：

#include <iostream>

class Base 
{
public:
	virtual void print()
	{
		std::cout << "This is Base" << std::endl;
	}
};
class Derived :public Base 
{
public:
	void print()
	{
		std::cout << "This is Derived" << std::endl;
	}
};
int main() 
{
	Base base;
	Derived derived;
	Base* p1 = &base;
	Base* p2 = &derived;
	p1->print();
	p2->print();
}

参考：
《深度探索C++对象模型》
《C++ Primer》