PATH:
usr
/
include
/
c++
/
11
/
bits
// 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, ...> 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 = typename conditional<is_void<_Tp>::value, __undefined, _Tp>::type; template<typename _Ptr> struct __ptr_traits_elem_1 { }; template<template<typename, typename...> class _SomePointer, typename _Tp, typename... _Args> struct __ptr_traits_elem_1<_SomePointer<_Tp, _Args...>> { using element_type = _Tp; using pointer = _SomePointer<_Tp, _Args...>; static pointer pointer_to(__make_not_void<element_type>& __e) { return pointer::pointer_to(__e); } }; template<typename _Ptr, typename = void> struct __ptr_traits_elem : __ptr_traits_elem_1<_Ptr> { }; template<typename _Ptr> struct __ptr_traits_elem<_Ptr, __void_t<typename _Ptr::element_type>> { using element_type = typename _Ptr::element_type; static _Ptr pointer_to(__make_not_void<element_type>& __e) { return _Ptr::pointer_to(__e); } }; /** * @brief Uniform interface to all pointer-like types * @ingroup pointer_abstractions */ template<typename _Ptr> struct pointer_traits : __ptr_traits_elem<_Ptr> { private: 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 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; }; /** * @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
[+]
..
[-] atomic_futex.h
[edit]
[-] random.h
[edit]
[-] functexcept.h
[edit]
[-] exception.h
[edit]
[-] regex.tcc
[edit]
[-] char_traits.h
[edit]
[-] uses_allocator.h
[edit]
[-] specfun.h
[edit]
[-] regex_automaton.tcc
[edit]
[-] stl_stack.h
[edit]
[-] node_handle.h
[edit]
[-] regex_error.h
[edit]
[-] stl_list.h
[edit]
[-] vector.tcc
[edit]
[-] stl_algobase.h
[edit]
[-] regex_automaton.h
[edit]
[-] cxxabi_init_exception.h
[edit]
[-] basic_ios.tcc
[edit]
[-] deque.tcc
[edit]
[-] fs_fwd.h
[edit]
[-] concept_check.h
[edit]
[-] stl_algo.h
[edit]
[-] functional_hash.h
[edit]
[-] random.tcc
[edit]
[-] fs_path.h
[edit]
[-] max_size_type.h
[edit]
[-] nested_exception.h
[edit]
[-] atomic_base.h
[edit]
[-] charconv.h
[edit]
[-] ostream.tcc
[edit]
[-] predefined_ops.h
[edit]
[-] boost_concept_check.h
[edit]
[-] atomic_lockfree_defines.h
[edit]
[-] stl_construct.h
[edit]
[-] list.tcc
[edit]
[-] locale_classes.tcc
[edit]
[-] uniform_int_dist.h
[edit]
[-] semaphore_base.h
[edit]
[-] mask_array.h
[edit]
[-] ranges_algobase.h
[edit]
[-] stl_heap.h
[edit]
[-] alloc_traits.h
[edit]
[-] string_view.tcc
[edit]
[-] sstream.tcc
[edit]
[-] regex_executor.tcc
[edit]
[-] cpp_type_traits.h
[edit]
[-] stl_map.h
[edit]
[-] hashtable_policy.h
[edit]
[-] regex_scanner.tcc
[edit]
[-] ranges_base.h
[edit]
[-] forward_list.h
[edit]
[-] allocator.h
[edit]
[-] codecvt.h
[edit]
[-] istream.tcc
[edit]
[-] memoryfwd.h
[edit]
[-] stl_vector.h
[edit]
[-] valarray_array.tcc
[edit]
[-] valarray_array.h
[edit]
[-] locale_facets.tcc
[edit]
[-] stl_tree.h
[edit]
[-] atomic_timed_wait.h
[edit]
[-] streambuf_iterator.h
[edit]
[-] unique_lock.h
[edit]
[-] exception_defines.h
[edit]
[-] stl_raw_storage_iter.h
[edit]
[-] locale_facets_nonio.tcc
[edit]
[-] regex.h
[edit]
[-] stl_tempbuf.h
[edit]
[-] unordered_map.h
[edit]
[-] std_mutex.h
[edit]
[-] regex_scanner.h
[edit]
[-] locale_facets_nonio.h
[edit]
[-] basic_string.h
[edit]
[-] locale_classes.h
[edit]
[-] regex_executor.h
[edit]
[-] stl_multiset.h
[edit]
[-] postypes.h
[edit]
[-] stl_multimap.h
[edit]
[-] std_thread.h
[edit]
[-] atomic_wait.h
[edit]
[-] fs_dir.h
[edit]
[-] exception_ptr.h
[edit]
[-] move.h
[edit]
[-] erase_if.h
[edit]
[-] valarray_after.h
[edit]
[-] hash_bytes.h
[edit]
[-] ranges_cmp.h
[edit]
[-] ios_base.h
[edit]
[-] invoke.h
[edit]
[-] stream_iterator.h
[edit]
[-] std_function.h
[edit]
[-] stl_iterator.h
[edit]
[-] slice_array.h
[edit]
[-] stringfwd.h
[edit]
[-] stl_function.h
[edit]
[-] forward_list.tcc
[edit]
[-] stl_iterator_base_funcs.h
[edit]
[-] refwrap.h
[edit]
[-] unordered_set.h
[edit]
[-] stl_uninitialized.h
[edit]
[-] streambuf.tcc
[edit]
[-] algorithmfwd.h
[edit]
[-] range_access.h
[edit]
[-] enable_special_members.h
[edit]
[-] unique_ptr.h
[edit]
[-] localefwd.h
[edit]
[-] quoted_string.h
[edit]
[-] uses_allocator_args.h
[edit]
[-] stl_queue.h
[edit]
[-] gslice_array.h
[edit]
[-] ptr_traits.h
[edit]
[-] ranges_algo.h
[edit]
[-] cxxabi_forced.h
[edit]
[-] std_abs.h
[edit]
[-] align.h
[edit]
[-] regex_compiler.h
[edit]
[-] stl_relops.h
[edit]
[-] indirect_array.h
[edit]
[-] regex_constants.h
[edit]
[-] stl_bvector.h
[edit]
[-] fs_ops.h
[edit]
[-] parse_numbers.h
[edit]
[-] shared_ptr_base.h
[edit]
[-] c++0x_warning.h
[edit]
[-] basic_string.tcc
[edit]
[-] stl_deque.h
[edit]
[-] ranges_uninitialized.h
[edit]
[-] hashtable.h
[edit]
[-] iterator_concepts.h
[edit]
[-] stl_iterator_base_types.h
[edit]
[-] locale_conv.h
[edit]
[-] stl_pair.h
[edit]
[-] shared_ptr_atomic.h
[edit]
[-] ranges_util.h
[edit]
[-] valarray_before.h
[edit]
[-] stl_set.h
[edit]
[-] stl_numeric.h
[edit]
[-] locale_facets.h
[edit]
[-] gslice.h
[edit]
[-] shared_ptr.h
[edit]
[-] ostream_insert.h
[edit]
[-] fstream.tcc
[edit]
[-] this_thread_sleep.h
[edit]
[-] basic_ios.h
[edit]
[-] allocated_ptr.h
[edit]
[-] regex_compiler.tcc
[edit]