| // Pointer Traits -*- C++ -*- |
| |
| // Copyright (C) 2011-2021 Free Software Foundation, Inc. |
| // |
| // This file is part of the GNU ISO C++ Library. This library is free |
| // software; you can redistribute it and/or modify it under the |
| // terms of the GNU General Public License as published by the |
| // Free Software Foundation; either version 3, or (at your option) |
| // any later version. |
| |
| // This library is distributed in the hope that it will be useful, |
| // but WITHOUT ANY WARRANTY; without even the implied warranty of |
| // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| // GNU General Public License for more details. |
| |
| // Under Section 7 of GPL version 3, you are granted additional |
| // permissions described in the GCC Runtime Library Exception, version |
| // 3.1, as published by the Free Software Foundation. |
| |
| // You should have received a copy of the GNU General Public License and |
| // a copy of the GCC Runtime Library Exception along with this program; |
| // see the files COPYING3 and COPYING.RUNTIME respectively. If not, see |
| // <http://www.gnu.org/licenses/>. |
| |
| /** @file bits/ptr_traits.h |
| * This is an internal header file, included by other library headers. |
| * Do not attempt to use it directly. @headername{memory} |
| */ |
| |
| #ifndef _PTR_TRAITS_H |
| #define _PTR_TRAITS_H 1 |
| |
| #if __cplusplus >= 201103L |
| |
| #include <bits/move.h> |
| |
| #if __cplusplus > 201703L |
| #define __cpp_lib_constexpr_memory 201811L |
| namespace __gnu_debug { struct _Safe_iterator_base; } |
| #endif |
| |
| namespace std _GLIBCXX_VISIBILITY(default) |
| { |
| _GLIBCXX_BEGIN_NAMESPACE_VERSION |
| |
| class __undefined; |
| |
| // Given Template<T, ...> return T, otherwise invalid. |
| template<typename _Tp> |
| struct __get_first_arg |
| { using type = __undefined; }; |
| |
| template<template<typename, typename...> class _Template, typename _Tp, |
| typename... _Types> |
| struct __get_first_arg<_Template<_Tp, _Types...>> |
| { using type = _Tp; }; |
| |
| template<typename _Tp> |
| using __get_first_arg_t = typename __get_first_arg<_Tp>::type; |
| |
| // Given Template<T, ...> and U return Template<U, ...>, otherwise invalid. |
| template<typename _Tp, typename _Up> |
| struct __replace_first_arg |
| { }; |
| |
| template<template<typename, typename...> class _Template, typename _Up, |
| typename _Tp, typename... _Types> |
| struct __replace_first_arg<_Template<_Tp, _Types...>, _Up> |
| { using type = _Template<_Up, _Types...>; }; |
| |
| template<typename _Tp, typename _Up> |
| using __replace_first_arg_t = typename __replace_first_arg<_Tp, _Up>::type; |
| |
| template<typename _Tp> |
| using __make_not_void |
| = __conditional_t<is_void<_Tp>::value, __undefined, _Tp>; |
| |
| /** |
| * @brief Uniform interface to all pointer-like types |
| * @ingroup pointer_abstractions |
| */ |
| template<typename _Ptr> |
| struct pointer_traits |
| { |
| private: |
| template<typename _Tp> |
| using __element_type = typename _Tp::element_type; |
| |
| template<typename _Tp> |
| using __difference_type = typename _Tp::difference_type; |
| |
| template<typename _Tp, typename _Up, typename = void> |
| struct __rebind : __replace_first_arg<_Tp, _Up> { }; |
| |
| template<typename _Tp, typename _Up> |
| struct __rebind<_Tp, _Up, __void_t<typename _Tp::template rebind<_Up>>> |
| { using type = typename _Tp::template rebind<_Up>; }; |
| |
| public: |
| /// The pointer type. |
| using pointer = _Ptr; |
| |
| /// The type pointed to. |
| using element_type |
| = __detected_or_t<__get_first_arg_t<_Ptr>, __element_type, _Ptr>; |
| |
| /// The type used to represent the difference between two pointers. |
| using difference_type |
| = __detected_or_t<ptrdiff_t, __difference_type, _Ptr>; |
| |
| /// A pointer to a different type. |
| template<typename _Up> |
| using rebind = typename __rebind<_Ptr, _Up>::type; |
| |
| static _Ptr |
| pointer_to(__make_not_void<element_type>& __e) |
| { return _Ptr::pointer_to(__e); } |
| |
| static_assert(!is_same<element_type, __undefined>::value, |
| "pointer type defines element_type or is like SomePointer<T, Args>"); |
| }; |
| |
| /** |
| * @brief Partial specialization for built-in pointers. |
| * @ingroup pointer_abstractions |
| */ |
| template<typename _Tp> |
| struct pointer_traits<_Tp*> |
| { |
| /// The pointer type |
| typedef _Tp* pointer; |
| /// The type pointed to |
| typedef _Tp element_type; |
| /// Type used to represent the difference between two pointers |
| typedef ptrdiff_t difference_type; |
| |
| template<typename _Up> |
| using rebind = _Up*; |
| |
| /** |
| * @brief Obtain a pointer to an object |
| * @param __r A reference to an object of type @c element_type |
| * @return @c addressof(__r) |
| */ |
| static _GLIBCXX20_CONSTEXPR pointer |
| pointer_to(__make_not_void<element_type>& __r) noexcept |
| { return std::addressof(__r); } |
| }; |
| |
| /// Convenience alias for rebinding pointers. |
| template<typename _Ptr, typename _Tp> |
| using __ptr_rebind = typename pointer_traits<_Ptr>::template rebind<_Tp>; |
| |
| template<typename _Tp> |
| constexpr _Tp* |
| __to_address(_Tp* __ptr) noexcept |
| { |
| static_assert(!std::is_function<_Tp>::value, "not a function pointer"); |
| return __ptr; |
| } |
| |
| #if __cplusplus <= 201703L |
| template<typename _Ptr> |
| constexpr typename std::pointer_traits<_Ptr>::element_type* |
| __to_address(const _Ptr& __ptr) |
| { return std::__to_address(__ptr.operator->()); } |
| #else |
| template<typename _Ptr> |
| constexpr auto |
| __to_address(const _Ptr& __ptr) noexcept |
| -> decltype(std::pointer_traits<_Ptr>::to_address(__ptr)) |
| { return std::pointer_traits<_Ptr>::to_address(__ptr); } |
| |
| template<typename _Ptr, typename... _None> |
| constexpr auto |
| __to_address(const _Ptr& __ptr, _None...) noexcept |
| { |
| if constexpr (is_base_of_v<__gnu_debug::_Safe_iterator_base, _Ptr>) |
| return std::__to_address(__ptr.base().operator->()); |
| else |
| return std::__to_address(__ptr.operator->()); |
| } |
| |
| #define __cpp_lib_to_address 201711L |
| |
| /** |
| * @brief Obtain address referenced by a pointer to an object |
| * @param __ptr A pointer to an object |
| * @return @c __ptr |
| * @ingroup pointer_abstractions |
| */ |
| template<typename _Tp> |
| constexpr _Tp* |
| to_address(_Tp* __ptr) noexcept |
| { return std::__to_address(__ptr); } |
| |
| /** |
| * @brief Obtain address referenced by a pointer to an object |
| * @param __ptr A pointer to an object |
| * @return @c pointer_traits<_Ptr>::to_address(__ptr) if that expression is |
| well-formed, otherwise @c to_address(__ptr.operator->()) |
| * @ingroup pointer_abstractions |
| */ |
| template<typename _Ptr> |
| constexpr auto |
| to_address(const _Ptr& __ptr) noexcept |
| { return std::__to_address(__ptr); } |
| #endif // C++2a |
| |
| _GLIBCXX_END_NAMESPACE_VERSION |
| } // namespace std |
| |
| #endif |
| |
| #endif |