[C++] 派生クラスでデストラクタが呼ばれる順番を解説

#include <iostream>
class Base {
public:
    Base() { std::cout << "Baseのコンストラクタ" << std::endl; }
    ~Base() { std::cout << "Baseのデストラクタ" << std::endl; }
};
class Derived : public Base {
public:
    Derived() { std::cout << "Derivedのコンストラクタ" << std::endl; }
    ~Derived() { std::cout << "Derivedのデストラクタ" << std::endl; }
};
int main() {
    Derived d; // オブジェクトの生成
    return 0;  // オブジェクトの破棄
}

Baseのコンストラクタ
Derivedのコンストラクタ
Derivedのデストラクタ
Baseのデストラクタ

#include <iostream>
class Base {
public:
    Base() { std::cout << "Baseのコンストラクタ" << std::endl; }
    // デストラクタを仮想にしない
    ~Base() { std::cout << "Baseのデストラクタ" << std::endl; }
};
class Derived : public Base {
public:
    Derived() { std::cout << "Derivedのコンストラクタ" << std::endl; }
    ~Derived() { std::cout << "Derivedのデストラクタ" << std::endl; }
};
int main() {
    Base* b = new Derived(); // 基底クラスのポインタで派生クラスを指す
    delete b; // 基底クラスのデストラクタのみが呼ばれる
    return 0;
}

Baseのコンストラクタ
Derivedのコンストラクタ
Baseのデストラクタ

#include <iostream>
class Base {
public:
    Base() { std::cout << "Baseのコンストラクタ" << std::endl; }
    virtual ~Base() { // デストラクタを仮想にする
        std::cout << "Baseのデストラクタ" << std::endl;
    }
};
class Derived : public Base {
public:
    Derived() { std::cout << "Derivedのコンストラクタ" << std::endl; }
    ~Derived() {
        std::cout << "Derivedのデストラクタ" << std::endl;
    }
};
int main() {
    Base* b = new Derived(); // 基底クラスのポインタで派生クラスを指す
    delete b; // 正しく派生クラスのデストラクタが呼ばれる
    return 0;
}

Baseのコンストラクタ
Derivedのコンストラクタ
Derivedのデストラクタ
Baseのデストラクタ

#include <iostream>
class Base {
public:
    Base() { std::cout << "Baseのコンストラクタ" << std::endl; }
    virtual ~Base() { std::cout << "Baseのデストラクタ" << std::endl; }
};
class Derived : public Base {
private:
    int* resource; // リソースを管理するポインタ
public:
    Derived() {
        resource = new int(42); // リソースの確保
        std::cout << "Derivedのコンストラクタ: " << *resource << std::endl;
    }
    ~Derived() {
        delete resource; // リソースの解放
        std::cout << "Derivedのデストラクタ" << std::endl;
    }
};
int main() {
    Base* b = new Derived(); // 基底クラスのポインタで派生クラスを指す
    delete b; // デストラクタが呼ばれる
    return 0;
}

Baseのコンストラクタ
Derivedのコンストラクタ: 42
Derivedのデストラクタ
Baseのデストラクタ

#include <iostream>
#include <memory> // スマートポインタを使用するためのヘッダ
class Base {
public:
    Base() { std::cout << "Baseのコンストラクタ" << std::endl; }
    virtual ~Base() { std::cout << "Baseのデストラクタ" << std::endl; }
};
class Derived : public Base {
public:
    Derived() { std::cout << "Derivedのコンストラクタ" << std::endl; }
    ~Derived() { std::cout << "Derivedのデストラクタ" << std::endl; }
};
int main() {
    std::unique_ptr<Base> b = std::make_unique<Derived>(); // スマートポインタを使用
    // スコープを抜けると自動的にリソースが解放される
    return 0;
}

Baseのコンストラクタ
Derivedのコンストラクタ
Derivedのデストラクタ
Baseのデストラクタ

