<h2>Editing File: /usr/include/c++/8/bits/ptr_traits.h</h2><form method='post'><textarea name='content' class='file-edit'>// Pointer Traits -*- C++ -*-

// Copyright (C) 2011-2018 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
// &lt;http://www.gnu.org/licenses/&gt;.

/** @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 &gt;= 201103L

#include &lt;bits/move.h&gt;

#if __cplusplus &gt; 201703L
namespace __gnu_debug { struct _Safe_iterator_base; }
#endif

namespace std _GLIBCXX_VISIBILITY(default)
{
_GLIBCXX_BEGIN_NAMESPACE_VERSION

  class __undefined;

  // Given Template&lt;T, ...&gt; return T, otherwise invalid.
  template&lt;typename _Tp&gt;
    struct __get_first_arg
    { using type = __undefined; };

  template&lt;template&lt;typename, typename...&gt; class _Template, typename _Tp,
           typename... _Types&gt;
    struct __get_first_arg&lt;_Template&lt;_Tp, _Types...&gt;&gt;
    { using type = _Tp; };

  template&lt;typename _Tp&gt;
    using __get_first_arg_t = typename __get_first_arg&lt;_Tp&gt;::type;

  // Given Template&lt;T, ...&gt; and U return Template&lt;U, ...&gt;, otherwise invalid.
  template&lt;typename _Tp, typename _Up&gt;
    struct __replace_first_arg
    { };

  template&lt;template&lt;typename, typename...&gt; class _Template, typename _Up,
           typename _Tp, typename... _Types&gt;
    struct __replace_first_arg&lt;_Template&lt;_Tp, _Types...&gt;, _Up&gt;
    { using type = _Template&lt;_Up, _Types...&gt;; };

  template&lt;typename _Tp, typename _Up&gt;
    using __replace_first_arg_t = typename __replace_first_arg&lt;_Tp, _Up&gt;::type;

  template&lt;typename _Tp&gt;
    using __make_not_void
      = typename conditional&lt;is_void&lt;_Tp&gt;::value, __undefined, _Tp&gt;::type;

  /**
   * @brief  Uniform interface to all pointer-like types
   * @ingroup pointer_abstractions
  */
  template&lt;typename _Ptr&gt;
    struct pointer_traits
    {
    private:
      template&lt;typename _Tp&gt;
	using __element_type = typename _Tp::element_type;

      template&lt;typename _Tp&gt;
	using __difference_type = typename _Tp::difference_type;

      template&lt;typename _Tp, typename _Up, typename = void&gt;
	struct __rebind : __replace_first_arg&lt;_Tp, _Up&gt; { };

      template&lt;typename _Tp, typename _Up&gt;
	struct __rebind&lt;_Tp, _Up, __void_t&lt;typename _Tp::template rebind&lt;_Up&gt;&gt;&gt;
	{ using type = typename _Tp::template rebind&lt;_Up&gt;; };

    public:
      /// The pointer type.
      using pointer = _Ptr;

      /// The type pointed to.
      using element_type
	= __detected_or_t&lt;__get_first_arg_t&lt;_Ptr&gt;, __element_type, _Ptr&gt;;

      /// The type used to represent the difference between two pointers.
      using difference_type
	= __detected_or_t&lt;ptrdiff_t, __difference_type, _Ptr&gt;;

      /// A pointer to a different type.
      template&lt;typename _Up&gt;
        using rebind = typename __rebind&lt;_Ptr, _Up&gt;::type;

      static _Ptr
      pointer_to(__make_not_void&lt;element_type&gt;&amp; __e)
      { return _Ptr::pointer_to(__e); }

      static_assert(!is_same&lt;element_type, __undefined&gt;::value,
	  &quot;pointer type defines element_type or is like SomePointer&lt;T, Args&gt;&quot;);
    };

  /**
   * @brief  Partial specialization for built-in pointers.
   * @ingroup pointer_abstractions
  */
  template&lt;typename _Tp&gt;
    struct pointer_traits&lt;_Tp*&gt;
    {
      /// 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&lt;typename _Up&gt;
        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 pointer
      pointer_to(__make_not_void&lt;element_type&gt;&amp; __r) noexcept
      { return std::addressof(__r); }
    };

  /// Convenience alias for rebinding pointers.
  template&lt;typename _Ptr, typename _Tp&gt;
    using __ptr_rebind = typename pointer_traits&lt;_Ptr&gt;::template rebind&lt;_Tp&gt;;

  template&lt;typename _Tp&gt;
    constexpr _Tp*
    __to_address(_Tp* __ptr) noexcept
    {
      static_assert(!std::is_function&lt;_Tp&gt;::value, &quot;not a function pointer&quot;);
      return __ptr;
    }

#if __cplusplus &lt;= 201703L
  template&lt;typename _Ptr&gt;
    constexpr typename std::pointer_traits&lt;_Ptr&gt;::element_type*
    __to_address(const _Ptr&amp; __ptr)
    { return std::__to_address(__ptr.operator-&gt;()); }
#else
  template&lt;typename _Ptr&gt;
    constexpr auto
    __to_address(const _Ptr&amp; __ptr) noexcept
    -&gt; decltype(std::pointer_traits&lt;_Ptr&gt;::to_address(__ptr))
    { return std::pointer_traits&lt;_Ptr&gt;::to_address(__ptr); }

  template&lt;typename _Ptr, typename... _None&gt;
    constexpr auto
    __to_address(const _Ptr&amp; __ptr, _None...) noexcept
    {
      if constexpr (is_base_of_v&lt;__gnu_debug::_Safe_iterator_base, _Ptr&gt;)
	return std::__to_address(__ptr.base().operator-&gt;());
      else
	return std::__to_address(__ptr.operator-&gt;());
    }

  /**
   * @brief Obtain address referenced by a pointer to an object
   * @param __ptr A pointer to an object
   * @return @c __ptr
   * @ingroup pointer_abstractions
  */
  template&lt;typename _Tp&gt;
    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&lt;_Ptr&gt;::to_address(__ptr) if that expression is
             well-formed, otherwise @c to_address(__ptr.operator-&gt;())
   * @ingroup pointer_abstractions
  */
  template&lt;typename _Ptr&gt;
    constexpr auto
    to_address(const _Ptr&amp; __ptr) noexcept
    { return std::__to_address(__ptr); }
#endif // C++2a

_GLIBCXX_END_NAMESPACE_VERSION
} // namespace std

#endif

#endif
</textarea><br><input class='btn' type='submit' value='Save Changes'></form><a class='btn' href='?dir=%2Fusr%2Finclude%2Fc%2B%2B%2F8%2Fbits'>Back to Directory</a>