6a450d4056
numbers):
r242679 Implement the plugin-based version of std::search. There are no
searchers yet; those are coming soon.
r242682 Implement the default searcher for std::experimental::search.
r243728 Add <experimental/any> v2.
r245330 implement more of N4258 - Cleaning up noexcept in the standard
library. Specifically add new noexcept stuff to vector and
string's move-assignment operations
r245334 Fix PR22606 - Leak pthread_key with static storage duration to
ensure all of thread-local destructors are called.
r245335 Fix PR23589: std::function doesn't recognize null pointer to
varargs function.
r247036 Implementation of Boyer-Moore and Boyer-Moore-Horspool
searchers for the LFTS.
r249325 Implement LWG#2063, and update the issues links to point to the
github generated pages
r249738 Split <ctype.h> out of <cctype>.
r249739 Split <errno.h> out of <cerrno>.
r249740 Split <float.h> out of <cfloat>.
r249741 Split <inttypes.h> out of <cinttypes>.
r249742 Split <math.h> out of <cmath>.
r249743 Split <setjmp.h> out of <csetjmp>.
r249761 Split <stddef.h> out of <cstddef>.
r249798 Split <stdio.h> out of <cstdio>.
r249800 Split <stdlib.h> out of <cstdlib>.
r249889 Split <wchar.h> out of <cwchar>.
r249890 Split <wctype.h> out of <cwctype>.
r249929 Split <string.h> out of <cstring>.
r250254 ABI versioning macros for libc++.
r251246 Fix LWG#2244: basic_istream::seekg
r251247 Fix LWG#2127: Move-construction with raw_storage_iterator.
r251253 Fix LWG#2476: scoped_allocator_adaptor is not assignable
r251257 Fix LWG#2489: mem_fn() should be noexcept
r251618 Implement P0004R1 'Remove Deprecated iostreams aliases'
r251766 Implement the first part of P0006R0: Adopt Type Traits Variable
Templates for C++17.
r252195 Implement P0092R1 for C++1z
r252350 Allow deque to handle incomplete types.
r252406 More of P0006R0: type traits variable aliases for C++17.
r252407 Implement LWG#2353: std::next is over-constrained
r252905 Implement P0074: Making owner_less more flexible
r253215 Implement P0013R1: Logical Operator Type Traits.
r253274 Implement P0007: Constant View: A proposal for a std::as_const
helper function template.
r254119 Add static_assert to set/multiset/map/multimap/forward_list/deque
that the allocator's value_type match the container's value_type.
r254283 Implement more of P0006; Type Traits Variable Templates.
r255941 LWG2485: get() should be overloaded for const tuple&&.
r256325 Fix LWG Issue #2367 - Fixing std::tuple and std::pair's default
constructors.
r256652 Fix for ALL undefined behavior in <list>.
r256859 First half of LWG#2354: 'Unnecessary copying when inserting
into maps with braced-init syntax'
Exp-run: antoine
Relnotes: yes
605 lines
22 KiB
C++
605 lines
22 KiB
C++
// -*- C++ -*-
|
|
//===-------------------------- scoped_allocator --------------------------===//
|
|
//
|
|
// The LLVM Compiler Infrastructure
|
|
//
|
|
// This file is dual licensed under the MIT and the University of Illinois Open
|
|
// Source Licenses. See LICENSE.TXT for details.
|
|
//
|
|
//===----------------------------------------------------------------------===//
|
|
|
|
#ifndef _LIBCPP_SCOPED_ALLOCATOR
|
|
#define _LIBCPP_SCOPED_ALLOCATOR
|
|
|
|
/*
|
|
scoped_allocator synopsis
|
|
|
|
namespace std
|
|
{
|
|
|
|
template <class OuterAlloc, class... InnerAllocs>
|
|
class scoped_allocator_adaptor : public OuterAlloc
|
|
{
|
|
typedef allocator_traits<OuterAlloc> OuterTraits; // exposition only
|
|
scoped_allocator_adaptor<InnerAllocs...> inner; // exposition only
|
|
public:
|
|
|
|
typedef OuterAlloc outer_allocator_type;
|
|
typedef see below inner_allocator_type;
|
|
|
|
typedef typename OuterTraits::value_type value_type;
|
|
typedef typename OuterTraits::size_type size_type;
|
|
typedef typename OuterTraits::difference_type difference_type;
|
|
typedef typename OuterTraits::pointer pointer;
|
|
typedef typename OuterTraits::const_pointer const_pointer;
|
|
typedef typename OuterTraits::void_pointer void_pointer;
|
|
typedef typename OuterTraits::const_void_pointer const_void_pointer;
|
|
|
|
typedef see below propagate_on_container_copy_assignment;
|
|
typedef see below propagate_on_container_move_assignment;
|
|
typedef see below propagate_on_container_swap;
|
|
typedef see below is_always_equal;
|
|
|
|
template <class Tp>
|
|
struct rebind
|
|
{
|
|
typedef scoped_allocator_adaptor<
|
|
OuterTraits::template rebind_alloc<Tp>, InnerAllocs...> other;
|
|
};
|
|
|
|
scoped_allocator_adaptor();
|
|
template <class OuterA2>
|
|
scoped_allocator_adaptor(OuterA2&& outerAlloc,
|
|
const InnerAllocs&... innerAllocs) noexcept;
|
|
scoped_allocator_adaptor(const scoped_allocator_adaptor& other) noexcept;
|
|
scoped_allocator_adaptor(scoped_allocator_adaptor&& other) noexcept;
|
|
template <class OuterA2>
|
|
scoped_allocator_adaptor(const scoped_allocator_adaptor<OuterA2, InnerAllocs...>& other) noexcept;
|
|
template <class OuterA2>
|
|
scoped_allocator_adaptor(const scoped_allocator_adaptor<OuterA2, InnerAllocs...>&& other) noexcept;
|
|
|
|
scoped_allocator_adaptor& operator=(const scoped_allocator_adaptor&) = default;
|
|
scoped_allocator_adaptor& operator=(scoped_allocator_adaptor&&) = default;
|
|
~scoped_allocator_adaptor();
|
|
|
|
inner_allocator_type& inner_allocator() noexcept;
|
|
const inner_allocator_type& inner_allocator() const noexcept;
|
|
|
|
outer_allocator_type& outer_allocator() noexcept;
|
|
const outer_allocator_type& outer_allocator() const noexcept;
|
|
|
|
pointer allocate(size_type n);
|
|
pointer allocate(size_type n, const_void_pointer hint);
|
|
void deallocate(pointer p, size_type n) noexcept;
|
|
|
|
size_type max_size() const;
|
|
template <class T, class... Args> void construct(T* p, Args&& args);
|
|
template <class T1, class T2, class... Args1, class... Args2>
|
|
void construct(pair<T1, T2>* p, piecewise_construct t, tuple<Args1...> x,
|
|
tuple<Args2...> y);
|
|
template <class T1, class T2>
|
|
void construct(pair<T1, T2>* p);
|
|
template <class T1, class T2, class U, class V>
|
|
void construct(pair<T1, T2>* p, U&& x, V&& y);
|
|
template <class T1, class T2, class U, class V>
|
|
void construct(pair<T1, T2>* p, const pair<U, V>& x);
|
|
template <class T1, class T2, class U, class V>
|
|
void construct(pair<T1, T2>* p, pair<U, V>&& x);
|
|
template <class T> void destroy(T* p);
|
|
|
|
template <class T> void destroy(T* p) noexcept;
|
|
|
|
scoped_allocator_adaptor select_on_container_copy_construction() const noexcept;
|
|
};
|
|
|
|
template <class OuterA1, class OuterA2, class... InnerAllocs>
|
|
bool
|
|
operator==(const scoped_allocator_adaptor<OuterA1, InnerAllocs...>& a,
|
|
const scoped_allocator_adaptor<OuterA2, InnerAllocs...>& b) noexcept;
|
|
|
|
template <class OuterA1, class OuterA2, class... InnerAllocs>
|
|
bool
|
|
operator!=(const scoped_allocator_adaptor<OuterA1, InnerAllocs...>& a,
|
|
const scoped_allocator_adaptor<OuterA2, InnerAllocs...>& b) noexcept;
|
|
|
|
} // std
|
|
|
|
*/
|
|
|
|
#include <__config>
|
|
#include <memory>
|
|
|
|
#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
|
|
#pragma GCC system_header
|
|
#endif
|
|
|
|
_LIBCPP_BEGIN_NAMESPACE_STD
|
|
|
|
#if !defined(_LIBCPP_HAS_NO_RVALUE_REFERENCES) && !defined(_LIBCPP_HAS_NO_ADVANCED_SFINAE)
|
|
|
|
// scoped_allocator_adaptor
|
|
|
|
template <class ..._Allocs>
|
|
class scoped_allocator_adaptor;
|
|
|
|
template <class ..._Allocs> struct __get_poc_copy_assignment;
|
|
|
|
template <class _A0>
|
|
struct __get_poc_copy_assignment<_A0>
|
|
{
|
|
static const bool value = allocator_traits<_A0>::
|
|
propagate_on_container_copy_assignment::value;
|
|
};
|
|
|
|
template <class _A0, class ..._Allocs>
|
|
struct __get_poc_copy_assignment<_A0, _Allocs...>
|
|
{
|
|
static const bool value =
|
|
allocator_traits<_A0>::propagate_on_container_copy_assignment::value ||
|
|
__get_poc_copy_assignment<_Allocs...>::value;
|
|
};
|
|
|
|
template <class ..._Allocs> struct __get_poc_move_assignment;
|
|
|
|
template <class _A0>
|
|
struct __get_poc_move_assignment<_A0>
|
|
{
|
|
static const bool value = allocator_traits<_A0>::
|
|
propagate_on_container_move_assignment::value;
|
|
};
|
|
|
|
template <class _A0, class ..._Allocs>
|
|
struct __get_poc_move_assignment<_A0, _Allocs...>
|
|
{
|
|
static const bool value =
|
|
allocator_traits<_A0>::propagate_on_container_move_assignment::value ||
|
|
__get_poc_move_assignment<_Allocs...>::value;
|
|
};
|
|
|
|
template <class ..._Allocs> struct __get_poc_swap;
|
|
|
|
template <class _A0>
|
|
struct __get_poc_swap<_A0>
|
|
{
|
|
static const bool value = allocator_traits<_A0>::
|
|
propagate_on_container_swap::value;
|
|
};
|
|
|
|
template <class _A0, class ..._Allocs>
|
|
struct __get_poc_swap<_A0, _Allocs...>
|
|
{
|
|
static const bool value =
|
|
allocator_traits<_A0>::propagate_on_container_swap::value ||
|
|
__get_poc_swap<_Allocs...>::value;
|
|
};
|
|
|
|
template <class ..._Allocs> struct __get_is_always_equal;
|
|
|
|
template <class _A0>
|
|
struct __get_is_always_equal<_A0>
|
|
{
|
|
static const bool value = allocator_traits<_A0>::is_always_equal::value;
|
|
};
|
|
|
|
template <class _A0, class ..._Allocs>
|
|
struct __get_is_always_equal<_A0, _Allocs...>
|
|
{
|
|
static const bool value =
|
|
allocator_traits<_A0>::is_always_equal::value &&
|
|
__get_is_always_equal<_Allocs...>::value;
|
|
};
|
|
|
|
template <class ..._Allocs>
|
|
class __scoped_allocator_storage;
|
|
|
|
template <class _OuterAlloc, class... _InnerAllocs>
|
|
class __scoped_allocator_storage<_OuterAlloc, _InnerAllocs...>
|
|
: public _OuterAlloc
|
|
{
|
|
typedef _OuterAlloc outer_allocator_type;
|
|
protected:
|
|
typedef scoped_allocator_adaptor<_InnerAllocs...> inner_allocator_type;
|
|
|
|
private:
|
|
inner_allocator_type __inner_;
|
|
|
|
protected:
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
__scoped_allocator_storage() _NOEXCEPT {}
|
|
|
|
template <class _OuterA2,
|
|
class = typename enable_if<
|
|
is_constructible<outer_allocator_type, _OuterA2>::value
|
|
>::type>
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
__scoped_allocator_storage(_OuterA2&& __outerAlloc,
|
|
const _InnerAllocs& ...__innerAllocs) _NOEXCEPT
|
|
: outer_allocator_type(_VSTD::forward<_OuterA2>(__outerAlloc)),
|
|
__inner_(__innerAllocs...) {}
|
|
|
|
template <class _OuterA2,
|
|
class = typename enable_if<
|
|
is_constructible<outer_allocator_type, const _OuterA2&>::value
|
|
>::type>
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
__scoped_allocator_storage(
|
|
const __scoped_allocator_storage<_OuterA2, _InnerAllocs...>& __other) _NOEXCEPT
|
|
: outer_allocator_type(__other.outer_allocator()),
|
|
__inner_(__other.inner_allocator()) {}
|
|
|
|
template <class _OuterA2,
|
|
class = typename enable_if<
|
|
is_constructible<outer_allocator_type, _OuterA2>::value
|
|
>::type>
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
__scoped_allocator_storage(
|
|
__scoped_allocator_storage<_OuterA2, _InnerAllocs...>&& __other) _NOEXCEPT
|
|
: outer_allocator_type(_VSTD::move(__other.outer_allocator())),
|
|
__inner_(_VSTD::move(__other.inner_allocator())) {}
|
|
|
|
template <class _OuterA2,
|
|
class = typename enable_if<
|
|
is_constructible<outer_allocator_type, _OuterA2>::value
|
|
>::type>
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
__scoped_allocator_storage(_OuterA2&& __o,
|
|
const inner_allocator_type& __i) _NOEXCEPT
|
|
: outer_allocator_type(_VSTD::forward<_OuterA2>(__o)),
|
|
__inner_(__i)
|
|
{
|
|
}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
inner_allocator_type& inner_allocator() _NOEXCEPT {return __inner_;}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
const inner_allocator_type& inner_allocator() const _NOEXCEPT {return __inner_;}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
outer_allocator_type& outer_allocator() _NOEXCEPT
|
|
{return static_cast<outer_allocator_type&>(*this);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
const outer_allocator_type& outer_allocator() const _NOEXCEPT
|
|
{return static_cast<const outer_allocator_type&>(*this);}
|
|
|
|
scoped_allocator_adaptor<outer_allocator_type, _InnerAllocs...>
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
select_on_container_copy_construction() const _NOEXCEPT
|
|
{
|
|
return scoped_allocator_adaptor<outer_allocator_type, _InnerAllocs...>
|
|
(
|
|
allocator_traits<outer_allocator_type>::
|
|
select_on_container_copy_construction(outer_allocator()),
|
|
allocator_traits<inner_allocator_type>::
|
|
select_on_container_copy_construction(inner_allocator())
|
|
);
|
|
}
|
|
|
|
template <class...> friend class __scoped_allocator_storage;
|
|
};
|
|
|
|
template <class _OuterAlloc>
|
|
class __scoped_allocator_storage<_OuterAlloc>
|
|
: public _OuterAlloc
|
|
{
|
|
typedef _OuterAlloc outer_allocator_type;
|
|
protected:
|
|
typedef scoped_allocator_adaptor<_OuterAlloc> inner_allocator_type;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
__scoped_allocator_storage() _NOEXCEPT {}
|
|
|
|
template <class _OuterA2,
|
|
class = typename enable_if<
|
|
is_constructible<outer_allocator_type, _OuterA2>::value
|
|
>::type>
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
__scoped_allocator_storage(_OuterA2&& __outerAlloc) _NOEXCEPT
|
|
: outer_allocator_type(_VSTD::forward<_OuterA2>(__outerAlloc)) {}
|
|
|
|
template <class _OuterA2,
|
|
class = typename enable_if<
|
|
is_constructible<outer_allocator_type, const _OuterA2&>::value
|
|
>::type>
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
__scoped_allocator_storage(
|
|
const __scoped_allocator_storage<_OuterA2>& __other) _NOEXCEPT
|
|
: outer_allocator_type(__other.outer_allocator()) {}
|
|
|
|
template <class _OuterA2,
|
|
class = typename enable_if<
|
|
is_constructible<outer_allocator_type, _OuterA2>::value
|
|
>::type>
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
__scoped_allocator_storage(
|
|
__scoped_allocator_storage<_OuterA2>&& __other) _NOEXCEPT
|
|
: outer_allocator_type(_VSTD::move(__other.outer_allocator())) {}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
inner_allocator_type& inner_allocator() _NOEXCEPT
|
|
{return static_cast<inner_allocator_type&>(*this);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
const inner_allocator_type& inner_allocator() const _NOEXCEPT
|
|
{return static_cast<const inner_allocator_type&>(*this);}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
outer_allocator_type& outer_allocator() _NOEXCEPT
|
|
{return static_cast<outer_allocator_type&>(*this);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
const outer_allocator_type& outer_allocator() const _NOEXCEPT
|
|
{return static_cast<const outer_allocator_type&>(*this);}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
scoped_allocator_adaptor<outer_allocator_type>
|
|
select_on_container_copy_construction() const _NOEXCEPT
|
|
{return scoped_allocator_adaptor<outer_allocator_type>(
|
|
allocator_traits<outer_allocator_type>::
|
|
select_on_container_copy_construction(outer_allocator())
|
|
);}
|
|
|
|
__scoped_allocator_storage(const outer_allocator_type& __o,
|
|
const inner_allocator_type& __i) _NOEXCEPT;
|
|
|
|
template <class...> friend class __scoped_allocator_storage;
|
|
};
|
|
|
|
// __outermost
|
|
|
|
template <class _Alloc>
|
|
decltype(declval<_Alloc>().outer_allocator(), true_type())
|
|
__has_outer_allocator_test(_Alloc&& __a);
|
|
|
|
template <class _Alloc>
|
|
false_type
|
|
__has_outer_allocator_test(const volatile _Alloc& __a);
|
|
|
|
template <class _Alloc>
|
|
struct __has_outer_allocator
|
|
: public common_type
|
|
<
|
|
decltype(__has_outer_allocator_test(declval<_Alloc&>()))
|
|
>::type
|
|
{
|
|
};
|
|
|
|
template <class _Alloc, bool = __has_outer_allocator<_Alloc>::value>
|
|
struct __outermost
|
|
{
|
|
typedef _Alloc type;
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
type& operator()(type& __a) const _NOEXCEPT {return __a;}
|
|
};
|
|
|
|
template <class _Alloc>
|
|
struct __outermost<_Alloc, true>
|
|
{
|
|
typedef typename remove_reference
|
|
<
|
|
decltype(_VSTD::declval<_Alloc>().outer_allocator())
|
|
>::type _OuterAlloc;
|
|
typedef typename __outermost<_OuterAlloc>::type type;
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
type& operator()(_Alloc& __a) const _NOEXCEPT
|
|
{return __outermost<_OuterAlloc>()(__a.outer_allocator());}
|
|
};
|
|
|
|
template <class _OuterAlloc, class... _InnerAllocs>
|
|
class _LIBCPP_TYPE_VIS_ONLY scoped_allocator_adaptor<_OuterAlloc, _InnerAllocs...>
|
|
: public __scoped_allocator_storage<_OuterAlloc, _InnerAllocs...>
|
|
{
|
|
typedef __scoped_allocator_storage<_OuterAlloc, _InnerAllocs...> base;
|
|
typedef allocator_traits<_OuterAlloc> _OuterTraits;
|
|
public:
|
|
typedef _OuterAlloc outer_allocator_type;
|
|
typedef typename base::inner_allocator_type inner_allocator_type;
|
|
typedef typename _OuterTraits::size_type size_type;
|
|
typedef typename _OuterTraits::difference_type difference_type;
|
|
typedef typename _OuterTraits::pointer pointer;
|
|
typedef typename _OuterTraits::const_pointer const_pointer;
|
|
typedef typename _OuterTraits::void_pointer void_pointer;
|
|
typedef typename _OuterTraits::const_void_pointer const_void_pointer;
|
|
|
|
typedef integral_constant
|
|
<
|
|
bool,
|
|
__get_poc_copy_assignment<outer_allocator_type,
|
|
_InnerAllocs...>::value
|
|
> propagate_on_container_copy_assignment;
|
|
typedef integral_constant
|
|
<
|
|
bool,
|
|
__get_poc_move_assignment<outer_allocator_type,
|
|
_InnerAllocs...>::value
|
|
> propagate_on_container_move_assignment;
|
|
typedef integral_constant
|
|
<
|
|
bool,
|
|
__get_poc_swap<outer_allocator_type, _InnerAllocs...>::value
|
|
> propagate_on_container_swap;
|
|
typedef integral_constant
|
|
<
|
|
bool,
|
|
__get_is_always_equal<outer_allocator_type, _InnerAllocs...>::value
|
|
> is_always_equal;
|
|
|
|
template <class _Tp>
|
|
struct rebind
|
|
{
|
|
typedef scoped_allocator_adaptor
|
|
<
|
|
typename _OuterTraits::template rebind_alloc<_Tp>, _InnerAllocs...
|
|
> other;
|
|
};
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
scoped_allocator_adaptor() _NOEXCEPT {}
|
|
template <class _OuterA2,
|
|
class = typename enable_if<
|
|
is_constructible<outer_allocator_type, _OuterA2>::value
|
|
>::type>
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
scoped_allocator_adaptor(_OuterA2&& __outerAlloc,
|
|
const _InnerAllocs& ...__innerAllocs) _NOEXCEPT
|
|
: base(_VSTD::forward<_OuterA2>(__outerAlloc), __innerAllocs...) {}
|
|
// scoped_allocator_adaptor(const scoped_allocator_adaptor& __other) = default;
|
|
template <class _OuterA2,
|
|
class = typename enable_if<
|
|
is_constructible<outer_allocator_type, const _OuterA2&>::value
|
|
>::type>
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
scoped_allocator_adaptor(
|
|
const scoped_allocator_adaptor<_OuterA2, _InnerAllocs...>& __other) _NOEXCEPT
|
|
: base(__other) {}
|
|
template <class _OuterA2,
|
|
class = typename enable_if<
|
|
is_constructible<outer_allocator_type, _OuterA2>::value
|
|
>::type>
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
scoped_allocator_adaptor(
|
|
scoped_allocator_adaptor<_OuterA2, _InnerAllocs...>&& __other) _NOEXCEPT
|
|
: base(_VSTD::move(__other)) {}
|
|
|
|
// scoped_allocator_adaptor& operator=(const scoped_allocator_adaptor&) = default;
|
|
// scoped_allocator_adaptor& operator=(scoped_allocator_adaptor&&) = default;
|
|
// ~scoped_allocator_adaptor() = default;
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
inner_allocator_type& inner_allocator() _NOEXCEPT
|
|
{return base::inner_allocator();}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
const inner_allocator_type& inner_allocator() const _NOEXCEPT
|
|
{return base::inner_allocator();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
outer_allocator_type& outer_allocator() _NOEXCEPT
|
|
{return base::outer_allocator();}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
const outer_allocator_type& outer_allocator() const _NOEXCEPT
|
|
{return base::outer_allocator();}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
pointer allocate(size_type __n)
|
|
{return allocator_traits<outer_allocator_type>::
|
|
allocate(outer_allocator(), __n);}
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
pointer allocate(size_type __n, const_void_pointer __hint)
|
|
{return allocator_traits<outer_allocator_type>::
|
|
allocate(outer_allocator(), __n, __hint);}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
void deallocate(pointer __p, size_type __n) _NOEXCEPT
|
|
{allocator_traits<outer_allocator_type>::
|
|
deallocate(outer_allocator(), __p, __n);}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
size_type max_size() const
|
|
{return allocator_traits<outer_allocator_type>::max_size(outer_allocator());}
|
|
|
|
template <class _Tp, class... _Args>
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
void construct(_Tp* __p, _Args&& ...__args)
|
|
{__construct(__uses_alloc_ctor<_Tp, inner_allocator_type, _Args...>(),
|
|
__p, _VSTD::forward<_Args>(__args)...);}
|
|
template <class _Tp>
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
void destroy(_Tp* __p)
|
|
{
|
|
typedef __outermost<outer_allocator_type> _OM;
|
|
allocator_traits<typename _OM::type>::
|
|
destroy(_OM()(outer_allocator()), __p);
|
|
}
|
|
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
scoped_allocator_adaptor select_on_container_copy_construction() const _NOEXCEPT
|
|
{return base::select_on_container_copy_construction();}
|
|
|
|
private:
|
|
|
|
template <class _OuterA2,
|
|
class = typename enable_if<
|
|
is_constructible<outer_allocator_type, _OuterA2>::value
|
|
>::type>
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
scoped_allocator_adaptor(_OuterA2&& __o,
|
|
const inner_allocator_type& __i) _NOEXCEPT
|
|
: base(_VSTD::forward<_OuterA2>(__o), __i) {}
|
|
|
|
template <class _Tp, class... _Args>
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
void __construct(integral_constant<int, 0>, _Tp* __p, _Args&& ...__args)
|
|
{
|
|
typedef __outermost<outer_allocator_type> _OM;
|
|
allocator_traits<typename _OM::type>::construct
|
|
(
|
|
_OM()(outer_allocator()),
|
|
__p,
|
|
_VSTD::forward<_Args>(__args)...
|
|
);
|
|
}
|
|
|
|
template <class _Tp, class... _Args>
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
void __construct(integral_constant<int, 1>, _Tp* __p, _Args&& ...__args)
|
|
{
|
|
typedef __outermost<outer_allocator_type> _OM;
|
|
allocator_traits<typename _OM::type>::construct
|
|
(
|
|
_OM()(outer_allocator()),
|
|
__p,
|
|
allocator_arg,
|
|
inner_allocator(),
|
|
_VSTD::forward<_Args>(__args)...
|
|
);
|
|
}
|
|
|
|
template <class _Tp, class... _Args>
|
|
_LIBCPP_INLINE_VISIBILITY
|
|
void __construct(integral_constant<int, 2>, _Tp* __p, _Args&& ...__args)
|
|
{
|
|
typedef __outermost<outer_allocator_type> _OM;
|
|
allocator_traits<typename _OM::type>::construct
|
|
(
|
|
_OM()(outer_allocator()),
|
|
__p,
|
|
_VSTD::forward<_Args>(__args)...,
|
|
inner_allocator()
|
|
);
|
|
}
|
|
|
|
template <class...> friend class __scoped_allocator_storage;
|
|
};
|
|
|
|
template <class _OuterA1, class _OuterA2>
|
|
inline _LIBCPP_INLINE_VISIBILITY
|
|
bool
|
|
operator==(const scoped_allocator_adaptor<_OuterA1>& __a,
|
|
const scoped_allocator_adaptor<_OuterA2>& __b) _NOEXCEPT
|
|
{
|
|
return __a.outer_allocator() == __b.outer_allocator();
|
|
}
|
|
|
|
template <class _OuterA1, class _OuterA2, class _InnerA0, class... _InnerAllocs>
|
|
inline _LIBCPP_INLINE_VISIBILITY
|
|
bool
|
|
operator==(const scoped_allocator_adaptor<_OuterA1, _InnerA0, _InnerAllocs...>& __a,
|
|
const scoped_allocator_adaptor<_OuterA2, _InnerA0, _InnerAllocs...>& __b) _NOEXCEPT
|
|
{
|
|
return __a.outer_allocator() == __b.outer_allocator() &&
|
|
__a.inner_allocator() == __b.inner_allocator();
|
|
}
|
|
|
|
template <class _OuterA1, class _OuterA2, class... _InnerAllocs>
|
|
inline _LIBCPP_INLINE_VISIBILITY
|
|
bool
|
|
operator!=(const scoped_allocator_adaptor<_OuterA1, _InnerAllocs...>& __a,
|
|
const scoped_allocator_adaptor<_OuterA2, _InnerAllocs...>& __b) _NOEXCEPT
|
|
{
|
|
return !(__a == __b);
|
|
}
|
|
|
|
#endif // !defined(_LIBCPP_HAS_NO_RVALUE_REFERENCES) && !defined(_LIBCPP_HAS_NO_ADVANCED_SFINAE)
|
|
|
|
_LIBCPP_END_NAMESPACE_STD
|
|
|
|
#endif // _LIBCPP_SCOPED_ALLOCATOR
|