feedc0de/boost_core
1
0
Fork 0
forked from boostorg/core
Code Pull Requests Activity

Merge pull request #104 from boostorg/feature/allocator_access

Browse Source 
Support additional is_empty intrinsics
This commit is contained in:
Glen Fernandes
2021-12-07 11:02:04 -05:00
committed by GitHub
parent d038633f98 eb7bc1ff53
commit f5ab83efe8
1 changed files with 16 additions and 11 deletions
Download Patch File Download Diff File Expand all files Collapse all files

27
include/boost/core/allocator_access.hpp
View File

@ -20,15 +20,21 @@ Distributed under the Boost Software License, Version 1.0.
#endif #endif
#if defined(BOOST_GCC_VERSION) && (BOOST_GCC_VERSION >= 40300) #if defined(BOOST_GCC_VERSION) && (BOOST_GCC_VERSION >= 40300)
#define BOOST_DETAIL_ALLOC_HAS_IS_EMPTY #define BOOST_DETAIL_ALLOC_EMPTY(T) __is_empty(T)
#elif defined(BOOST_INTEL) && defined(_MSC_VER) && (_MSC_VER >= 1500) #elif defined(BOOST_INTEL) && defined(_MSC_VER) && (_MSC_VER >= 1500)
#define BOOST_DETAIL_ALLOC_HAS_IS_EMPTY #define BOOST_DETAIL_ALLOC_EMPTY(T) __is_empty(T)
#elif defined(BOOST_MSVC) && (BOOST_MSVC >= 1400) #elif defined(BOOST_MSVC) && (BOOST_MSVC >= 1400)
#define BOOST_DETAIL_ALLOC_HAS_IS_EMPTY #define BOOST_DETAIL_ALLOC_EMPTY(T) __is_empty(T)
#elif defined(BOOST_CLANG) && !defined(__CUDACC__) #elif defined(BOOST_CLANG) && !defined(__CUDACC__)
#if __has_feature(is_empty) #if __has_feature(is_empty)
#define BOOST_DETAIL_ALLOC_HAS_IS_EMPTY #define BOOST_DETAIL_ALLOC_EMPTY(T) __is_empty(T)
#endif #endif
#elif defined(__SUNPRO_CC) && (__SUNPRO_CC >= 0x5130)
#define BOOST_DETAIL_ALLOC_EMPTY(T) __oracle_is_empty(T)
#elif defined(__ghs__) && (__GHS_VERSION_NUMBER >= 600)
#define BOOST_DETAIL_ALLOC_EMPTY(T) __is_empty(T)
#elif defined(BOOST_CODEGEARC)
#define BOOST_DETAIL_ALLOC_EMPTY(T) __is_empty(T)
#endif #endif
#if defined(_LIBCPP_SUPPRESS_DEPRECATED_PUSH) #if defined(_LIBCPP_SUPPRESS_DEPRECATED_PUSH)
@ -329,10 +335,10 @@ template<class A, class = void>
struct alloc_equal { struct alloc_equal {
typedef typename std::is_empty<A>::type type; typedef typename std::is_empty<A>::type type;
}; };
#elif defined(BOOST_DETAIL_ALLOC_HAS_IS_EMPTY) #elif defined(BOOST_DETAIL_ALLOC_EMPTY)
template<class A, class = void> template<class A, class = void>
struct alloc_equal { struct alloc_equal {
typedef alloc_bool<__is_empty(A)> type; typedef alloc_bool<BOOST_DETAIL_ALLOC_EMPTY(A)> type;
}; };
#else #else
template<class A, class = void> template<class A, class = void>
@ -385,9 +391,9 @@ struct alloc_none { };
template<class A> template<class A>
class alloc_has_allocate { class alloc_has_allocate {
template<class O> template<class O>
static auto check(int) -> decltype(std::declval<O&>().allocate( static auto check(int)
std::declval<typename boost::allocator_size_type<A>::type>(), -> decltype(std::declval<O&>().allocate(std::declval<typename
std::declval<typename boost::allocator_size_type<A>::type>(), std::declval<typename
boost::allocator_const_void_pointer<A>::type>())); boost::allocator_const_void_pointer<A>::type>()));
template<class> template<class>
@ -658,8 +664,7 @@ public:
template<class A> template<class A>
class alloc_has_soccc { class alloc_has_soccc {
template<class O> template<class O>
static auto check(int) static auto check(int) -> decltype(std::declval<const
-> decltype(std::declval<const
O&>().select_on_container_copy_construction()); O&>().select_on_container_copy_construction());
template<class> template<class>