Developer knowledge network ยท moderated exchange

Onbetrouwbare Code-gemeenschap

Ontwikkelaarsonderzoek, reverse engineering en coderingsgemeenschap

Knowledge indexLive
4Categories
919Threads
2.8KBerichten
Discussion

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

raii_clean_coder
Modern C++ Advocate
MEMBER
Vertegenwoordiger: 190
Datum van deelname: Aug 2020
Berichten: 20
Bedankt: 22
3 weken geleden ยท 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
Vertegenwoordiger: 119
Datum van deelname: Apr 2021
Berichten: 10
Bedankt: 53
3 weken geleden ยท 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
Vertegenwoordiger: 124
Datum van deelname: Jun 2019
Berichten: 29
Bedankt: 72
3 weken geleden ยท 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.