メンバデストラクタの実行時にクラスにはどのような型の仮想関数がありますか？

Question

私はこのような状況を持っている：

#include <iostream> 

struct B { virtual void f() { std::cout << "base"; } }; 

struct A { 
    ~A() { 
     b->f(); 
    } 

    B *b; 
}; 


struct Bd : B { 
    Bd():a{this}{ } 
    ~Bd() { } 
    virtual void f() { std::cout << "derived"; } 

    A a; 
}; 

int main() { 
    Bd d; 
} 

は、このプリントは「由来する」ことを保証しますか？

Answer 1

[class.cdtor]/4：

仮想関数（[class.virtual]）を含む

メンバー関数は、 構築または破壊（[class.base.init]）中に呼び出すことができます。 仮想関数は、がクラスの非静的データメンバの建設や破壊 中を含め、コンストラクタ またはデストラクタから直接または間接的に呼び出さと コールが適用されるオブジェクトは、（オブジェクトである場合それをと呼びます）、または 破壊の場合は、 コンストラクタまたはデストラクタのクラスの最後のオーバーライドで、 より派生したクラスでオーバーライドしません。それはBdにf()の最終overriderを呼び出し、derivedを印刷する必要がありますので、ここで問題になって

「クラス」は、Bdです。

Answer 2

私は今それを調べる時間がありませんが、デストラクタを実行しているオブジェクトの仮想呼び出しは、デストラクタが現在実行中のクラスに移動するというルールがあります。そのため、Bdのデストラクタでは、aのデストラクタが実行され、b->f()のコールはBd::fとなります。

aがB代わりのBdのメンバーであった場合aのデストラクタがBのデストラクタから実行してしまうため、コールは、B::fに行くだろう。

メカニズムを考えるのが好きなら（私は一般的にそうではありません）、vtableの観点から考えてください。デストラクタに入ると、コードはvtableポインタが実行中のデストラクタに属するvtableを指すように設定します。