GNU GCC（g ++）：なぜ複数のdtorを生成するのですか？

Question 1

開発環境：GNU GCC（g ++）4.1.2

ユニットテストで「コードカバレッジ-特に関数カバレッジ」を増やす方法を調査しようとしているときに、クラスdtorの一部が複数回生成されているように見えることがわかりました。何人かあなたはその理由について何か考えていますか？

次のコードを使用して、上記のことを試して観察しました。

「test.h」

class BaseClass
{
public:
    ~BaseClass();
    void someMethod();
};

class DerivedClass : public BaseClass
{
public:
    virtual ~DerivedClass();
    virtual void someMethod();
};

「test.cpp」

#include <iostream>
#include "test.h"

BaseClass::~BaseClass()
{
    std::cout << "BaseClass dtor invoked" << std::endl;
}

void BaseClass::someMethod()
{
    std::cout << "Base class method" << std::endl;
}

DerivedClass::~DerivedClass()
{
    std::cout << "DerivedClass dtor invoked" << std::endl;
}

void DerivedClass::someMethod()
{
    std::cout << "Derived class method" << std::endl;
}

int main()
{
    BaseClass* b_ptr = new BaseClass;
    b_ptr->someMethod();
    delete b_ptr;
}

上記のコード（g ++ test.cpp -o test）をビルドして、次のように生成されたシンボルの種類を確認したところ、

nm --demangleテスト

次の出力が表示されました。

==== following is partial output ====
08048816 T DerivedClass::someMethod()
08048922 T DerivedClass::~DerivedClass()
080489aa T DerivedClass::~DerivedClass()
08048a32 T DerivedClass::~DerivedClass()
08048842 T BaseClass::someMethod()
0804886e T BaseClass::~BaseClass()
080488f6 T BaseClass::~BaseClass()

私の質問は次のとおりです。

1）なぜ複数のdtorが生成されたのですか（BaseClass-2、DerivedClass-3）？

2）これらのdtorの違いは何ですか？これらの複数のdtorはどのように選択的に使用されますか？

C ++プロジェクトの関数カバレッジを100％にするには、ユニットテストでこれらすべてのdtorを呼び出すことができるように、これを理解する必要があると感じています。

上記について回答を頂ければ幸いです。

Question 2

まず、これらの関数の目的は、Itanium C ++ ABIで説明されています。「ベースオブジェクトデストラクタ」、「完全なオブジェクトデストラクタ」、および「デストラクタの削除」の定義を参照してください。マングル名へのマッピングは、5.1.4に示されています。

基本的に：

D2は「ベースオブジェクトデストラクタ」です。オブジェクト自体、およびデータメンバーと非仮想基本クラスを破棄します。
D1は「完全なオブジェクトデストラクタ」です。さらに、仮想基本クラスを破棄します。
D0は「削除オブジェクトデストラクタ」です。完全なオブジェクトデストラクタが行うすべての処理に加えてoperator delete、実際にメモリを解放するために呼び出します。

仮想基本クラスがない場合、D2とD1は同一です。GCCは、十分な最適化レベルで、実際には両方のシンボルを同じコードにエイリアスします。

Question 3

通常、コンストラクターには2つのバリアント（not-in-charge / in-charge）と3つのデストラクタ（not-in-charge / in-charge / in-charge deleted）があります。

未担当別のクラスから継承を使用してそのクラスのオブジェクト扱う場合CTOR及びデストラクタが使用されるvirtualキーワードを現在のオブジェクトが「充電中でない」であるので、オブジェクトが構築または破壊する（完全なオブジェクトでない場合、仮想ベースオブジェクト）。このctorは、仮想ベースオブジェクトへのポインタを受け取り、それを格納します。

担当 ctorのとdtorsは、他のすべての場合、すなわち関与なし仮想継承がない場合のためのものです。クラスに仮想デストラクタがある場合、担当削除 dtorポインタはvtableスロットに移動しますが、オブジェクトの動的タイプを知っているスコープ（つまり、自動または静的ストレージ期間を持つオブジェクトの場合）は担当 dtor を使用します（このメモリを解放してはならないため）。

コード例：

struct foo {
    foo(int);
    virtual ~foo(void);
    int bar;
};

struct baz : virtual foo {
    baz(void);
    virtual ~baz(void);
};

struct quux : baz {
    quux(void);
    virtual ~quux(void);
};

foo::foo(int i) { bar = i; }
foo::~foo(void) { return; }

baz::baz(void) : foo(1) { return; }
baz::~baz(void) { return; }

quux::quux(void) : foo(2), baz() { return; }
quux::~quux(void) { return; }

baz b1;
std::auto_ptr<foo> b2(new baz);
quux q1;
std::auto_ptr<foo> q2(new quux);

結果：

デストラクタのためのvtableのそれぞれのエントリfoo、bazおよびquuxそれぞれの点における電荷削除デストラクタ。
b1そして、b2により構成されbaz() 、担当呼び出して、foo(1) 担当
q1 そして q2によって構成されているquux() 担当低下、foo(2) 充電中とbaz() しないイン充電へのポインタとfooそれが以前に構成オブジェクト
q2担当者により破壊さ~auto_ptr() れたます。これは、仮想dtor ~quux() in-charge削除を呼び出し、~baz() not-in-charge、~foo() in-charge、およびを呼び出しますoperator delete。
q1in-chargeとin-chargeを呼び出す~quux() in-chargeによって破棄されます~baz() ~foo()
b2 破壊される ~auto_ptr() 電荷に仮想デストラクタを呼び出し、~baz() 担当削除を呼び出し、~foo() 担当及びoperator delete
b1破壊される~baz() の担当呼び出して、~foo() 担当

由来誰もがquuxその使用していない-担当 ctorのとデストラクタをし、作成の責任を取るfooオブジェクトを。

原則として、仮想ベースを持たないクラスでは、担当外のバリアントは必要ありません。その場合、担当のバリアントは時々統一と呼ばれることがあり、および/または担当との両方のシンボルないイン電荷は単一の実装にエイリアスされています。