虚函数对象切片

Question

我的问题是参考这个问题，它解释了虚拟函数在情况下如何工作对象切片最终调用基类虚函数和维基百科文章解释了虚拟表布局对于以下代码的派生类

    class A{

    public:
     virtual void func(){ cout<<"\n In A:func";}
    };

    class B:public A{

    public:
     virtual void func(){ cout<<"\n In B:func";}
    };

   main(){
    A *ptr1 = new B();

    A oA = *ptr1;

    oA.func(); 
  }




      DerviedClassObjectB:
         +0: pointer to virtual method table of B 

       virtual method table of B:
         +0: B::func

上面的程序输出“In A::func”。

但是，如果类 B 的虚表不知道基类 A::func，那么如何最终调用 A::func

Answer 1

A oA = *ptr1;

这会将所有成员变量复制到新的 A 对象中。 vtable 指针不是普通的成员变量，并且不会被复制。因此，针对该对象调用的任何后续虚拟函数都将表现为它是一个 A 对象，因为它是一个 A 对象。

Answer 2

“B 类的虚拟表”？ B 类的虚拟表根本不参与 oA.func() 调用。对象oA 具有类型A，这意味着它的虚拟表是类A 的虚拟表。

此外，大多数编译器都会优化 oA.func() 调用，以便它根本不会使用任何虚拟表。由于 oA 的类型在编译时已知，因此 oA.func() 调用可以立即定向到 A::func，而无需使用任何虚拟表。