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]

namespace std {
  template <class T, class D> class unique_ptr<T[], D> {
  public:
    using pointer      = see below;
    using element_type = T;
    using deleter_type = D;

    // [unique.ptr.runtime.ctor], constructors
    constexpr unique_ptr() noexcept;
    template <class U> explicit unique_ptr(U p) noexcept;
    template <class U> unique_ptr(U p, see below d) noexcept;
    template <class U> unique_ptr(U p, see below d) noexcept;
    unique_ptr(unique_ptr&& u) noexcept;
    template <class U, class E>
      unique_ptr(unique_ptr<U, E>&& u) noexcept;
    constexpr unique_ptr(nullptr_t) noexcept;

    // destructor
    ~unique_ptr();

    // assignment
    unique_ptr& operator=(unique_ptr&& u) noexcept;
    template <class U, class E>
      unique_ptr& operator=(unique_ptr<U, E>&& u) noexcept;
    unique_ptr& operator=(nullptr_t) noexcept;

    // [unique.ptr.runtime.observers], observers
    T& operator[](size_t i) const;
    pointer get() const noexcept;
    deleter_type& get_deleter() noexcept;
    const deleter_type& get_deleter() const noexcept;
    explicit operator bool() const noexcept;

    // [unique.ptr.runtime.modifiers], modifiers
    pointer release() noexcept;
    template <class U> void reset(U p) noexcept;
    void reset(nullptr_t = nullptr) noexcept;
    void swap(unique_ptr& u) noexcept;

    // disable copy from lvalue
    unique_ptr(const unique_ptr&) = delete;
    unique_ptr& operator=(const unique_ptr&) = delete;
  };
}
1
#

Специализация для типов массивов предоставляется с немного измененным интерфейсом.

  • (1.1)

    Преобразования между различными типами, unique_­ptr<T[], D> которые были бы запрещены для соответствующих типов указателей на массив, и преобразования в или из формunique_­ptr, не являющихся массивами , создают плохо сформированную программу.

  • (1.2)

    Указатели на типы, производные от T , отклоняются конструкторами и reset.

  • (1.3)

    Наблюдатели так operator* и operator-> не предусмотрены.

  • (1.4)

    Предусмотрен обозреватель индексации operator[] .

  • (1.5)

    Будет звонить средство удаления по умолчанию delete[].

2
#

Ниже приведены описания только для членов, которые отличаются от основного шаблона.

3
#

Аргумент шаблона T должен быть полного типа.

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

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

1
#

Этот конструктор ведет себя так же, как конструктор в основном шаблоне, который принимает единственный параметр типа, pointer за исключением того, что он дополнительно не должен участвовать в разрешении перегрузки, если только

  • (1.1)

    U того же типа, что и pointer, или

  • (1.2)

    pointer имеет тот же тип element_­type*, U что и тип указателя V*, и V(*)[] может быть преобразован в 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
#

Эти конструкторы ведут себя так же, как конструкторы в основном шаблоне, которые принимают параметр типа pointer и второй параметр, за исключением того, что они не должны участвовать в разрешении перегрузки, если либо

  • (2.1)

    U того же типа, что и pointer,

  • (2.2)

    U есть nullptr_­t, или

  • (2.3)

    pointer имеет тот же тип element_­type*, U что и тип указателя V*, и V(*)[] может быть преобразован в element_­type(*)[].

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

3
#

Этот конструктор ведет себя так же , как в первичном шаблоне, за исключением того, что она не будет участвовать в разрешении перегрузки , если все из следующих условий не выполняется, где UP находится unique_­ptr<U, E>:

  • (3.1)

    U - это тип массива, а

  • (3.2)

    pointer того же типа element_­type*, что и, и

  • (3.3)

    UP​::​pointer того же типа UP​::​element_­type*, что и, и

  • (3.4)

    UP​::​element_­type(*)[] конвертируется в element_­type(*)[], и

  • (3.5)

    либо D является ссылочным типом и E относится к тому же типу D, либо D не является ссылочным типом и E может неявно преобразовываться в D.

[  Note: Это заменяет спецификацию разрешения перегрузки основного шаблона ]  — end note 

23.11.1.3.2 unique_­ptr assignment [unique.ptr.runtime.asgn]

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

1
#

Этот оператор ведет себя так же , как в первичном шаблоне, за исключением того, что она не будет участвовать в разрешении перегрузки , если все из следующих условий не выполняется, где UP находится unique_­ptr<U, E>:

  • (1.1)

    U - это тип массива, а

  • (1.2)

    pointer того же типа element_­type*, что и, и

  • (1.3)

    UP​::​pointer того же типа UP​::​element_­type*, что и, и

  • (1.4)

    UP​::​element_­type(*)[] конвертируется в element_­type(*)[], и

  • (1.5)

    is_­assignable_­v<D&, E&&> есть true.

[  Note: Это заменяет спецификацию разрешения перегрузки основного шаблона ]  — end note 

23.11.1.3.3 unique_­ptr observers [unique.ptr.runtime.observers]

T& operator[](size_t i) const;

1
#

Requires: i < количество элементов в массиве, на которые указывает сохраненный указатель.

2
#

Returns: get()[i].

23.11.1.3.4 unique_­ptr modifiers [unique.ptr.runtime.modifiers]

void reset(nullptr_t p = nullptr) noexcept;

1
#

Effects: Эквивалентно reset(pointer()).

template <class U> void reset(U p) noexcept;

2
#

Эта функция ведет себя так же, как reset член основного шаблона, за исключением того, что она не должна участвовать в разрешении перегрузки, если либо

  • (2.1)

    U того же типа, что и pointer, или

  • (2.2)

    pointer имеет тот же тип element_­type*, U что и тип указателя V*, и V(*)[] может быть преобразован в element_­type(*)[].