Destructor

suggest change

A destructor is a function without arguments that is called when a user-defined object is about to be destroyed. It is named after the type it destructs with a ~ prefix.

class C{
    int* is;
    string s;
public:
    C()
    : is( new int[10] ){
    }

    ~C(){  // destructor definition
        delete[] is;
    }
};

class C_child : public C{
    string s_ch;
public:
    C_child(){}
    ~C_child(){} // child destructor
};

void f(){
    C c1; // calls default constructor
    C c2[2]; // calls default constructor for both elements
    C* c3 = new C[2]; // calls default constructor for both array elements

    C_child c_ch;  // when destructed calls destructor of s_ch and of C base (and in turn s)

    delete[] c3; // calls destructors on c3[0] and c3[1]
} // automatic variables are destroyed here -- i.e. c1, c2 and c_ch

Under most circumstances (i.e., a user provides no destructor, and there are no other disqualifying conditions), the compiler provides a default destructor implicitly:

class C{
    int i;
    string s;
};

void f(){
    C* c1 = new C;
    delete c1; // C has a destructor
}

class C{
    int m;
private:
    ~C(){} // not public destructor!
};

class C_container{
    C c;
};

void f(){
    C_container* c_cont = new C_container;
    delete c_cont; // Compile ERROR: C has no accessible destructor
}

In C++11, a developer can override this behavior by preventing the compiler from providing a default destructor.

class C{
    int m;
public:
    ~C() = delete; // does NOT have implicit destructor
};

void f{
    C c1; 
} // Compile ERROR: C has no destructor

Furthermore, a developer may also be explicit about wanting the compiler to provide a default destructor.

class C{
    int m;
public:
    ~C() = default; // saying explicitly it does have implicit/empty destructor
};

void f(){
    C c1;
} // C has a destructor -- c1 properly destroyed

You can determine whether a type has a destructor (or is a primitive type) using std::is_destructible from <type_traits>:

class C1{ };
class C2{ public: ~C2() = delete };
class C3 : public C2{ };

using std::cout; using std::boolalpha; using std::endl;
using std::is_destructible;
cout << boolalpha << is_destructible<int>() << endl; // prints true
cout << boolalpha << is_destructible<C1>() << endl; // prints true
cout << boolalpha << is_destructible<C2>() << endl; // prints false
cout << boolalpha << is_destructible<C3>() << endl; // prints false

Found a mistake? Have a question or improvement idea? Let me know.

Special member functions:

* Default Constructor

* Copy and swap

* Destructor

* Implicit Move and Copy

* Virtual and Protected Destructors

Table Of Contents

0 Getting started

1 Literals

2 Basic type keywords

3 Operator precedence

4 Floating point arithmetic

5 Bit operators

6 Bit manipulation

7 Bit fields

8 Arrays

9 Flow control

10 const keyword

11 Loops

12 mutable keyword

13 friend keyword

14 keywords

15 Variable declaration keywords

16 auto keyword

17 Pointers

18 Type keywords (class, enum, struct, union)

19 Classes / structs

20 std::string

21 Enumeration

22 std::atomic

23 std::vector

24 std::array

25 std::pair

26 std::map

27 std::unordered_map

28 std::set and std::multiset

29 std::any

30 std::variant

31 std::optional

32 std::integer_sequence

33 std::function

34 std::forward_list

35 std::iomanip

36 Iterators

37 Basic I/O

38 File I/O

39 Streams

40 Stream manipulators

41 Metaprogramming

42 Returning multiple values from a function

43 References

44 Polymorphism

45 Value and reference semantics

46 Function call by value vs. by reference

47 Copying vs assignment

48 Pointers to class / struct members

49 The this pointer

50 Smart pointers

51 Unions

52 Templates

53 Namespaces

54 Function overloading

55 Operator overloading

56 Lambdas

57 Threading

58 Value categories

59 Preprocessor

60 SFINAE

61 Rule of three, five and zero

62 RAII

63 Exceptions

64 Implementation-defined behavior

65 Special member functions

66 Random numbers

67 Sorting

68 Regular expressions

69 Perfect forwarding

70 Virtual member functions

71 Undefined behavior

72 Overload resolution

73 Move semantics

74 Pimpl idiom

75 Copy elision

76 Fold expressions

77 Unnamed types

78 Singleton

79 ISO C++ Standard

80 User-defined literals

81 Type erasure

82 Memory management

83 Explicit type conversions

84 RTTI

85 Standard library algorithms

86 Expression templates

87 Scopes

88 Atomic types

89 static assert

90 constexpr

91 Date and time with std::chrono

92 Trailing return type

93 Function template overloading

94 Common compile linker errors

95 Design patterns

96 Optimizations

97 Compiling and building

98 Type traits

99 One definition rule

100 Unspecified behavio

101 Argument dependent name lookup

102 Attributes

103 Internationalization

104 Profiling

105 Return type covariance

106 Non-static member functions

107 Recursion

108 Callable objects

109 Constant class member functions

110 C++ vs. C++ 11 vs C++ 17

111 Inline functions

112 Client server examples

113 Header files

114 Const correctness

115 Refactoring techniques

116 Parameter packs

117 Iteration

118 type deduction

119 C++ 11 memory model

120 Build systems

121 Concurrency with OpenMP

122 Type inference

123 Resource management

124 Storage class specifiers

125 Alignment

126 Inline variables

127 Linkage specifications

128 Curiusly recurring template pattern

129 Using declaration

130 Typedef and type aliases

131 Layout of object types

132 C incompatibilities

133 Optimization

134 Semaphore

135 Thread synchronization

136 Debugging

137 Futures and promises

138 More undefined behaviors

139 Mutexes

140 Recursive mutex

141 Unit testing

142 decltype

143 Digit separators

144 C++ Containers

145 Arithmetic meta-programming

146 Contributors