虚函数应用和原理

虚函数的表现形式

用子类初始化父类指针, 调用虚函数时, 仍然调用的是子类的虚函数
测试代码如下

#include <iostream>
#include <string.h>

using namespace std;

class A
{
public:
	void test() { cout << 'a' << endl; };
	virtual void test2 (){ cout << 'a' << endl; };
};

class B : public A
{
public:
	void test() { cout << 'b' << endl; };
	virtual void test2(){ cout << 'b' << endl; };
};


int main()
{
	A* a = new B();
	a->test();
	a->test2();
	a->A::test2();
}

输出结果是

a
b
a

虚函数的实现方式

虚函数表

实现的核心是虚函数表, 每个包含虚函数的类都包含一个虚表, 并且如果该类被继承, 子类也会生成一个自己的虚表.

虚函数表指针

虚函数表是类的, 不是某个具体对象的, 同一个类的所有对象, 都使用同一张虚表, 那么, 对象和类的虚表是如何绑定在一起的呢?
类内部包含一个虚表指针__vptr, 指向虚函数表, 在编译阶段就已经生成. 所以当对象创建时, 便拥有了这个指向类的虚表的指针

关键问题

那么问题又来了, 用子类去初始化父类指针, 父类指针是指向父类部分, 为什么会调用子类的虚函数表呢?
C++中虚函数的作用是什么？它应该怎么用呢？
这篇文章里写的很好, 大概意思就是, 直接调用虚函数的时候, 其实调用的不是真正的虚函数, 而是一个叫CallVirtualFun的代码. 这段代码会用来获取真正虚函数地址, 最后调用虚函数.
个人认为这些CallVirtualFun里面的内容都是同样的逻辑, 找到实例真正的虚函数指针, 然后在表中找到和自己同名的函数指针, 并执行.

其他问题

我们把经过虚表调用虚函数的过程称为动态绑定，其表现出来的现象称为运行时多态。
动态绑定区别于传统的函数调用，传统的函数调用我们称之为静态绑定，即函数的调用在编译阶段就可以确定下来了。