即使在动态转换向上转换之后，覆盖函数也会隐藏

问题描述

我开始了解动态转换以及它如何使用 RTTI 来确定向下转换的对象类型。 在这个例子中，我做了一个向上转换，从派生类到基类。

#include <iostream>

using namespace std;


class Base
{
public:
    virtual void foo()
    {
        cout<<"Base"<<endl;
    }
};

class Derived : public Base
{
public:
    void foo()
    {
        cout<<"Derived"<<endl;
    }
};


int main()
{
    Derived* d = new Derived();

    Base* b = dynamic_cast<Base*>(d);        //(1)

    cout<<typeid(b).name()<<endl;
    b->foo();

    return 0;

} 

程序打印：

PBase
Derived

对我来说：

• 在编译过程中，编译器为基类创建了一个 vTable，其中我们有一个指向 RTTI“表”的指针，以及一个指向 Base::foo 函数的指针。
• 在执行时，当程序到达第(1)行时，他创建了一个指向这个vTable的_vptrBase指针。

我的问题是：当我们调用 foo 函数时，程序怎么会打印“Derived”？为什么它不调用 Base::foo 函数？

解决方法

引用 cppreference（粗体是我的）：

虚函数是成员函数，其行为可以 在派生类中重写。与非虚拟功能相反， 即使没有编译时，也会保留覆盖行为 有关类的实际类型的信息。也就是说，如果一个 派生类使用指向基类的指针或引用进行处理， 对重写的虚函数的调用将调用该行为 在派生类中定义。这样的函数调用被称为虚拟 函数调用或虚调用。