指向成员函数的指针执行虚拟调度？

最近我尝试运行以下代码。

#include <iostream>

class Base
{
public:
    virtual void func()
    {
        std::cout<<"Base called"<<std::endl;
    }
};

class Derived: public Base
{
public:
    virtual void func()  override
    {
        std::cout<<"Derived called"<<std::endl;
    }
};

int main()
{
    void (Base::*func_ptr)()=&Base::func; //Yes, the syntax is very beautiful.
    Base* bptr=new Derived();
    (bptr->*func_ptr)();
}

我的预期输出是Base called. 然而，输出是

Derived called

这让我感到惊讶，因为根据我的理解，func_ptr应该只能看到Base成员（因为据我所知，func_ptr不是通过 访问成员函数_vptr，而是访问函数地址本身。

我想知道，在这种情况下虚拟调度是如何发生的（如何访问虚拟表），以及这种行为在 C++ 标准中定义的位置（我搜索过但找不到任何东西）？

回答