23 General utilities library [utilities]

23.11 Smart pointers [smartptr]

23.11.1 Class template unique_­ptr [unique.ptr]

23.11.1.3 unique_­ptr for array objects with a runtime length [unique.ptr.runtime]

23.11.1.3.1 unique_­ptr constructors [unique.ptr.runtime.ctor]

template <class U> explicit unique_ptr(U p) noexcept;

1
#

This constructor behaves the same as the constructor in the primary template that takes a single parameter of type pointer except that it additionally shall not participate in overload resolution unless

  • (1.1)

    U is the same type as pointer, or

  • (1.2)

    pointer is the same type as element_­type*, U is a pointer type V*, and V(*)[] is convertible to element_­type(*)[].

template <class U> unique_ptr(U p, see below d) noexcept; template <class U> unique_ptr(U p, see below d) noexcept;

2
#

These constructors behave the same as the constructors in the primary template that take a parameter of type pointer and a second parameter except that they shall not participate in overload resolution unless either

  • (2.1)

    U is the same type as pointer,

  • (2.2)

    U is nullptr_­t, or

  • (2.3)

    pointer is the same type as element_­type*, U is a pointer type V*, and V(*)[] is convertible to element_­type(*)[].

template <class U, class E> unique_ptr(unique_ptr<U, E>&& u) noexcept;

3
#

This constructor behaves the same as in the primary template, except that it shall not participate in overload resolution unless all of the following conditions hold, where UP is unique_­ptr<U, E>:

  • (3.1)

    U is an array type, and

  • (3.2)

    pointer is the same type as element_­type*, and

  • (3.3)

    UP​::​pointer is the same type as UP​::​element_­type*, and

  • (3.4)

    UP​::​element_­type(*)[] is convertible to element_­type(*)[], and

  • (3.5)

    either D is a reference type and E is the same type as D, or D is not a reference type and E is implicitly convertible to D.

[ Note: This replaces the overload-resolution specification of the primary template  — end note ]