19 General utilities library [utilities]

19.11 Smart pointers [smartptr]

19.11.1 Class template unique_­ptr [unique.ptr]

19.11.1.1 Default deleters [unique.ptr.dltr]

19.11.1.1.1 In general [unique.ptr.dltr.general]

1
#
The class template default_­delete serves as the default deleter (destruction policy) for the class template unique_­ptr.
2
#
The template parameter T of default_­delete may be an incomplete type.

19.11.1.1.2 default_­delete [unique.ptr.dltr.dflt]

namespace std {
  template<class T> struct default_delete {
    constexpr default_delete() noexcept = default;
    template<class U> default_delete(const default_delete<U>&) noexcept;
    void operator()(T*) const;
  };
}
🔗
template<class U> default_delete(const default_delete<U>& other) noexcept;
1
#
Effects: Constructs a default_­delete object from another default_­delete<U> object.
2
#
Remarks: This constructor shall not participate in overload resolution unless U* is implicitly convertible to T*.
🔗
void operator()(T* ptr) const;
3
#
Effects: Calls delete on ptr.
4
#
Remarks: If T is an incomplete type, the program is ill-formed.

19.11.1.1.3 default_­delete<T[]> [unique.ptr.dltr.dflt1]

namespace std {
  template<class T> struct default_delete<T[]> {
    constexpr default_delete() noexcept = default;
    template<class U> default_delete(const default_delete<U[]>&) noexcept;
    template<class U> void operator()(U* ptr) const;
  };
}
🔗
template<class U> default_delete(const default_delete<U[]>& other) noexcept;
1
#
Effects: Constructs a default_­delete object from another default_­delete<U[]> object.
2
#
Remarks: This constructor shall not participate in overload resolution unless U(*)[] is convertible to T(*)[].
🔗
template<class U> void operator()(U* ptr) const;
3
#
Effects: Calls delete[] on ptr.
4
#
Remarks: If U is an incomplete type, the program is ill-formed.
This function shall not participate in overload resolution unless U(*)[] is convertible to T(*)[].