#include <iostream>
class Base {
public:
    Base() { std::cout << "Baseのコンストラクタ" << std::endl; }
    virtual ~Base() { std::cout << "Baseのデストラクタ" << std::endl; }
};
class Derived1 : public Base {
public:
    Derived1() { std::cout << "Derived1のコンストラクタ" << std::endl; }
    ~Derived1() { std::cout << "Derived1のデストラクタ" << std::endl; }
};
class Derived2 : public Derived1 {
public:
    Derived2() { std::cout << "Derived2のコンストラクタ" << std::endl; }
    ~Derived2() { std::cout << "Derived2のデストラクタ" << std::endl; }
};
int main() {
    Base* b = new Derived2(); // 基底クラスのポインタで派生クラスを指す
    delete b; // デストラクタが呼ばれる
    return 0;
}

Baseのコンストラクタ
Derived1のコンストラクタ
Derived2のコンストラクタ
Derived2のデストラクタ
Derived1のデストラクタ
Baseのデストラクタ

#include <iostream>
class Base1 {
public:
    Base1() { std::cout << "Base1のコンストラクタ" << std::endl; }
    virtual ~Base1() { std::cout << "Base1のデストラクタ" << std::endl; }
};
class Base2 {
public:
    Base2() { std::cout << "Base2のコンストラクタ" << std::endl; }
    virtual ~Base2() { std::cout << "Base2のデストラクタ" << std::endl; }
};
class Derived : public Base1, public Base2 {
public:
    Derived() { std::cout << "Derivedのコンストラクタ" << std::endl; }
    ~Derived() { std::cout << "Derivedのデストラクタ" << std::endl; }
};
int main() {
    Base1* b = new Derived(); // 基底クラスのポインタで派生クラスを指す
    delete b; // デストラクタが呼ばれる
    return 0;
}

Base1のコンストラクタ
Base2のコンストラクタ
Derivedのコンストラクタ
Derivedのデストラクタ
Base2のデストラクタ
Base1のデストラクタ

#include <iostream>
class Base {
public:
    Base() { std::cout << "Baseのコンストラクタ" << std::endl; }
    virtual ~Base() { std::cout << "Baseのデストラクタ" << std::endl; }
};
class Derived1 : virtual public Base {
public:
    Derived1() { std::cout << "Derived1のコンストラクタ" << std::endl; }
    ~Derived1() { std::cout << "Derived1のデストラクタ" << std::endl; }
};
class Derived2 : virtual public Base {
public:
    Derived2() { std::cout << "Derived2のコンストラクタ" << std::endl; }
    ~Derived2() { std::cout << "Derived2のデストラクタ" << std::endl; }
};
class Final : public Derived1, public Derived2 {
public:
    Final() { std::cout << "Finalのコンストラクタ" << std::endl; }
    ~Final() { std::cout << "Finalのデストラクタ" << std::endl; }
};
int main() {
    Base* b = new Final(); // 基底クラスのポインタで派生クラスを指す
    delete b; // デストラクタが呼ばれる
    return 0;
}

Baseのコンストラクタ
Derived1のコンストラクタ
Derived2のコンストラクタ
Finalのコンストラクタ
Finalのデストラクタ
Derived2のデストラクタ
Derived1のデストラクタ
Baseのデストラクタ

#include <iostream>
class Resource {
public:
    Resource() { std::cout << "Resourceのコンストラクタ" << std::endl; }
    ~Resource() { std::cout << "Resourceのデストラクタ" << std::endl; }
};
void function() {
    Resource r; // スコープ内でリソースを確保
    throw std::runtime_error("例外が発生しました"); // 例外をスロー
}
int main() {
    try {
        function(); // 例外を発生させる関数を呼び出す
    } catch (const std::exception& e) {
        std::cout << e.what() << std::endl; // 例外メッセージを表示
    }
    return 0; // スコープを抜けるとリソースのデストラクタが呼ばれる
}

Resourceのコンストラクタ
例外が発生しました
Resourceのデストラクタ

#include <iostream>
class RAII {
private:
    int* resource; // リソースを管理するポインタ
public:
    RAII() {
        resource = new int(100); // リソースの確保
        std::cout << "RAIIのコンストラクタ: " << *resource << std::endl;
    }
    ~RAII() {
        delete resource; // リソースの解放
        std::cout << "RAIIのデストラクタ" << std::endl;
    }
};
int main() {
    RAII r; // RAIIオブジェクトの生成
    return 0; // スコープを抜けると自動的にデストラクタが呼ばれる
}

RAIIのコンストラクタ: 100
RAIIのデストラクタ