libstdc++
std::unique_ptr< _Tp[], _Dp > Class Template Reference

#include <unique_ptr.h>

Public Types

template<typename _Up >
using __safe_conversion_raw = __and_< __or_< __or_< is_same< _Up, pointer >, is_same< _Up, nullptr_t > >, __and_< is_pointer< _Up >, is_same< pointer, element_type * >, is_convertible< typename remove_pointer< _Up >::type(*)[], element_type(*)[]> > > >
 
template<typename _Up , typename _Ep , typename _UPtr = unique_ptr<_Up, _Ep>, typename _UP_pointer = typename _UPtr::pointer, typename _UP_element_type = typename _UPtr::element_type>
using __safe_conversion_up = __and_< is_array< _Up >, is_same< pointer, element_type * >, is_same< _UP_pointer, _UP_element_type * >, is_convertible< _UP_element_type(*)[], element_type(*)[]> >
 
using deleter_type = _Dp
 
using element_type = _Tp
 
using pointer = typename __uniq_ptr_impl< _Tp, _Dp >::pointer
 

Public Member Functions

template<typename _Del = _Dp, typename = _DeleterConstraint<_Del>>
constexpr unique_ptr () noexcept
 
template<typename _Up , typename _Vp = _Dp, typename = _DeleterConstraint<_Vp>, typename = typename enable_if< __safe_conversion_raw<_Up>::value, bool>::type>
 unique_ptr (_Up __p) noexcept
 
template<typename _Up , typename _Del = deleter_type, typename = _Require<__safe_conversion_raw<_Up>, is_move_constructible<_Del>>>
 unique_ptr (_Up __p, __enable_if_t<!is_lvalue_reference< _Del >::value, _Del && > __d) noexcept
 
template<typename _Up , typename _Del = deleter_type, typename = _Require<__safe_conversion_raw<_Up>, is_copy_constructible<_Del>>>
 unique_ptr (_Up __p, const deleter_type &__d) noexcept
 
template<typename _Up , typename _Del = deleter_type, typename _DelUnref = typename remove_reference<_Del>::type, typename = _Require<__safe_conversion_raw<_Up>>>
 unique_ptr (_Up, __enable_if_t< is_lvalue_reference< _Del >::value, _DelUnref && >)=delete
 
 unique_ptr (const unique_ptr &)=delete
 
template<typename _Del = _Dp, typename = _DeleterConstraint<_Del>>
constexpr unique_ptr (nullptr_t) noexcept
 
 unique_ptr (unique_ptr &&)=default
 
template<typename _Up , typename _Ep , typename = _Require< __safe_conversion_up<_Up, _Ep>, typename conditional<is_reference<_Dp>::value, is_same<_Ep, _Dp>, is_convertible<_Ep, _Dp>>::type>>
 unique_ptr (unique_ptr< _Up, _Ep > &&__u) noexcept
 
 ~unique_ptr ()
 
pointer get () const noexcept
 
const deleter_type & get_deleter () const noexcept
 
deleter_type & get_deleter () noexcept
 
 operator bool () const noexcept
 
unique_ptroperator= (const unique_ptr &)=delete
 
unique_ptroperator= (nullptr_t) noexcept
 
unique_ptroperator= (unique_ptr &&)=default
 
template<typename _Up , typename _Ep >
enable_if< __and_< __safe_conversion_up< _Up, _Ep >, is_assignable< deleter_type &, _Ep && > >::value, unique_ptr & >::type operator= (unique_ptr< _Up, _Ep > &&__u) noexcept
 
std::add_lvalue_reference< element_type >::type operator[] (size_t __i) const
 
pointer release () noexcept
 
template<typename _Up , typename = _Require< __or_<is_same<_Up, pointer>, __and_<is_same<pointer, element_type*>, is_pointer<_Up>, is_convertible< typename remove_pointer<_Up>::type(*)[], element_type(*)[] > > > >>
void reset (_Up __p) noexcept
 
void reset (nullptr_t=nullptr) noexcept
 
void swap (unique_ptr &__u) noexcept
 

Detailed Description

template<typename _Tp, typename _Dp>
class std::unique_ptr< _Tp[], _Dp >

20.7.1.3 unique_ptr for array objects with a runtime length

Definition at line 477 of file unique_ptr.h.

Member Typedef Documentation

◆ __safe_conversion_raw

template<typename _Tp , typename _Dp >
template<typename _Up >
using std::unique_ptr< _Tp[], _Dp >::__safe_conversion_raw = __and_< __or_<__or_<is_same<_Up, pointer>, is_same<_Up, nullptr_t> >, __and_<is_pointer<_Up>, is_same<pointer, element_type*>, is_convertible< typename remove_pointer<_Up>::type(*)[], element_type(*)[]> > > >

