1 // -*- C++ -*- 2 //===----------------------------------------------------------------------===// 3 // 4 // The LLVM Compiler Infrastructure 5 // 6 // This file is dual licensed under the MIT and the University of Illinois Open 7 // Source Licenses. See LICENSE.TXT for details. 8 // 9 //===----------------------------------------------------------------------===// 10 11 #ifndef _LIBCPP_EXPERIMENTAL___MEMORY 12 #define _LIBCPP_EXPERIMENTAL___MEMORY 13 14 #include <experimental/__config> 15 #include <experimental/utility> // for erased_type 16 #include <__functional_base> 17 #include <type_traits> 18 19 _LIBCPP_BEGIN_NAMESPACE_LFTS 20 21 template < 22 class _Tp, class _Alloc 23 , bool = uses_allocator<_Tp, _Alloc>::value 24 , bool = __has_allocator_type<_Tp>::value 25 > 26 struct __lfts_uses_allocator : public false_type {}; 27 28 template <class _Tp, class _Alloc> 29 struct __lfts_uses_allocator<_Tp, _Alloc, false, false> : public false_type {}; 30 31 template <class _Tp, class _Alloc, bool HasAlloc> 32 struct __lfts_uses_allocator<_Tp, _Alloc, true, HasAlloc> : public true_type {}; 33 34 template <class _Tp, class _Alloc> 35 struct __lfts_uses_allocator<_Tp, _Alloc, false, true> 36 : public integral_constant<bool 37 , is_convertible<_Alloc, typename _Tp::allocator_type>::value 38 || is_same<erased_type, typename _Tp::allocator_type>::value 39 > 40 {}; 41 42 template <bool _UsesAlloc, class _Tp, class _Alloc, class ..._Args> 43 struct __lfts_uses_alloc_ctor_imp 44 { 45 static const int value = 0; 46 }; 47 48 template <class _Tp, class _Alloc, class ..._Args> 49 struct __lfts_uses_alloc_ctor_imp<true, _Tp, _Alloc, _Args...> 50 { 51 static const bool __ic_first 52 = is_constructible<_Tp, allocator_arg_t, _Alloc, _Args...>::value; 53 54 static const bool __ic_second = 55 conditional< 56 __ic_first, 57 false_type, 58 is_constructible<_Tp, _Args..., _Alloc> 59 >::type::value; 60 61 static_assert(__ic_first || __ic_second, 62 "Request for uses allocator construction is ill-formed"); 63 64 static const int value = __ic_first ? 1 : 2; 65 }; 66 67 template <class _Tp, class _Alloc, class ..._Args> 68 struct __lfts_uses_alloc_ctor 69 : integral_constant<int, 70 __lfts_uses_alloc_ctor_imp< 71 __lfts_uses_allocator<_Tp, _Alloc>::value 72 , _Tp, _Alloc, _Args... 73 >::value 74 > 75 {}; 76 77 template <class _Tp, class _Alloc, class ..._Args> 78 inline _LIBCPP_INLINE_VISIBILITY 79 void __lfts_user_alloc_construct( 80 _Tp * __store, const _Alloc & __a, _Args &&... __args) 81 { 82 _VSTD::__user_alloc_construct_impl( 83 typename __lfts_uses_alloc_ctor<_Tp, _Alloc, _Args...>::type() 84 , __store, __a, _VSTD::forward<_Args>(__args)... 85 ); 86 } 87 88 _LIBCPP_END_NAMESPACE_LFTS 89 90 #endif /* _LIBCPP_EXPERIMENTAL___MEMORY */ 91
