c++ - 构建过程中的虚拟函数调用

Question

在During construction and destruction的示例中:

struct V {
    virtual void f();
    virtual void g();
};

struct A : virtual V {
    virtual void f(); // A::f is the final overrider of V::f in A
};
struct B : virtual V {
    virtual void g(); // B::g is the final overrider of V::g in B
    B(V*, A*);
};
struct D : A, B {
    virtual void f(); // D::f is the final overrider of V::f in D
    virtual void g(); // D::g is the final overrider of V::g in D

    // note: A is initialized before B
    D() : B((A*)this, this) 
    {
    }
};


B::B(V* v, A* a)
{
    f(); // virtual call to V::f (although D has the final overrider, D doesn't exist)
    g(); // virtual call to B::g, which is the final overrider in B 

    v->g(); // v's type V is base of B, virtual call calls B::g as before

    a->f(); // a’s type A is not a base of B. it belongs to a different branch of the
            // hierarchy. Attempting a virtual call through that branch causes
            // undefined behavior even though A was already fully constructed in this
            // case (it was constructed before B since it appears before B in the list
            // of the bases of D). In practice, the virtual call to A::f will be
            // attempted using B's virtual member function table, since that's what
            // is active during B's construction)
}

问题1:为什么 v->g()调用 B::g()？
问题2:这是什么意思？

the virtual call to A::f will be attempted using B's virtual member function table, since that's what is active during B's construction.

Answer 1

在C++中，访问未构造的对象是未定义的。为了避免这种未定义的行为，对象在构造期间指向不同的虚拟表(vtable)。如果存在Base和Derived类，则对象最初指向vtable Base。稍后当Derived开始构建时，vtable指向`Derived。最后，此答案与问题2的答案一起进行了说明。

相同的规则适用于虚拟继承。但是，在虚拟继承的情况下，构造顺序与常规继承不同，并且vtable遵循该构造顺序。

您的情况如下:

B::B(V* v, A* a)

和

D() : B((A*)this, this)  // in class D

这意味着在构造 D之前，它将构造其父 B。 B::B将 this强制转换为 A*和 D*。在 B::B时， D的构造函数尚未启动，因此vtable并未指向 D的方法。该对象指向更早的vtable。对象使用哪个vtable的问题取决于零件的构造顺序。

首先构建虚拟基础，在这种情况下，仅是 V。其余的照常。这意味着订单是 V->A->B->D。

这是代码中不同函数调用的列表:

f()-尚未构建D，因此无法调用D::f()，并且vtable不会指向它。 A不是B的基础，因此不会调用A::f()。剩下的唯一选项是V::f()。注意，给定一个指向对象的指针，就不会调用同级的虚函数。只是对象的最派生方法，其父级和其子级(一直到对象的动态类型)。

g()-尚未构建D，因此无法调用D::g()。由于这是B的构造函数，它可以访问其所有方法，因此B::g()被调用。

v->g()-v的类型为V，并可能通过虚拟方法机制调用子类之一的g()。 D尚未构建，因此D::g()尚未在vtable中。由于这是B的构造函数，因此vtable已更新为指向B的方法以及所有已构造的部分(A和V)。因此，vtable指向B::g()。

a->f()-a的类型为A，因此它可能会调用其父类的方法，而不是其子类D的方法，因为它尚未构造。这意味着V::f()或A::f()。由于虚拟方法调用首选使用派生程度最高的方法，因此应调用A::f()。

我已经回答了第一个原始问题:

Why does v->g() calls B::g()?

和更多。

对于第二个问题，有关以下含义:

the virtual call to A::f will be attempted using B's virtual member function table, since that's what is active during B's construction.

上面的文本讨论了虚拟函数调用的概念模型。虚拟函数调用是通过指向方法的指针数组(即称为“虚拟表”，即vtable)的方式进行的。对于每个虚函数，例如您的示例中的 f()，编译后的代码都会从此vtable中获取方法的指针。这是非常便宜的，因为它是对数组的简单索引访问。派生类的对象具有不同的vtable，其中某些方法指针不同。

获取指向父代的指针的代码并不关心它是父代还是子代。它只是从O(1)的vtable中的给定索引获取方法指针，而不管对象的真实类型如何。在构造函数中，从父类更改为子类，可以通过对vtable的指针进行简单的常量时间重新分配来实现。引用的文本是指使指针指向不同vtable的事件序列。

使用虚拟继承，在给定时间可以有多个 Activity 的vtable。根据执行方法调用的类型来选择vtable(例如，通过 B， A或 V)。

文本的措辞是关于使用B的vtable调用 A::f的，这没有任何意义。甚至示例代码都说，在 B::B中，对 f()的调用会调用 V::f()而不是 A::f()。我认为应该通过B的vtable执行 V::f()文本，这与我写的内容一致。