Definition at line 514 of file unique_ptr.h.

◆ __safe_conversion_up

template<typename _Tp , typename _Dp >
template<typename _Up , typename _Ep , typename _UPtr = unique_ptr<_Up, _Ep>, typename _UP_pointer = typename _UPtr::pointer, typename _UP_element_type = typename _UPtr::element_type>
using std::unique_ptr< _Tp[], _Dp >::__safe_conversion_up = __and_< is_array<_Up>, is_same<pointer, element_type*>, is_same<_UP_pointer, _UP_element_type*>, is_convertible<_UP_element_type(*)[], element_type(*)[]> >

Definition at line 505 of file unique_ptr.h.

◆ deleter_type

template<typename _Tp , typename _Dp >
using std::unique_ptr< _Tp[], _Dp >::deleter_type = _Dp

Definition at line 497 of file unique_ptr.h.

◆ element_type

template<typename _Tp , typename _Dp >
using std::unique_ptr< _Tp[], _Dp >::element_type = _Tp

Definition at line 496 of file unique_ptr.h.

◆ pointer

template<typename _Tp , typename _Dp >
using std::unique_ptr< _Tp[], _Dp >::pointer = typename __uniq_ptr_impl<_Tp, _Dp>::pointer

Definition at line 495 of file unique_ptr.h.

Constructor & Destructor Documentation

◆ unique_ptr() [1/7]

template<typename _Tp , typename _Dp >
template<typename _Del = _Dp, typename = _DeleterConstraint<_Del>>
constexpr std::unique_ptr< _Tp[], _Dp >::unique_ptr ( )
inlineconstexprnoexcept

Default constructor, creates a unique_ptr that owns nothing.

Definition at line 530 of file unique_ptr.h.

◆ unique_ptr() [2/7]

template<typename _Tp , typename _Dp >
template<typename _Up , typename _Vp = _Dp, typename = _DeleterConstraint<_Vp>, typename = typename enable_if< __safe_conversion_raw<_Up>::value, bool>::type>
std::unique_ptr< _Tp[], _Dp >::unique_ptr ( _Up  __p)
inlineexplicitnoexcept

Takes ownership of a pointer.

Parameters
__pA pointer to an array of a type safely convertible to an array of element_type

The deleter will be value-initialized.

Definition at line 547 of file unique_ptr.h.

◆ unique_ptr() [3/7]

template<typename _Tp , typename _Dp >
template<typename _Up , typename _Del = deleter_type, typename = _Require<__safe_conversion_raw<_Up>, is_copy_constructible<_Del>>>
std::unique_ptr< _Tp[], _Dp >::unique_ptr ( _Up  __p,
const deleter_type &  __d 
)
inlinenoexcept

Takes ownership of a pointer.

Parameters
__pA pointer to an array of a type safely convertible to an array of element_type
__dA reference to a deleter.

The deleter will be initialized with __d

Definition at line 562 of file unique_ptr.h.

◆ unique_ptr() [4/7]

template<typename _Tp , typename _Dp >
template<typename _Up , typename _Del = deleter_type, typename = _Require<__safe_conversion_raw<_Up>, is_move_constructible<_Del>>>
std::unique_ptr< _Tp[], _Dp >::unique_ptr ( _Up  __p,
__enable_if_t<!is_lvalue_reference< _Del >::value, _Del && >  __d 
)
inlinenoexcept

Takes ownership of a pointer.

Parameters
__pA pointer to an array of a type safely convertible to an array of element_type
__dA reference to a deleter.

The deleter will be initialized with std::move(__d)

Definition at line 576 of file unique_ptr.h.

◆ unique_ptr() [5/7]

template<typename _Tp , typename _Dp >
std::unique_ptr< _Tp[], _Dp >::unique_ptr ( unique_ptr< _Tp[], _Dp > &&  )
default

Move constructor.

◆ unique_ptr() [6/7]

template<typename _Tp , typename _Dp >
template<typename _Del = _Dp, typename = _DeleterConstraint<_Del>>
constexpr std::unique_ptr< _Tp[], _Dp >::unique_ptr ( nullptr_t  )
inlineconstexprnoexcept

Creates a unique_ptr that owns nothing.

Definition at line 594 of file unique_ptr.h.

◆ unique_ptr() [7/7]

template<typename _Tp , typename _Dp >
template<typename _Up , typename _Ep , typename = _Require< __safe_conversion_up<_Up, _Ep>, typename conditional<is_reference<_Dp>::value, is_same<_Ep, _Dp>, is_convertible<_Ep, _Dp>>::type>>
std::unique_ptr< _Tp[], _Dp >::unique_ptr ( unique_ptr< _Up, _Ep > &&  __u)
inlinenoexcept

