虚拟的概念

我对 CPP 很陌生，正在学习后期绑定多态性。

根据我所阅读和理解的内容，virtual 关键字用于后期绑定。 它在编译时内部创建一个由 vptr 指向的 vtable。 所以， 例如

class BASE{
public:
virtual void f1(){cout<<"BASE F1\n";}
virtual void f2(){cout<<"BASE F2\n";}
void f3(){cout <<"BASE F3\n";}
};

class D1:public BASE{
public: 
    virtual void f1(){cout<<"D1 F1\n";}
    void f2(){cout<<"D1 F2\n";}  
};

class DD1:public D1{
public:
    void f1(){cout<<"DD1 F1\n";}
    void f2(){cout <<"DD1 F2\n";}
};

这里， BASE 在基类 vtable 中将有 2 个函数：

BASE::f1() 
BASE::f1()

D1继承自BASE，将继承vtable：

D1::f1()
BASE::f1

DD1 继承自 D1，不会有任何自己的 vtable。

当我们创建一个对象时：

//case 1:
BASE *b = new D1(); 
b->f1();//will print "D1 F1"
b->BASE::f1();//will print "BASE F1"
b->f2();//will print "D1 F2"
//case 2:
BASE *b1 = new DD1();
b1->f1();//will print "DD1 F1"
b1->D1::f1();//will print "D1 F1"
b1->BASE::f1();//will print"BASE F1"

但是，在这种情况下：b1->D1::f1();它给出了编译错误

 error: ‘D1’ is not a base of ‘BASE’

问题：为什么？不应该将 D1 F1 打印为其虚拟函数。

去扔之后fdump，我发现了一件比较有趣的事情，有点令人困惑；

Vtable for BASE
BASE::_ZTV4BASE: 4u entries
0     (int (*)(...))0
8     (int (*)(...))(& _ZTI4BASE)
16    (int (*)(...))BASE::f1
24    (int (*)(...))BASE::f2

Class BASE
   size=8 align=8
   base size=8 base align=8
BASE (0x7fbc3d2ff120) 0 nearly-empty
    vptr=((& BASE::_ZTV4BASE) + 16u)

Vtable for D1
D1::_ZTV2D1: 4u entries
0     (int (*)(...))0
8     (int (*)(...))(& _ZTI2D1)
16    (int (*)(...))D1::f1
24    (int (*)(...))D1::f2

Class D1
   size=8 align=8
   base size=8 base align=8
D1 (0x7fbc3d31f2d8) 0 nearly-empty
    vptr=((& D1::_ZTV2D1) + 16u)
  BASE (0x7fbc3d2ff180) 0 nearly-empty
      primary-for D1 (0x7fbc3d31f2d8)

Vtable for DD1
DD1::_ZTV3DD1: 4u entries
0     (int (*)(...))0
8     (int (*)(...))(& _ZTI3DD1)
16    (int (*)(...))DD1::f1
24    (int (*)(...))DD1::f2

Class DD1
   size=8 align=8
   base size=8 base align=8
DD1 (0x7fbc3d31f3a8) 0 nearly-empty
    vptr=((& DD1::_ZTV3DD1) + 16u)
  D1 (0x7fbc3d31f410) 0 nearly-empty
      primary-for DD1 (0x7fbc3d31f3a8)
    BASE (0x7fbc3d2ff1e0) 0 nearly-empty
        primary-for D1 (0x7fbc3d31f410)

问题： Class BASE 的虚拟表不会被 Class D1 继承，Class D1 vTable 和 Class BASE 会被 DD1 继承吗？虚拟表的继承将如何发生？

DD1 继承自 D1，不会有任何自己的 vtable。

没有错。它将拥有自己的 vtable，因为它会覆盖虚拟函数（virtual这里隐含了关键字，因为一旦声明了一个函数virtual在基类中，它到处都是虚拟的）。

问题：为什么？不应该将 D1 F1 打印为其虚拟函数。

The 静态类型 of b1 is Base*，即使它的动态类型是DD1*。因此你不能打电话b1->D1::f1因为该语法指示编译器静态地解析对（同样，静态地）不可用的函数的调用b1。如果您绝对想执行此调用，并且知道b1的动态类型实际上是D1（或从它派生），您可以对其进行强制转换以更改对象的静态类型：

static_cast<D1*>(b1)->D1::f1();