#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_ptr &	operator= (const unique_ptr &)=delete

unique_ptr &	operator= (nullptr_t) noexcept

unique_ptr &	operator= (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

__p	A 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

__p	A pointer to an array of a type safely convertible to an array of `element_type`
__d	A 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

__p	A pointer to an array of a type safely convertible to an array of `element_type`
__d	A 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

__u	The 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

__p	The 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:

unique_ptr.h

Public Types

Public Member Functions

Detailed Description

Member Typedef Documentation

◆ __safe_conversion_raw

◆ __safe_conversion_up

◆ deleter_type

◆ element_type

◆ pointer

Constructor & Destructor Documentation

◆ unique_ptr() [1/7]

◆ unique_ptr() [2/7]

◆ unique_ptr() [3/7]

◆ unique_ptr() [4/7]

◆ unique_ptr() [5/7]

◆ unique_ptr() [6/7]

◆ unique_ptr() [7/7]

◆ ~unique_ptr()

Member Function Documentation

◆ get()

◆ get_deleter() [1/2]

◆ get_deleter() [2/2]

◆ operator bool()

◆ operator=() [1/3]

◆ operator=() [2/3]

◆ operator=() [3/3]

◆ operator[]()

◆ release()

◆ reset() [1/2]

◆ reset() [2/2]

◆ swap()