Definition at line 603 of file unique_ptr.h.

◆ ~unique_ptr()

template<typename _Tp , typename _Dp >
std::unique_ptr< _Tp[], _Dp >::~unique_ptr ( )
inline

Destructor, invokes the deleter if the stored pointer is not null.

Definition at line 608 of file unique_ptr.h.

References std::unique_ptr< _Tp, _Dp >::get_deleter().

Member Function Documentation

◆ get()

template<typename _Tp , typename _Dp >
pointer std::unique_ptr< _Tp[], _Dp >::get ( ) const
inlinenoexcept

Return the stored pointer.

Definition at line 665 of file unique_ptr.h.

◆ get_deleter() [1/2]

template<typename _Tp , typename _Dp >
const deleter_type & std::unique_ptr< _Tp[], _Dp >::get_deleter ( ) const
inlinenoexcept

Return a reference to the stored deleter.

Definition at line 675 of file unique_ptr.h.

◆ get_deleter() [2/2]

template<typename _Tp , typename _Dp >
deleter_type & std::unique_ptr< _Tp[], _Dp >::get_deleter ( )
inlinenoexcept

Return a reference to the stored deleter.

Definition at line 670 of file unique_ptr.h.

◆ operator bool()

template<typename _Tp , typename _Dp >
std::unique_ptr< _Tp[], _Dp >::operator bool ( ) const
inlineexplicitnoexcept

Return true if the stored pointer is not null.

Definition at line 679 of file unique_ptr.h.

References std::unique_ptr< _Tp, _Dp >::get().

◆ operator=() [1/3]

template<typename _Tp , typename _Dp >
unique_ptr & std::unique_ptr< _Tp[], _Dp >::operator= ( nullptr_t  )
inlinenoexcept

Reset the unique_ptr to empty, invoking the deleter if necessary.

Definition at line 647 of file unique_ptr.h.

References std::unique_ptr< _Tp, _Dp >::reset().

◆ operator=() [2/3]

template<typename _Tp , typename _Dp >
unique_ptr & std::unique_ptr< _Tp[], _Dp >::operator= ( unique_ptr< _Tp[], _Dp > &&  )
default

Move assignment operator.

Invokes the deleter if this object owns a pointer.

◆ operator=() [3/3]

template<typename _Tp , typename _Dp >
template<typename _Up , typename _Ep >
enable_if< __and_< __safe_conversion_up< _Up, _Ep >, is_assignable< deleter_type &, _Ep && > >::value, unique_ptr & >::type std::unique_ptr< _Tp[], _Dp >::operator= ( unique_ptr< _Up, _Ep > &&  __u)
inlinenoexcept

Assignment from another type.

Parameters
__uThe object to transfer ownership from, which owns a convertible pointer to an array object.

Invokes the deleter if this object owns a pointer.

Definition at line 638 of file unique_ptr.h.

References std::unique_ptr< _Tp, _Dp >::get_deleter(), and std::unique_ptr< _Tp, _Dp >::reset().

◆ operator[]()

template<typename _Tp , typename _Dp >
std::add_lvalue_reference< element_type >::type std::unique_ptr< _Tp[], _Dp >::operator[] ( size_t  __i) const
inline

Access an element of owned array.

Definition at line 657 of file unique_ptr.h.

References std::unique_ptr< _Tp, _Dp >::get().

◆ release()

template<typename _Tp , typename _Dp >
pointer std::unique_ptr< _Tp[], _Dp >::release ( )
inlinenoexcept

Release ownership of any stored pointer.

Definition at line 686 of file unique_ptr.h.

◆ reset() [1/2]

template<typename _Tp , typename _Dp >
template<typename _Up , typename = _Require< __or_<is_same<_Up, pointer>, __and_<is_same<pointer, element_type*>, is_pointer<_Up>, is_convertible< typename remove_pointer<_Up>::type(*)[], element_type(*)[] > > > >>
void std::unique_ptr< _Tp[], _Dp >::reset ( _Up  __p)
inlinenoexcept

Replace the stored pointer.

Parameters
__pThe new pointer to store.

The deleter will be invoked if a pointer is already owned.

Definition at line 708 of file unique_ptr.h.

References std::move().

◆ reset() [2/2]

template<typename _Tp , typename _Dp >
void std::unique_ptr< _Tp[], _Dp >::reset ( nullptr_t  = nullptr)
inlinenoexcept

Definition at line 711 of file unique_ptr.h.

◆ swap()

template<typename _Tp , typename _Dp >
void std::unique_ptr< _Tp[], _Dp >::swap ( unique_ptr< _Tp[], _Dp > &  __u)
inlinenoexcept

Exchange the pointer and deleter with another object.

Definition at line 716 of file unique_ptr.h.


The documentation for this class was generated from the following file: