虚函数的表现形式
用子类初始化父类指针, 调用虚函数时, 仍然调用的是子类的虚函数
测试代码如下
#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
里面的内容都是同样的逻辑, 找到实例真正的虚函数指针, 然后在表中找到和自己同名的函数指针, 并执行.
其他问题
我们把经过虚表调用虚函数的过程称为动态绑定,其表现出来的现象称为运行时多态。
动态绑定区别于传统的函数调用,传统的函数调用我们称之为静态绑定,即函数的调用在编译阶段就可以确定下来了。