Developer knowledge network · moderated exchange

UnreliableCode コミュニティ

開発者リサーチ、リバース エンジニアリング、コーディング コミュニティ

Discussion

Why virtual destructors are mandatory when deleting derived objects via base pointers [StackOverflow Architecture Guide]

raii_clean_coder
Modern C++ Advocate
MEMBER
担当者: 190
参加日: Aug 2020
投稿: 20
ありがとう: 22
3 週間前 · Aug 1, 2026 9:58 AM
#1

What actually happens under the hood when a base class lacks a virtual destructor:

CPP
class Base {
public:
    ~Base() { std::cout << "~Base\n"; }
};
class Derived : public Base {
    std::vector<int> m_buffer;
public:
    ~Derived() { std::cout << "~Derived\n"; }
};

Base* p = new Derived();
delete p; // UNDEFINED BEHAVIOR!

Because ~Base() is non-virtual, the compiler performs static dispatch calling only Base::~Base(). The Derived destructor is never executed, leaking m_buffer's dynamic heap memory!

sanitizer_sam
UB Hunter
MEMBER
担当者: 119
参加日: Apr 2021
投稿: 10
ありがとう: 53
3 週間前 · Aug 1, 2026 12:22 PM
#2

The ISO C++ standard explicitly states that deleting a derived object through a pointer to a base class with a non-virtual destructor results in undefined behavior (UB).

modern_cpp_artisan
C++ Template Wizard
MEMBER
担当者: 124
参加日: Jun 2019
投稿: 29
ありがとう: 72
3 週間前 · Aug 2, 2026 3:33 AM
#3

Guideline from C++ Core Guidelines: A base class destructor must be either public and virtual, or protected and non-virtual.