C++
- Getting started with C++
- Awesome Book
- Awesome Community
- Awesome Course
- Awesome Tutorial
- Awesome YouTube
- Alignment
- Argument Dependent Name Lookup
- Arithmitic Metaprogramming
- Arrays
- Atomic Types
- Attributes
- auto
- Basic input/output in c++
- Basic Type Keywords
- Bit fields
- Bit Manipulation
- Bit Operators
- Build Systems
- C incompatibilities
- C++ Containers
- C++ Debugging and Debug-prevention Tools & Techniques
- C++ function "call by value" vs. "call by reference"
- C++ Streams
- C++11 Memory Model
- Callable Objects
- Classes/Structures
- Client server examples
- Common compile/linker errors (GCC)
- Compiling and Building
- Concurrency With OpenMP
- Const Correctness
- const keyword
- Constant class member functions
- constexpr
- Copy Elision
- Copying vs Assignment
- Curiously Recurring Template Pattern (CRTP)
- Data Structures in C++
-
Date and time using
header - decltype
- Design pattern implementation in C++
- Digit separators
- Enumeration
- Exceptions
- Explicit type conversions
- Expression templates
- File I/O
- Floating Point Arithmetic
- Flow Control
- Fold Expressions
- Friend keyword
- Function Overloading
- Function Template Overloading
- Futures and Promises
- Header Files
- Implementation-defined behavior
- Inline functions
- Inline variables
- Internationalization in C++
- Iteration
- Iterators
- Keywords
- Lambdas
- Layout of object types
- Linkage specifications
- Literals
- Loops
- Memory management
- Metaprogramming
- More undefined behaviors in C++
- Move Semantics
- mutable keyword
- Mutexes
- Namespaces
- Non-Static Member Functions
- One Definition Rule (ODR)
- Operator Overloading
- operator precedence
- Optimization
- Optimization in C++
- Overload resolution
- Parameter packs
- Perfect Forwarding
- Pimpl Idiom
- Pointers
- Pointers to members
- Polymorphism
- Preprocessor
- Profiling
- RAII: Resource Acquisition Is Initialization
- Random number generation
- Recursion in C++
- Recursive Mutex
- Refactoring Techniques
- References
- Regular expressions
- Resource Management
- Return Type Covariance
- Returning several values from a function
- RTTI: Run-Time Type Information
- Scopes
- Semaphore
- SFINAE (Substitution Failure Is Not An Error)
- Side by Side Comparisons of classic C++ examples solved via C++ vs C++11 vs C++14 vs C++17
- Singleton Design Pattern
- Smart Pointers
- Sorting
- Special Member Functions
- Standard Library Algorithms
- static_assert
- std::any
- std::array
- std::atomics
- std::forward_list
- std::function: To wrap any element that is callable
- std::integer_sequence
- std::iomanip
- std::map
- std::optional
- std::pair
- std::set and std::multiset
- std::string
- std::variant
- std::vector
- Storage class specifiers
- Stream manipulators
- Templates
- The ISO C++ Standard
- The Rule of Three, Five, And Zero
- The This Pointer
- Thread synchronization structures
- Threading
- Trailing return type
- type deduction
- Type Erasure
- Type Inference
- Type Keywords
- Type Traits
- Typedef and type aliases
- Undefined Behavior
- Access to nonexistent member through pointer to member
- Accessing a dangling reference
- Accessing an object as the wrong type
- Accessing an out-of-bounds index
- Calling (Pure) Virtual Members From Constructor Or Destructor
- Deleting a derived object via a pointer to a base class that doesn't have a virtual destructor.
- Destroying an object that has already been destroyed
- Extending the `std` or `posix` Namespace
- Floating point overflow
- Function call through mismatched function pointer type
- Incorrect pairing of memory allocation and deallocation
- Infinite template recursion
- Integer division by zero
- Invalid base-to-derived static cast
- Invalid derived-to-base conversion for pointers to members
- Invalid pointer arithmetic
- Modifying a const object
- Modifying a string literal
- Multiple non-identical definitions (the One Definition Rule)
- No return statement for a function with a non-void return type
- Overflow during conversion to or from floating point type
- Reading or writing through a null pointer
- Returning from a [[noreturn]] function
- Shifting by an invalid number of positions
- Signed Integer Overflow
- Using an uninitialized local variable
- Unions
- Unit Testing in C++
- Unnamed types
- Unspecified behavior
- User-Defined Literals
- Using declaration
- Using std::unordered_map
- Value and Reference Semantics
- Value Categories
- Variable Declaration Keywords
- Virtual Member Functions
C++ Undefined Behavior Deleting a derived object via a pointer to a base class that doesn't have a virtual destructor.
Example
class base { };
class derived: public base { };
int main() {
base* p = new derived();
delete p; // The is undefined behavior!
}
In section [expr.delete] ยง5.3.5/3 the standard says that if delete is called on an object whose static type does not have a virtual destructor:
if the static type of the object to be deleted is different from its dynamic type, the static type shall be a base class of the dynamic type of the object to be deleted and the static type shall have a virtual destructor or the behavior is undefined.
This is the case regardless of the question whether the derived class added any data members to the base class.
