scoped_allocator File Reference

#include <tuple>
#include <xmemory0>

Classes
struct	_Scoped_outermost_helper_tag
struct	_Scoped_outermost_helper< _Alloc, class >
struct	_Scoped_outermost_helper< _Alloc, void_t< _Scoped_outermost_helper_tag, decltype(_STD declval< _Alloc & >().outer_allocator())> >
class	scoped_allocator_adaptor< _Outer, _Inner >
struct	_Scoped_base< _Outer, _Inner >
struct	_Scoped_base< _Outer, _Inner0, _Inner...>
struct	_Scoped_base< _Outer >
class	scoped_allocator_adaptor< _Outer, _Inner >
struct	scoped_allocator_adaptor< _Outer, _Inner >::rebind< _Other >

Macros
#define	_SCOPED_ALLOCATOR_

Typedefs
template<class _Alloc >
using	_Scoped_outermost_t = remove_reference_t< decltype(_Scoped_outermost(_STD declval< _Alloc & >()))>
template<class _Alloc >
using	_Scoped_outermost_traits = allocator_traits< _Scoped_outermost_t< _Alloc >>

Functions
template<class _Alloc >
decltype(auto)	_Scoped_outermost (_Alloc &_Al)
template<class _Ty , class _Alloc , class... _Atypes>
tuple< _Atypes...> &&	_Scoped_construct_tuple (_Alloc &, false_type, _Any_tag, tuple< _Atypes...> &&_Val)
template<class _Ty , class _Alloc , class... _Atypes>
tuple< allocator_arg_t, _Alloc &, _Atypes...>	_Scoped_construct_tuple (_Alloc &_Alty, true_type, true_type, tuple< _Atypes...> &&_Val)
template<class _Ty , class _Alloc , class... _Atypes>
tuple< _Atypes..., _Alloc & >	_Scoped_construct_tuple (_Alloc &_Alty, true_type, false_type, tuple< _Atypes...> &&_Val)
template<class _Outer1 , class _Outer2 , class _Inner1 , class... _Inner>
bool	operator== (const scoped_allocator_adaptor< _Outer1, _Inner1, _Inner...> &_Left, const scoped_allocator_adaptor< _Outer2, _Inner1, _Inner...> &_Right) _NOEXCEPT
template<class _Outer1 , class _Outer2 >
bool	operator== (const scoped_allocator_adaptor< _Outer1 > &_Left, const scoped_allocator_adaptor< _Outer2 > &_Right) _NOEXCEPT
template<class _Outer1 , class _Outer2 , class... _Inner>
bool	operator!= (const scoped_allocator_adaptor< _Outer1, _Inner...> &_Left, const scoped_allocator_adaptor< _Outer2, _Inner...> &_Right) _NOEXCEPT

Macro Definition Documentation

#define _SCOPED_ALLOCATOR_

Typedef Documentation

template<class _Alloc >

using _Scoped_outermost_t = remove_reference_t<decltype(_Scoped_outermost(_STD declval<_Alloc&>()))>

template<class _Alloc >

using _Scoped_outermost_traits = allocator_traits<_Scoped_outermost_t<_Alloc>>

Function Documentation

template<class _Ty , class _Alloc , class... _Atypes>

tuple<_Atypes...>&& _Scoped_construct_tuple ( _Alloc &  , false_type  , _Any_tag  , tuple< _Atypes...> &&  _Val  )

inline

    {   // construct tuple from tuple argument, no allocator
    static_assert(is_constructible<_Ty, _Atypes...>::value,
        "N4582 20.16.4 [allocator.adaptor.members]/11 requires "
        "is_constructible<T, Args...> "
        "when uses_allocator<T, inner_allocator_type> is false");
    return (_STD move(_Val));
    }

template<class _Ty , class _Alloc , class... _Atypes>

tuple<allocator_arg_t, _Alloc&, _Atypes...> _Scoped_construct_tuple ( _Alloc &  _Alty, true_type  , true_type  , tuple< _Atypes...> &&  _Val  )

inline

    {   // construct tuple from tuple argument, leading allocator
    return (_STD tuple_cat(
        tuple<allocator_arg_t, _Alloc&>(allocator_arg, _Alty),
        _STD move(_Val)));
    }

template<class _Ty , class _Alloc , class... _Atypes>

tuple<_Atypes..., _Alloc&> _Scoped_construct_tuple ( _Alloc &  _Alty, true_type  , false_type  , tuple< _Atypes...> &&  _Val  )

inline

    {   // construct tuple from tuple argument, trailing allocator
    static_assert(is_constructible<_Ty, _Atypes..., _Alloc&>::value,
        "N4582 20.16.4 [allocator.adaptor.members]/11 requires "
        "is_constructible<T, allocator_arg_t, inner_allocator_type&, Args...> or "
        "is_constructible<T, Args..., inner_allocator_type&> "
        "when uses_allocator<T, inner_allocator_type> is true");
    return (_STD tuple_cat(_STD move(_Val),
        tuple<_Alloc&>(_Alty)));
    }

template<class _Alloc >

decltype(auto) _Scoped_outermost ( _Alloc &  _Al )

inline

    {   // gets the outermost allocator
    return (_Scoped_outermost_helper<_Alloc>::_Fn(_Al));
    }

template<class _Outer1 , class _Outer2 , class... _Inner>

bool operator!= ( const scoped_allocator_adaptor< _Outer1, _Inner...> &  _Left, const scoped_allocator_adaptor< _Outer2, _Inner...> &  _Right  )

inline

        {   // compare scoped_allocator_adaptors for equality
        return (!(_Left == _Right));
        }

template<class _Outer1 , class _Outer2 , class _Inner1 , class... _Inner>

bool operator== ( const scoped_allocator_adaptor< _Outer1, _Inner1, _Inner...> &  _Left, const scoped_allocator_adaptor< _Outer2, _Inner1, _Inner...> &  _Right  )

inline

        {   // compare scoped_allocator_adaptors for equality
        return (_Left.outer_allocator() == _Right.outer_allocator()
            && _Left.inner_allocator() == _Right.inner_allocator());
        }

template<class _Outer1 , class _Outer2 >

bool operator== ( const scoped_allocator_adaptor< _Outer1 > &  _Left, const scoped_allocator_adaptor< _Outer2 > &  _Right  )

inline

        {   // compare scoped_allocator_adaptors for equality
        return (_Left.outer_allocator() == _Right.outer_allocator());
        }