c++虚函数表

class A
{
public:
	A() {}
	void print() { cout << "A"; }
	int n;
};
class B : public A
{
public:
	B() {}
	void print() { cout << "B"; }
};
int main()
{
    A* pointer = new B();
    pointer->print(); 

    return 0;
}

结果：结果打印出A

原因：pointer类型是A，指向类型是子类B。调用print()时候，这里是找到pointer类型的print()函数

如果有pointer类型有虚函数表，就先看指向类型的虚函数表，请看下面。

---

如果把一个函数定义为virtual，那这个类的对象就会出现一个虚函数表

class A
{
public:
	A() {}
	virtual void print() { cout << "A"; }
	int n;
};
class B : public A
{
public:
	B() {}
	void print() { cout << "B"; }
};
int main()
{
    A* pointer = new B();
    pointer->print(); 

    return 0;
}

结果：A的print()是虚函数，所以结果打印出B

原因：只要有一个vitual函数，类A的内存空间最前面多了一个虚函数表指针（_vfptr）指向一个虚函数表，B继承了A的虚函数表，当B内重写了print()，虚函数表的原print()函数指针就会被覆盖（若不重写就继承A的print()函数指针）（具体如下，结合两个图一起看）

调用print()时候，发现指针类型A有虚函数表，然后找到指向类型B的虚函数表，B的虚函数表中的print()函数指针指向的是B重写的print()函数。（下面0x00b215b9就是B重写的print()函数地址，覆盖了A的0x00b215be）

---

总结：

1.定义了virtual就会有虚函数表，且子类会继承该表，重写函数会覆盖

2.指针类型没有vitual就用指针类型的函数，有vitual就看指向类型的虚函数表找函数

3.因为有虚函数表，所以能运行时绑定（运行时候再绑定函数），就是我们所说的多态（上面2的没有virtual情况，再编译时候就绑定了函数）

---

Java中会自动默认是虚函数，所以子类重写方法就自动覆盖了，c++需要手动加virtual，不然就像最上面那样无法重写覆盖。

至于Java是不是用虚函数表来实现，我后面再看看。