123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285 |
- /*
- Copyright 2017-2021 Glen Joseph Fernandes
- ([email protected])
- Distributed under the Boost Software License, Version 1.0.
- (http://www.boost.org/LICENSE_1_0.txt)
- */
- #ifndef BOOST_CORE_POINTER_TRAITS_HPP
- #define BOOST_CORE_POINTER_TRAITS_HPP
- #include <boost/config.hpp>
- #include <boost/core/addressof.hpp>
- #include <cstddef>
- namespace boost {
- namespace detail {
- struct ptr_none { };
- template<class>
- struct ptr_valid {
- typedef void type;
- };
- template<class>
- struct ptr_first {
- typedef ptr_none type;
- };
- #if !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES)
- template<template<class, class...> class T, class U, class... Args>
- struct ptr_first<T<U, Args...> > {
- typedef U type;
- };
- #else
- template<template<class> class T, class U>
- struct ptr_first<T<U> > {
- typedef U type;
- };
- template<template<class, class> class T, class U1, class U2>
- struct ptr_first<T<U1, U2> > {
- typedef U1 type;
- };
- template<template<class, class, class> class T, class U1, class U2, class U3>
- struct ptr_first<T<U1, U2, U3> > {
- typedef U1 type;
- };
- #endif
- template<class T, class = void>
- struct ptr_element {
- typedef typename ptr_first<T>::type type;
- };
- template<class T>
- struct ptr_element<T, typename ptr_valid<typename T::element_type>::type> {
- typedef typename T::element_type type;
- };
- template<class, class = void>
- struct ptr_difference {
- typedef std::ptrdiff_t type;
- };
- template<class T>
- struct ptr_difference<T,
- typename ptr_valid<typename T::difference_type>::type> {
- typedef typename T::difference_type type;
- };
- template<class, class>
- struct ptr_transform { };
- #if !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES)
- template<template<class, class...> class T, class U, class... Args, class V>
- struct ptr_transform<T<U, Args...>, V> {
- typedef T<V, Args...> type;
- };
- #else
- template<template<class> class T, class U, class V>
- struct ptr_transform<T<U>, V> {
- typedef T<V> type;
- };
- template<template<class, class> class T, class U1, class U2, class V>
- struct ptr_transform<T<U1, U2>, V> {
- typedef T<V, U2> type;
- };
- template<template<class, class, class> class T,
- class U1, class U2, class U3, class V>
- struct ptr_transform<T<U1, U2, U3>, V> {
- typedef T<V, U2, U3> type;
- };
- #endif
- template<class T, class U, class = void>
- struct ptr_rebind
- : ptr_transform<T, U> { };
- #if !defined(BOOST_NO_CXX11_TEMPLATE_ALIASES)
- template<class T, class U>
- struct ptr_rebind<T, U,
- typename ptr_valid<typename T::template rebind<U> >::type> {
- typedef typename T::template rebind<U> type;
- };
- #else
- template<class T, class U>
- struct ptr_rebind<T, U,
- typename ptr_valid<typename T::template rebind<U>::other>::type> {
- typedef typename T::template rebind<U>::other type;
- };
- #endif
- #if !defined(BOOST_NO_CXX11_DECLTYPE_N3276)
- template<class T, class E>
- class ptr_to_expr {
- template<class>
- struct result {
- char x, y;
- };
- static E& source();
- template<class O>
- static auto check(int) -> result<decltype(O::pointer_to(source()))>;
- template<class>
- static char check(long);
- public:
- BOOST_STATIC_CONSTEXPR bool value = sizeof(check<T>(0)) > 1;
- };
- template<class T, class E>
- struct ptr_to_expr<T*, E> {
- BOOST_STATIC_CONSTEXPR bool value = true;
- };
- template<class T, class E>
- struct ptr_has_to {
- BOOST_STATIC_CONSTEXPR bool value = ptr_to_expr<T, E>::value;
- };
- #else
- template<class, class>
- struct ptr_has_to {
- BOOST_STATIC_CONSTEXPR bool value = true;
- };
- #endif
- template<class T>
- struct ptr_has_to<T, void> {
- BOOST_STATIC_CONSTEXPR bool value = false;
- };
- template<class T>
- struct ptr_has_to<T, const void> {
- BOOST_STATIC_CONSTEXPR bool value = false;
- };
- template<class T>
- struct ptr_has_to<T, volatile void> {
- BOOST_STATIC_CONSTEXPR bool value = false;
- };
- template<class T>
- struct ptr_has_to<T, const volatile void> {
- BOOST_STATIC_CONSTEXPR bool value = false;
- };
- template<class T, class E, bool = ptr_has_to<T, E>::value>
- struct ptr_to { };
- template<class T, class E>
- struct ptr_to<T, E, true> {
- static T pointer_to(E& v) {
- return T::pointer_to(v);
- }
- };
- template<class T>
- struct ptr_to<T*, T, true> {
- static T* pointer_to(T& v) BOOST_NOEXCEPT {
- return boost::addressof(v);
- }
- };
- template<class T, class E>
- struct ptr_traits
- : ptr_to<T, E> {
- typedef T pointer;
- typedef E element_type;
- typedef typename ptr_difference<T>::type difference_type;
- template<class U>
- struct rebind_to
- : ptr_rebind<T, U> { };
- #if !defined(BOOST_NO_CXX11_TEMPLATE_ALIASES)
- template<class U>
- using rebind = typename rebind_to<U>::type;
- #endif
- };
- template<class T>
- struct ptr_traits<T, ptr_none> { };
- } /* detail */
- template<class T>
- struct pointer_traits
- : detail::ptr_traits<T, typename detail::ptr_element<T>::type> { };
- template<class T>
- struct pointer_traits<T*>
- : detail::ptr_to<T*, T> {
- typedef T* pointer;
- typedef T element_type;
- typedef std::ptrdiff_t difference_type;
- template<class U>
- struct rebind_to {
- typedef U* type;
- };
- #if !defined(BOOST_NO_CXX11_TEMPLATE_ALIASES)
- template<class U>
- using rebind = typename rebind_to<U>::type;
- #endif
- };
- template<class T>
- BOOST_CONSTEXPR inline T*
- to_address(T* v) BOOST_NOEXCEPT
- {
- return v;
- }
- #if !defined(BOOST_NO_CXX14_RETURN_TYPE_DEDUCTION)
- namespace detail {
- template<class T>
- inline T*
- ptr_address(T* v, int) BOOST_NOEXCEPT
- {
- return v;
- }
- template<class T>
- inline auto
- ptr_address(const T& v, int) BOOST_NOEXCEPT
- -> decltype(boost::pointer_traits<T>::to_address(v))
- {
- return boost::pointer_traits<T>::to_address(v);
- }
- template<class T>
- inline auto
- ptr_address(const T& v, long) BOOST_NOEXCEPT
- {
- return boost::detail::ptr_address(v.operator->(), 0);
- }
- } /* detail */
- template<class T>
- inline auto
- to_address(const T& v) BOOST_NOEXCEPT
- {
- return boost::detail::ptr_address(v, 0);
- }
- #else
- template<class T>
- inline typename pointer_traits<T>::element_type*
- to_address(const T& v) BOOST_NOEXCEPT
- {
- return boost::to_address(v.operator->());
- }
- #endif
- } /* boost */
- #endif
|