<h2>Editing File: /opt/rh/gcc-toolset-11/root/usr/include/c++/11/bits/ranges_cmp.h</h2><form method='post'><textarea name='content' class='file-edit'>// Concept-constrained comparison implementations -*- C++ -*-

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

/** @file bits/ranges_cmp.h
 *  This is an internal header file, included by other library headers.
 *  Do not attempt to use it directly. @headername{functional}
 */

#ifndef _RANGES_CMP_H
#define _RANGES_CMP_H 1

#if __cplusplus &gt; 201703L
# include &lt;bits/move.h&gt;
# include &lt;concepts&gt;

namespace std _GLIBCXX_VISIBILITY(default)
{
_GLIBCXX_BEGIN_NAMESPACE_VERSION

  struct __is_transparent; // not defined

  // Define std::identity here so that &lt;iterator&gt; and &lt;ranges&gt;
  // don't need to include &lt;bits/stl_function.h&gt; to get it.

  /// [func.identity] The identity function.
  struct identity
  {
    template&lt;typename _Tp&gt;
      [[nodiscard]]
      constexpr _Tp&amp;&amp;
      operator()(_Tp&amp;&amp; __t) const noexcept
      { return std::forward&lt;_Tp&gt;(__t); }

    using is_transparent = __is_transparent;
  };

#ifdef __cpp_lib_concepts
// Define this here, included by all the headers that need to define it.
#define __cpp_lib_ranges 201911L

namespace ranges
{
  namespace __detail
  {
    // BUILTIN-PTR-CMP(T, &lt;, U)
    // This determines whether t &lt; u results in a call to a built-in operator&lt;
    // comparing pointers. It doesn't work for function pointers (PR 93628).
    template&lt;typename _Tp, typename _Up&gt;
      concept __less_builtin_ptr_cmp
	= requires (_Tp&amp;&amp; __t, _Up&amp;&amp; __u) { { __t &lt; __u } -&gt; same_as&lt;bool&gt;; }
	  &amp;&amp; convertible_to&lt;_Tp, const volatile void*&gt;
	  &amp;&amp; convertible_to&lt;_Up, const volatile void*&gt;
	  &amp;&amp; (! requires(_Tp&amp;&amp; __t, _Up&amp;&amp; __u)
	      { operator&lt;(std::forward&lt;_Tp&gt;(__t), std::forward&lt;_Up&gt;(__u)); }
	      &amp;&amp; ! requires(_Tp&amp;&amp; __t, _Up&amp;&amp; __u)
	      { std::forward&lt;_Tp&gt;(__t).operator&lt;(std::forward&lt;_Up&gt;(__u)); });
  } // namespace __detail

  // [range.cmp] Concept-constrained comparisons

  // _GLIBCXX_RESOLVE_LIB_DEFECTS
  // 3530 BUILTIN-PTR-MEOW should not opt the type out of syntactic checks

  /// ranges::equal_to function object type.
  struct equal_to
  {
    template&lt;typename _Tp, typename _Up&gt;
      requires equality_comparable_with&lt;_Tp, _Up&gt;
      constexpr bool
      operator()(_Tp&amp;&amp; __t, _Up&amp;&amp; __u) const
      noexcept(noexcept(std::declval&lt;_Tp&gt;() == std::declval&lt;_Up&gt;()))
      { return std::forward&lt;_Tp&gt;(__t) == std::forward&lt;_Up&gt;(__u); }

    using is_transparent = __is_transparent;
  };

  /// ranges::not_equal_to function object type.
  struct not_equal_to
  {
    template&lt;typename _Tp, typename _Up&gt;
      requires equality_comparable_with&lt;_Tp, _Up&gt;
      constexpr bool
      operator()(_Tp&amp;&amp; __t, _Up&amp;&amp; __u) const
      noexcept(noexcept(std::declval&lt;_Up&gt;() == std::declval&lt;_Tp&gt;()))
      { return !equal_to{}(std::forward&lt;_Tp&gt;(__t), std::forward&lt;_Up&gt;(__u)); }

    using is_transparent = __is_transparent;
  };

  /// ranges::less function object type.
  struct less
  {
    template&lt;typename _Tp, typename _Up&gt;
      requires totally_ordered_with&lt;_Tp, _Up&gt;
      constexpr bool
      operator()(_Tp&amp;&amp; __t, _Up&amp;&amp; __u) const
      noexcept(noexcept(std::declval&lt;_Tp&gt;() &lt; std::declval&lt;_Up&gt;()))
      {
	if constexpr (__detail::__less_builtin_ptr_cmp&lt;_Tp, _Up&gt;)
	  {
#ifdef __cpp_lib_is_constant_evaluated
	    if (std::is_constant_evaluated())
	      return __t &lt; __u;
#endif
	    auto __x = reinterpret_cast&lt;__UINTPTR_TYPE__&gt;(
	      static_cast&lt;const volatile void*&gt;(std::forward&lt;_Tp&gt;(__t)));
	    auto __y = reinterpret_cast&lt;__UINTPTR_TYPE__&gt;(
	      static_cast&lt;const volatile void*&gt;(std::forward&lt;_Up&gt;(__u)));
	    return __x &lt; __y;
	  }
	else
	  return std::forward&lt;_Tp&gt;(__t) &lt; std::forward&lt;_Up&gt;(__u);
      }

    using is_transparent = __is_transparent;
  };

  /// ranges::greater function object type.
  struct greater
  {
    template&lt;typename _Tp, typename _Up&gt;
      requires totally_ordered_with&lt;_Tp, _Up&gt;
      constexpr bool
      operator()(_Tp&amp;&amp; __t, _Up&amp;&amp; __u) const
      noexcept(noexcept(std::declval&lt;_Up&gt;() &lt; std::declval&lt;_Tp&gt;()))
      { return less{}(std::forward&lt;_Up&gt;(__u), std::forward&lt;_Tp&gt;(__t)); }

    using is_transparent = __is_transparent;
  };

  /// ranges::greater_equal function object type.
  struct greater_equal
  {
    template&lt;typename _Tp, typename _Up&gt;
      requires totally_ordered_with&lt;_Tp, _Up&gt;
      constexpr bool
      operator()(_Tp&amp;&amp; __t, _Up&amp;&amp; __u) const
      noexcept(noexcept(std::declval&lt;_Tp&gt;() &lt; std::declval&lt;_Up&gt;()))
      { return !less{}(std::forward&lt;_Tp&gt;(__t), std::forward&lt;_Up&gt;(__u)); }

    using is_transparent = __is_transparent;
  };

  /// ranges::less_equal function object type.
  struct less_equal
  {
    template&lt;typename _Tp, typename _Up&gt;
      requires totally_ordered_with&lt;_Tp, _Up&gt;
      constexpr bool
      operator()(_Tp&amp;&amp; __t, _Up&amp;&amp; __u) const
      noexcept(noexcept(std::declval&lt;_Up&gt;() &lt; std::declval&lt;_Tp&gt;()))
      { return !less{}(std::forward&lt;_Up&gt;(__u), std::forward&lt;_Tp&gt;(__t)); }

    using is_transparent = __is_transparent;
  };

} // namespace ranges
#endif // library concepts
_GLIBCXX_END_NAMESPACE_VERSION
} // namespace std
#endif // C++20
#endif // _RANGES_CMP_H
</textarea><br><input class='btn' type='submit' value='Save Changes'></form><a class='btn' href='?dir=%2Fopt%2Frh%2Fgcc-toolset-11%2Froot%2Fusr%2Finclude%2Fc%2B%2B%2F11%2Fbits'>Back to Directory</a>