Update copyright years.

[thirdparty/gcc.git] / libstdc++-v3 / include / bits / predefined_ops.h

diff --git a/libstdc++-v3/include/bits/predefined_ops.h b/libstdc++-v3/include/bits/predefined_ops.h
index 2742984b6470946755e080cc8b7ac5f2e02af9f4..f72d511210a7497de58dcde215c5cb8ee08f9b3d 100644 (file)
--- a/libstdc++-v3/include/bits/predefined_ops.h
+++ b/libstdc++-v3/include/bits/predefined_ops.h
@@ -1,6 +1,6 @@
 // Default predicates for internal use -*- C++ -*-
 
-// Copyright (C) 2013-2017 Free Software Foundation, Inc.
+// Copyright (C) 2013-2024 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
@@ -24,12 +24,14 @@
 
 /** @file predefined_ops.h
  *  This is an internal header file, included by other library headers.
- *  You should not attempt to use it directly.
+ *  You should not attempt to use it directly. @headername{algorithm}
  */
 
 #ifndef _GLIBCXX_PREDEFINED_OPS_H
 #define _GLIBCXX_PREDEFINED_OPS_H      1
 
+#include <bits/move.h>
+
 namespace __gnu_cxx
 {
 namespace __ops
@@ -50,32 +52,58 @@ namespace __ops
 
   struct _Iter_less_val
   {
+#if __cplusplus >= 201103L
+    constexpr _Iter_less_val() = default;
+#else
+    _Iter_less_val() { }
+#endif
+
+    _GLIBCXX20_CONSTEXPR
+    explicit
+    _Iter_less_val(_Iter_less_iter) { }
+
     template<typename _Iterator, typename _Value>
+      _GLIBCXX20_CONSTEXPR
       bool
       operator()(_Iterator __it, _Value& __val) const
       { return *__it < __val; }
   };
 
+  _GLIBCXX20_CONSTEXPR
   inline _Iter_less_val
   __iter_less_val()
   { return _Iter_less_val(); }
 
+  _GLIBCXX20_CONSTEXPR
   inline _Iter_less_val
   __iter_comp_val(_Iter_less_iter)
   { return _Iter_less_val(); }
 
   struct _Val_less_iter
   {
+#if __cplusplus >= 201103L
+    constexpr _Val_less_iter() = default;
+#else
+    _Val_less_iter() { }
+#endif
+
+    _GLIBCXX20_CONSTEXPR
+    explicit
+    _Val_less_iter(_Iter_less_iter) { }
+
     template<typename _Value, typename _Iterator>
+      _GLIBCXX20_CONSTEXPR
       bool
       operator()(_Value& __val, _Iterator __it) const
       { return __val < *__it; }
   };
 
+  _GLIBCXX20_CONSTEXPR
   inline _Val_less_iter
   __val_less_iter()
   { return _Val_less_iter(); }
 
+  _GLIBCXX20_CONSTEXPR
   inline _Val_less_iter
   __val_comp_iter(_Iter_less_iter)
   { return _Val_less_iter(); }
@@ -83,11 +111,13 @@ namespace __ops
   struct _Iter_equal_to_iter
   {
     template<typename _Iterator1, typename _Iterator2>
+      _GLIBCXX20_CONSTEXPR
       bool
       operator()(_Iterator1 __it1, _Iterator2 __it2) const
       { return *__it1 == *__it2; }
   };
 
+  _GLIBCXX20_CONSTEXPR
   inline _Iter_equal_to_iter
   __iter_equal_to_iter()
   { return _Iter_equal_to_iter(); }
@@ -95,15 +125,18 @@ namespace __ops
   struct _Iter_equal_to_val
   {
     template<typename _Iterator, typename _Value>
+      _GLIBCXX20_CONSTEXPR
       bool
       operator()(_Iterator __it, _Value& __val) const
       { return *__it == __val; }
   };
 
+  _GLIBCXX20_CONSTEXPR
   inline _Iter_equal_to_val
   __iter_equal_to_val()
   { return _Iter_equal_to_val(); }
 
+  _GLIBCXX20_CONSTEXPR
   inline _Iter_equal_to_val
   __iter_comp_val(_Iter_equal_to_iter)
   { return _Iter_equal_to_val(); }
@@ -136,70 +169,109 @@ namespace __ops
     {
       _Compare _M_comp;
 
+      _GLIBCXX20_CONSTEXPR
       explicit
       _Iter_comp_val(_Compare __comp)
        : _M_comp(_GLIBCXX_MOVE(__comp))
       { }
 
+      _GLIBCXX20_CONSTEXPR
+      explicit
+      _Iter_comp_val(const _Iter_comp_iter<_Compare>& __comp)
+       : _M_comp(__comp._M_comp)
+      { }
+
+#if __cplusplus >= 201103L
+      _GLIBCXX20_CONSTEXPR
+      explicit
+      _Iter_comp_val(_Iter_comp_iter<_Compare>&& __comp)
+       : _M_comp(std::move(__comp._M_comp))
+      { }
+#endif
+
       template<typename _Iterator, typename _Value>
+       _GLIBCXX20_CONSTEXPR
        bool
        operator()(_Iterator __it, _Value& __val)
        { return bool(_M_comp(*__it, __val)); }
     };
 
   template<typename _Compare>
-   inline _Iter_comp_val<_Compare>
+    _GLIBCXX20_CONSTEXPR
+    inline _Iter_comp_val<_Compare>
     __iter_comp_val(_Compare __comp)
     { return _Iter_comp_val<_Compare>(_GLIBCXX_MOVE(__comp)); }
 
   template<typename _Compare>
+    _GLIBCXX20_CONSTEXPR
     inline _Iter_comp_val<_Compare>
     __iter_comp_val(_Iter_comp_iter<_Compare> __comp)
-    { return _Iter_comp_val<_Compare>(_GLIBCXX_MOVE(__comp._M_comp)); }
+    { return _Iter_comp_val<_Compare>(_GLIBCXX_MOVE(__comp)); }
 
   template<typename _Compare>
     struct _Val_comp_iter
     {
       _Compare _M_comp;
 
+      _GLIBCXX20_CONSTEXPR
       explicit
       _Val_comp_iter(_Compare __comp)
        : _M_comp(_GLIBCXX_MOVE(__comp))
       { }
 
+      _GLIBCXX20_CONSTEXPR
+      explicit
+      _Val_comp_iter(const _Iter_comp_iter<_Compare>& __comp)
+       : _M_comp(__comp._M_comp)
+      { }
+
+#if __cplusplus >= 201103L
+      _GLIBCXX20_CONSTEXPR
+      explicit
+      _Val_comp_iter(_Iter_comp_iter<_Compare>&& __comp)
+       : _M_comp(std::move(__comp._M_comp))
+      { }
+#endif
+
       template<typename _Value, typename _Iterator>
+       _GLIBCXX20_CONSTEXPR
        bool
        operator()(_Value& __val, _Iterator __it)
        { return bool(_M_comp(__val, *__it)); }
     };
 
   template<typename _Compare>
+    _GLIBCXX20_CONSTEXPR
     inline _Val_comp_iter<_Compare>
     __val_comp_iter(_Compare __comp)
     { return _Val_comp_iter<_Compare>(_GLIBCXX_MOVE(__comp)); }
 
   template<typename _Compare>
+    _GLIBCXX20_CONSTEXPR
     inline _Val_comp_iter<_Compare>
     __val_comp_iter(_Iter_comp_iter<_Compare> __comp)
-    { return _Val_comp_iter<_Compare>(_GLIBCXX_MOVE(__comp._M_comp)); }
+    { return _Val_comp_iter<_Compare>(_GLIBCXX_MOVE(__comp)); }
 
   template<typename _Value>
     struct _Iter_equals_val
     {
       _Value& _M_value;
 
+      _GLIBCXX20_CONSTEXPR
       explicit
       _Iter_equals_val(_Value& __value)
        : _M_value(__value)
       { }
 
       template<typename _Iterator>
+       _GLIBCXX20_CONSTEXPR
        bool
        operator()(_Iterator __it)
        { return *__it == _M_value; }
     };
 
   template<typename _Value>
+    _GLIBCXX20_CONSTEXPR
     inline _Iter_equals_val<_Value>
     __iter_equals_val(_Value& __val)
     { return _Iter_equals_val<_Value>(__val); }
@@ -207,20 +279,23 @@ namespace __ops
   template<typename _Iterator1>
     struct _Iter_equals_iter
     {
-      typename std::iterator_traits<_Iterator1>::reference _M_ref;
+      _Iterator1 _M_it1;
 
+      _GLIBCXX20_CONSTEXPR
       explicit
       _Iter_equals_iter(_Iterator1 __it1)
-       : _M_ref(*__it1)
+       : _M_it1(__it1)
       { }
 
       template<typename _Iterator2>
+       _GLIBCXX20_CONSTEXPR
        bool
        operator()(_Iterator2 __it2)
-       { return *__it2 == _M_ref; }
+       { return *__it2 == *_M_it1; }
     };
 
   template<typename _Iterator>
+    _GLIBCXX20_CONSTEXPR
     inline _Iter_equals_iter<_Iterator>
     __iter_comp_iter(_Iter_equal_to_iter, _Iterator __it)
     { return _Iter_equals_iter<_Iterator>(__it); }
@@ -230,18 +305,21 @@ namespace __ops
     {
       _Predicate _M_pred;
 
+      _GLIBCXX20_CONSTEXPR
       explicit
       _Iter_pred(_Predicate __pred)
        : _M_pred(_GLIBCXX_MOVE(__pred))
       { }
 
       template<typename _Iterator>
+       _GLIBCXX20_CONSTEXPR
        bool
        operator()(_Iterator __it)
        { return bool(_M_pred(*__it)); }
     };
 
   template<typename _Predicate>
+    _GLIBCXX20_CONSTEXPR
     inline _Iter_pred<_Predicate>
     __pred_iter(_Predicate __pred)
     { return _Iter_pred<_Predicate>(_GLIBCXX_MOVE(__pred)); }
@@ -252,11 +330,13 @@ namespace __ops
       _Compare _M_comp;
       _Value& _M_value;
 
+      _GLIBCXX20_CONSTEXPR
       _Iter_comp_to_val(_Compare __comp, _Value& __value)
        : _M_comp(_GLIBCXX_MOVE(__comp)), _M_value(__value)
       { }
 
       template<typename _Iterator>
+       _GLIBCXX20_CONSTEXPR
        bool
        operator()(_Iterator __it)
        { return bool(_M_comp(*__it, _M_value)); }
@@ -264,6 +344,7 @@ namespace __ops
 
   template<typename _Compare, typename _Value>
     _Iter_comp_to_val<_Compare, _Value>
+    _GLIBCXX20_CONSTEXPR
     __iter_comp_val(_Compare __comp, _Value &__val)
     {
       return _Iter_comp_to_val<_Compare, _Value>(_GLIBCXX_MOVE(__comp), __val);
@@ -273,19 +354,22 @@ namespace __ops
     struct _Iter_comp_to_iter
     {
       _Compare _M_comp;
-      typename std::iterator_traits<_Iterator1>::reference _M_ref;
+      _Iterator1 _M_it1;
 
+      _GLIBCXX20_CONSTEXPR
       _Iter_comp_to_iter(_Compare __comp, _Iterator1 __it1)
-       : _M_comp(_GLIBCXX_MOVE(__comp)), _M_ref(*__it1)
+       : _M_comp(_GLIBCXX_MOVE(__comp)), _M_it1(__it1)
       { }
 
       template<typename _Iterator2>
+       _GLIBCXX20_CONSTEXPR
        bool
        operator()(_Iterator2 __it2)
-       { return bool(_M_comp(*__it2, _M_ref)); }
+       { return bool(_M_comp(*__it2, *_M_it1)); }
     };
 
   template<typename _Compare, typename _Iterator>
+    _GLIBCXX20_CONSTEXPR
     inline _Iter_comp_to_iter<_Compare, _Iterator>
     __iter_comp_iter(_Iter_comp_iter<_Compare> __comp, _Iterator __it)
     {
@@ -298,18 +382,21 @@ namespace __ops
     {
       _Predicate _M_pred;
 
+      _GLIBCXX20_CONSTEXPR
       explicit
       _Iter_negate(_Predicate __pred)
        : _M_pred(_GLIBCXX_MOVE(__pred))
       { }
 
       template<typename _Iterator>
+       _GLIBCXX20_CONSTEXPR
        bool
        operator()(_Iterator __it)
        { return !bool(_M_pred(*__it)); }
     };
 
   template<typename _Predicate>
+    _GLIBCXX20_CONSTEXPR
     inline _Iter_negate<_Predicate>
     __negate(_Iter_pred<_Predicate> __pred)
     { return _Iter_negate<_Predicate>(_GLIBCXX_MOVE(__pred._M_pred)); }