diff options
Diffstat (limited to 'tests/libcxx/include/scoped_allocator')
| -rw-r--r-- | tests/libcxx/include/scoped_allocator | 573 |
1 files changed, 573 insertions, 0 deletions
diff --git a/tests/libcxx/include/scoped_allocator b/tests/libcxx/include/scoped_allocator new file mode 100644 index 00000000..70be28ee --- /dev/null +++ b/tests/libcxx/include/scoped_allocator @@ -0,0 +1,573 @@ +// -*- 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; + + 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); + scoped_allocator_adaptor(const scoped_allocator_adaptor& other); + template <class OuterA2> + scoped_allocator_adaptor(const scoped_allocator_adaptor<OuterA2, InnerAllocs...>& other); + template <class OuterA2> + scoped_allocator_adaptor(const scoped_allocator_adaptor<OuterA2, InnerAllocs...>&& other); + + ~scoped_allocator_adaptor(); + + inner_allocator_type& inner_allocator(); + const inner_allocator_type& inner_allocator() const; + + outer_allocator_type& outer_allocator(); + const outer_allocator_type& outer_allocator() const; + + pointer allocate(size_type n); + pointer allocate(size_type n, const_void_pointer hint); + void deallocate(pointer p, size_type n); + + 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); + + scoped_allocator_adaptor select_on_container_copy_construction() const; +}; + +template <class OuterA1, class OuterA2, class... InnerAllocs> + bool + operator==(const scoped_allocator_adaptor<OuterA1, InnerAllocs...>& a, + const scoped_allocator_adaptor<OuterA2, InnerAllocs...>& b); + +template <class OuterA1, class OuterA2, class... InnerAllocs> + bool + operator!=(const scoped_allocator_adaptor<OuterA1, InnerAllocs...>& a, + const scoped_allocator_adaptor<OuterA2, InnerAllocs...>& b); + +} // std + +*/ + +#include <__config> +#include <memory> + +#pragma GCC system_header + +_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> +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() {} + + 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) + : outer_allocator_type(_STD::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) + : 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) + : outer_allocator_type(_STD::move(__other.outer_allocator())), + __inner_(_STD::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) + : outer_allocator_type(_STD::forward<_OuterA2>(__o)), + __inner_(__i) + { + } + + _LIBCPP_INLINE_VISIBILITY + inner_allocator_type& inner_allocator() {return __inner_;} + _LIBCPP_INLINE_VISIBILITY + const inner_allocator_type& inner_allocator() const {return __inner_;} + + _LIBCPP_INLINE_VISIBILITY + outer_allocator_type& outer_allocator() + {return static_cast<outer_allocator_type&>(*this);} + _LIBCPP_INLINE_VISIBILITY + const outer_allocator_type& outer_allocator() const + {return static_cast<const outer_allocator_type&>(*this);} + + scoped_allocator_adaptor<outer_allocator_type, _InnerAllocs...> + _LIBCPP_INLINE_VISIBILITY + select_on_container_copy_construction() const + { + 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() {} + + template <class _OuterA2, + class = typename enable_if< + is_constructible<outer_allocator_type, _OuterA2>::value + >::type> + _LIBCPP_INLINE_VISIBILITY + __scoped_allocator_storage(_OuterA2&& __outerAlloc) + : outer_allocator_type(_STD::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) + : 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) + : outer_allocator_type(_STD::move(__other.outer_allocator())) {} + + _LIBCPP_INLINE_VISIBILITY + inner_allocator_type& inner_allocator() + {return static_cast<inner_allocator_type&>(*this);} + _LIBCPP_INLINE_VISIBILITY + const inner_allocator_type& inner_allocator() const + {return static_cast<const inner_allocator_type&>(*this);} + + _LIBCPP_INLINE_VISIBILITY + outer_allocator_type& outer_allocator() + {return static_cast<outer_allocator_type&>(*this);} + _LIBCPP_INLINE_VISIBILITY + const outer_allocator_type& outer_allocator() const + {return static_cast<const outer_allocator_type&>(*this);} + + _LIBCPP_INLINE_VISIBILITY + scoped_allocator_adaptor<outer_allocator_type> + select_on_container_copy_construction() const + {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); + + 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 {return __a;} +}; + +template <class _Alloc> +struct __outermost<_Alloc, true> +{ + typedef typename remove_reference + < + decltype(_STD::declval<_Alloc>().outer_allocator()) + >::type _OuterAlloc; + typedef typename __outermost<_OuterAlloc>::type type; + _LIBCPP_INLINE_VISIBILITY + type& operator()(_Alloc& __a) const + {return __outermost<_OuterAlloc>()(__a.outer_allocator());} +}; + +template <class _OuterAlloc, class... _InnerAllocs> +class _LIBCPP_VISIBLE 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; + + template <class _Tp> + struct rebind + { + typedef scoped_allocator_adaptor + < + typename _OuterTraits::template rebind_alloc<_Tp>, _InnerAllocs... + > other; + }; + + _LIBCPP_INLINE_VISIBILITY + scoped_allocator_adaptor() {} + 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) + : base(_STD::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) + : 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) + : base(_STD::move(__other)) {} + + // ~scoped_allocator_adaptor() = default; + + _LIBCPP_INLINE_VISIBILITY + inner_allocator_type& inner_allocator() + {return base::inner_allocator();} + _LIBCPP_INLINE_VISIBILITY + const inner_allocator_type& inner_allocator() const + {return base::inner_allocator();} + + _LIBCPP_INLINE_VISIBILITY + outer_allocator_type& outer_allocator() + {return base::outer_allocator();} + _LIBCPP_INLINE_VISIBILITY + const outer_allocator_type& outer_allocator() const + {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) + {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, _STD::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 + {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) + : base(_STD::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, + _STD::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(), + _STD::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, + _STD::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) +{ + return __a.outer_allocator() == __b.outer_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) +{ + 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) +{ + return !(__a == __b); +} + +#endif // !defined(_LIBCPP_HAS_NO_RVALUE_REFERENCES) && !defined(_LIBCPP_HAS_NO_ADVANCED_SFINAE) + +_LIBCPP_END_NAMESPACE_STD + +#endif // _LIBCPP_SCOPED_ALLOCATOR |