关于 虚函数 基类为什么能访问派生类的虚函数表的问题

问题如上。

代码:

#include <iostream>
using namespace std;

class A
{
public:
    virtual void f()
    {
        cout << "A f()" << endl;
    }
};

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

int main()
{
    A a;
    B b;
    a = b;
    a.f();
    A *aa=&b;
    aa->f();
    return 0;
}

很简单的一个例子,结果输出自然是:
A f()
B f()

但是我不明白为什么会这样。 如果说a = b的时候是将b先类型转化成a再进行复制的,所以没有改变a里面的虚函数表,那A *aa=&b为啥就不是了。 而且我查了下其他资料,基类和派生类的虚函数表用的_vptr也不是同一个,所以是怎么具体实现的呢?

    A a;  
    B b;
    a = b;
//a=b只是对a对象进行赋值,并没有改变a的类型,_vptr并不会因为赋值而改变,_vptr是跟class绑定的。
    a.f();//你这个地方的调用并不会使用到虚函数表,只是个简单的成员函数调用,虚函数表的调用是需要指针或者引用类型。
    A *aa=&b;//aa指向的是B类型对象的地址空间,对应的虚函数表示B类的,因此aa->f()调用到B类的f()函数
    aa->f();


它虚就虚在所谓"推迟联编"或者"动态联编"上,一个类函数的调用并不是在编译时刻被确定的,而是在运行时刻被确定的。由于编写代码的时候并不能确定被调用的是基类的函数还是哪个派生类的函数,所以被成为"虚"函数。
**个人理解: **
A a; //类A对象a
B b; //类B对象b
a = b;
a.f();//输出A f()
A *aa=&b;
aa->f();//输出B f()

具体的解释可以看看之前个人之前收藏的这篇文章 (关于C++ 虚函数表解析得很不错):https://blog.csdn.net/haoel/article/details/1948051

img

希望对题主有所帮助,可以的话,帮忙点个采纳!

多态是基于引用和指针的