什么是虚函数

什么是虚函数

在某基类中生命为virtual并在一个或多个派生类中被重新定义的成员函数，用法格式为：

virtual函数返回类型 函数名（参数列表）{函数体}

实现多态性，通过指向派生类的基类指针或引用，访问派生类中的同名覆盖函数。

虚函数的创建继承

虚函数继承是解决多态性的，当用基类指针指向派生类对象的时候，基类指针调用虚函数的时候会自动调用派生类的虚函数，这就是多态性，也叫动态编联。
演示，先看下面代码：

#include<iostream>
using namespace std;
class A
{
    public:
        void print()
        {
            cout<<"This is A"<<endl;
        }
};
 
class B : public A
{
    public:
        void print()
        {
            cout<<"This is B"<<endl;
        }
};
 
int main()
{
    //为了在以后便于区分，我这段main()代码叫做main1
    A a;
    B b;
    a.print();
    b.print();
    return 0;
}

输出结果是：
This is A
This is B
上面通过调用不同类的print实现了不同的策略，不过这不是多态，这是不同类型指针持续的结果而已，我们改一下main函数：

int main()
{
    //main2
    A a;
    B b;
    A *p1 = &a;
    A *p2 = &b;
    p1->print();
    p2->print();
    return 0;
}

输出结果为：
This is A
This is A
这明显不是我们需要的结果，而如果我们采用虚函数，将类改动一下，如下：

class A
{
    public:
        virtual void print()
        {
            cout<<"This is A"<<endl;
        }
};
 
class B : public A
{
    public:
        void print()
        {
            cout<<"This is B"<<endl;
        }
};

这个时候输出就是：
This is A
This is B
这就是多态。

正确理解函数的重载、覆盖、隐藏

上面三种都是对应同名函数的三种关系：
重载：函数名相同，作用域不同，函数参数不同。
覆盖：基类和派生类中的函数同名，同参数，基类中的函数是虚函数，派生类中的同名函数会覆盖基类中的同名同参的虚函数。
隐藏：派生类中的函数会隐藏基类的函数。

虚函数是如何访问的

我们这里就用上面的类A和B来做解释，首先上面两个类里面都有虚函数，当编译器发现两个类中有虚函数存在的时候，就会为他们分别插入一段数据，并且分别为他们见一个表，那段数据叫做vptr指针，指向的表叫做vtbl，vtbl的作用就是保存自己类中虚函数的地址，可以看成是一个数组，这个数据的每一个元素存放的就是虚函数的地址。
然后我们创建一个A类的指针，然后去调用print函数，这个时候肯定调用的是A::print函数，这操作首先是取出类里面的vptr的值，这个值就是vtbl的地址，在根据这个值找到vtbl，这个时候vtbl里面只有A::print的地址，所以直接就是调用A::print函数
如果我们指向B类型的指针，这个时候vtbl里面保存的就是有A和B的print函数，但是B类里面的vptr里面指向的地址是B::print而不是A::print，这是时候就会访问B::print函数

参考资料：
https://baike.baidu.com/item/%E8%99%9A%E5%87%BD%E6%95%B0/2912832
https://blog.csdn.net/n1314n/article/details/90712962