1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441 |
- // Functor implementations -*- C++ -*-
- // Copyright (C) 2001-2022 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/>.
- /*
- *
- * Copyright (c) 1994
- * Hewlett-Packard Company
- *
- * Permission to use, copy, modify, distribute and sell this software
- * and its documentation for any purpose is hereby granted without fee,
- * provided that the above copyright notice appear in all copies and
- * that both that copyright notice and this permission notice appear
- * in supporting documentation. Hewlett-Packard Company makes no
- * representations about the suitability of this software for any
- * purpose. It is provided "as is" without express or implied warranty.
- *
- *
- * Copyright (c) 1996-1998
- * Silicon Graphics Computer Systems, Inc.
- *
- * Permission to use, copy, modify, distribute and sell this software
- * and its documentation for any purpose is hereby granted without fee,
- * provided that the above copyright notice appear in all copies and
- * that both that copyright notice and this permission notice appear
- * in supporting documentation. Silicon Graphics makes no
- * representations about the suitability of this software for any
- * purpose. It is provided "as is" without express or implied warranty.
- */
- /** @file bits/stl_function.h
- * This is an internal header file, included by other library headers.
- * Do not attempt to use it directly. @headername{functional}
- */
- #ifndef _STL_FUNCTION_H
- #define _STL_FUNCTION_H 1
- #if __cplusplus > 201103L
- #include <bits/move.h>
- #endif
- namespace std _GLIBCXX_VISIBILITY(default)
- {
- _GLIBCXX_BEGIN_NAMESPACE_VERSION
- // 20.3.1 base classes
- /** @defgroup functors Function Objects
- * @ingroup utilities
- *
- * Function objects, or _functors_, are objects with an `operator()`
- * defined and accessible. They can be passed as arguments to algorithm
- * templates and used in place of a function pointer. Not only is the
- * resulting expressiveness of the library increased, but the generated
- * code can be more efficient than what you might write by hand. When we
- * refer to _functors_, then, generally we include function pointers in
- * the description as well.
- *
- * Often, functors are only created as temporaries passed to algorithm
- * calls, rather than being created as named variables.
- *
- * Two examples taken from the standard itself follow. To perform a
- * by-element addition of two vectors `a` and `b` containing `double`,
- * and put the result in `a`, use
- * \code
- * transform (a.begin(), a.end(), b.begin(), a.begin(), plus<double>());
- * \endcode
- * To negate every element in `a`, use
- * \code
- * transform(a.begin(), a.end(), a.begin(), negate<double>());
- * \endcode
- * The addition and negation functions will usually be inlined directly.
- *
- * An _adaptable function object_ is one which provides nested typedefs
- * `result_type` and either `argument_type` (for a unary function) or
- * `first_argument_type` and `second_argument_type` (for a binary function).
- * Those typedefs are used by function object adaptors such as `bind2nd`.
- * The standard library provides two class templates, `unary_function` and
- * `binary_function`, which define those typedefs and so can be used as
- * base classes of adaptable function objects.
- *
- * Since C++11 the use of function object adaptors has been superseded by
- * more powerful tools such as lambda expressions, `function<>`, and more
- * powerful type deduction (using `auto` and `decltype`). The helpers for
- * defining adaptable function objects are deprecated since C++11, and no
- * longer part of the standard library since C++17. However, they are still
- * defined and used by libstdc++ after C++17, as a conforming extension.
- *
- * @{
- */
- /**
- * Helper for defining adaptable unary function objects.
- * @deprecated Deprecated in C++11, no longer in the standard since C++17.
- */
- template<typename _Arg, typename _Result>
- struct unary_function
- {
- /// @c argument_type is the type of the argument
- typedef _Arg argument_type;
- /// @c result_type is the return type
- typedef _Result result_type;
- } _GLIBCXX11_DEPRECATED;
- /**
- * Helper for defining adaptable binary function objects.
- * @deprecated Deprecated in C++11, no longer in the standard since C++17.
- */
- template<typename _Arg1, typename _Arg2, typename _Result>
- struct binary_function
- {
- /// @c first_argument_type is the type of the first argument
- typedef _Arg1 first_argument_type;
- /// @c second_argument_type is the type of the second argument
- typedef _Arg2 second_argument_type;
- /// @c result_type is the return type
- typedef _Result result_type;
- } _GLIBCXX11_DEPRECATED;
- /** @} */
- // 20.3.2 arithmetic
- /** @defgroup arithmetic_functors Arithmetic Function Object Classes
- * @ingroup functors
- *
- * The library provides function objects for basic arithmetic operations.
- * See the documentation for @link functors function objects @endlink
- * for examples of their use.
- *
- * @{
- */
- #if __cplusplus > 201103L
- struct __is_transparent; // undefined
- template<typename _Tp = void>
- struct plus;
- template<typename _Tp = void>
- struct minus;
- template<typename _Tp = void>
- struct multiplies;
- template<typename _Tp = void>
- struct divides;
- template<typename _Tp = void>
- struct modulus;
- template<typename _Tp = void>
- struct negate;
- #endif
- // Ignore warnings about unary_function and binary_function.
- #pragma GCC diagnostic push
- #pragma GCC diagnostic ignored "-Wdeprecated-declarations"
- /// One of the @link arithmetic_functors math functors@endlink.
- template<typename _Tp>
- struct plus : public binary_function<_Tp, _Tp, _Tp>
- {
- /// Returns the sum
- _GLIBCXX14_CONSTEXPR
- _Tp
- operator()(const _Tp& __x, const _Tp& __y) const
- { return __x + __y; }
- };
- /// One of the @link arithmetic_functors math functors@endlink.
- template<typename _Tp>
- struct minus : public binary_function<_Tp, _Tp, _Tp>
- {
- _GLIBCXX14_CONSTEXPR
- _Tp
- operator()(const _Tp& __x, const _Tp& __y) const
- { return __x - __y; }
- };
- /// One of the @link arithmetic_functors math functors@endlink.
- template<typename _Tp>
- struct multiplies : public binary_function<_Tp, _Tp, _Tp>
- {
- _GLIBCXX14_CONSTEXPR
- _Tp
- operator()(const _Tp& __x, const _Tp& __y) const
- { return __x * __y; }
- };
- /// One of the @link arithmetic_functors math functors@endlink.
- template<typename _Tp>
- struct divides : public binary_function<_Tp, _Tp, _Tp>
- {
- _GLIBCXX14_CONSTEXPR
- _Tp
- operator()(const _Tp& __x, const _Tp& __y) const
- { return __x / __y; }
- };
- /// One of the @link arithmetic_functors math functors@endlink.
- template<typename _Tp>
- struct modulus : public binary_function<_Tp, _Tp, _Tp>
- {
- _GLIBCXX14_CONSTEXPR
- _Tp
- operator()(const _Tp& __x, const _Tp& __y) const
- { return __x % __y; }
- };
- /// One of the @link arithmetic_functors math functors@endlink.
- template<typename _Tp>
- struct negate : public unary_function<_Tp, _Tp>
- {
- _GLIBCXX14_CONSTEXPR
- _Tp
- operator()(const _Tp& __x) const
- { return -__x; }
- };
- #pragma GCC diagnostic pop
- #if __cplusplus > 201103L
- #define __cpp_lib_transparent_operators 201510L
- template<>
- struct plus<void>
- {
- template <typename _Tp, typename _Up>
- _GLIBCXX14_CONSTEXPR
- auto
- operator()(_Tp&& __t, _Up&& __u) const
- noexcept(noexcept(std::forward<_Tp>(__t) + std::forward<_Up>(__u)))
- -> decltype(std::forward<_Tp>(__t) + std::forward<_Up>(__u))
- { return std::forward<_Tp>(__t) + std::forward<_Up>(__u); }
- typedef __is_transparent is_transparent;
- };
- /// One of the @link arithmetic_functors math functors@endlink.
- template<>
- struct minus<void>
- {
- template <typename _Tp, typename _Up>
- _GLIBCXX14_CONSTEXPR
- auto
- operator()(_Tp&& __t, _Up&& __u) const
- noexcept(noexcept(std::forward<_Tp>(__t) - std::forward<_Up>(__u)))
- -> decltype(std::forward<_Tp>(__t) - std::forward<_Up>(__u))
- { return std::forward<_Tp>(__t) - std::forward<_Up>(__u); }
- typedef __is_transparent is_transparent;
- };
- /// One of the @link arithmetic_functors math functors@endlink.
- template<>
- struct multiplies<void>
- {
- template <typename _Tp, typename _Up>
- _GLIBCXX14_CONSTEXPR
- auto
- operator()(_Tp&& __t, _Up&& __u) const
- noexcept(noexcept(std::forward<_Tp>(__t) * std::forward<_Up>(__u)))
- -> decltype(std::forward<_Tp>(__t) * std::forward<_Up>(__u))
- { return std::forward<_Tp>(__t) * std::forward<_Up>(__u); }
- typedef __is_transparent is_transparent;
- };
- /// One of the @link arithmetic_functors math functors@endlink.
- template<>
- struct divides<void>
- {
- template <typename _Tp, typename _Up>
- _GLIBCXX14_CONSTEXPR
- auto
- operator()(_Tp&& __t, _Up&& __u) const
- noexcept(noexcept(std::forward<_Tp>(__t) / std::forward<_Up>(__u)))
- -> decltype(std::forward<_Tp>(__t) / std::forward<_Up>(__u))
- { return std::forward<_Tp>(__t) / std::forward<_Up>(__u); }
- typedef __is_transparent is_transparent;
- };
- /// One of the @link arithmetic_functors math functors@endlink.
- template<>
- struct modulus<void>
- {
- template <typename _Tp, typename _Up>
- _GLIBCXX14_CONSTEXPR
- auto
- operator()(_Tp&& __t, _Up&& __u) const
- noexcept(noexcept(std::forward<_Tp>(__t) % std::forward<_Up>(__u)))
- -> decltype(std::forward<_Tp>(__t) % std::forward<_Up>(__u))
- { return std::forward<_Tp>(__t) % std::forward<_Up>(__u); }
- typedef __is_transparent is_transparent;
- };
- /// One of the @link arithmetic_functors math functors@endlink.
- template<>
- struct negate<void>
- {
- template <typename _Tp>
- _GLIBCXX14_CONSTEXPR
- auto
- operator()(_Tp&& __t) const
- noexcept(noexcept(-std::forward<_Tp>(__t)))
- -> decltype(-std::forward<_Tp>(__t))
- { return -std::forward<_Tp>(__t); }
- typedef __is_transparent is_transparent;
- };
- #endif
- /** @} */
- // 20.3.3 comparisons
- /** @defgroup comparison_functors Comparison Classes
- * @ingroup functors
- *
- * The library provides six wrapper functors for all the basic comparisons
- * in C++, like @c <.
- *
- * @{
- */
- #if __cplusplus > 201103L
- template<typename _Tp = void>
- struct equal_to;
- template<typename _Tp = void>
- struct not_equal_to;
- template<typename _Tp = void>
- struct greater;
- template<typename _Tp = void>
- struct less;
- template<typename _Tp = void>
- struct greater_equal;
- template<typename _Tp = void>
- struct less_equal;
- #endif
- #pragma GCC diagnostic push
- #pragma GCC diagnostic ignored "-Wdeprecated-declarations"
- /// One of the @link comparison_functors comparison functors@endlink.
- template<typename _Tp>
- struct equal_to : public binary_function<_Tp, _Tp, bool>
- {
- _GLIBCXX14_CONSTEXPR
- bool
- operator()(const _Tp& __x, const _Tp& __y) const
- { return __x == __y; }
- };
- /// One of the @link comparison_functors comparison functors@endlink.
- template<typename _Tp>
- struct not_equal_to : public binary_function<_Tp, _Tp, bool>
- {
- _GLIBCXX14_CONSTEXPR
- bool
- operator()(const _Tp& __x, const _Tp& __y) const
- { return __x != __y; }
- };
- /// One of the @link comparison_functors comparison functors@endlink.
- template<typename _Tp>
- struct greater : public binary_function<_Tp, _Tp, bool>
- {
- _GLIBCXX14_CONSTEXPR
- bool
- operator()(const _Tp& __x, const _Tp& __y) const
- { return __x > __y; }
- };
- /// One of the @link comparison_functors comparison functors@endlink.
- template<typename _Tp>
- struct less : public binary_function<_Tp, _Tp, bool>
- {
- _GLIBCXX14_CONSTEXPR
- bool
- operator()(const _Tp& __x, const _Tp& __y) const
- { return __x < __y; }
- };
- /// One of the @link comparison_functors comparison functors@endlink.
- template<typename _Tp>
- struct greater_equal : public binary_function<_Tp, _Tp, bool>
- {
- _GLIBCXX14_CONSTEXPR
- bool
- operator()(const _Tp& __x, const _Tp& __y) const
- { return __x >= __y; }
- };
- /// One of the @link comparison_functors comparison functors@endlink.
- template<typename _Tp>
- struct less_equal : public binary_function<_Tp, _Tp, bool>
- {
- _GLIBCXX14_CONSTEXPR
- bool
- operator()(const _Tp& __x, const _Tp& __y) const
- { return __x <= __y; }
- };
- // Partial specialization of std::greater for pointers.
- template<typename _Tp>
- struct greater<_Tp*> : public binary_function<_Tp*, _Tp*, bool>
- {
- _GLIBCXX14_CONSTEXPR bool
- operator()(_Tp* __x, _Tp* __y) const _GLIBCXX_NOTHROW
- {
- #if __cplusplus >= 201402L
- if (std::__is_constant_evaluated())
- return __x > __y;
- #endif
- return (__UINTPTR_TYPE__)__x > (__UINTPTR_TYPE__)__y;
- }
- };
- // Partial specialization of std::less for pointers.
- template<typename _Tp>
- struct less<_Tp*> : public binary_function<_Tp*, _Tp*, bool>
- {
- _GLIBCXX14_CONSTEXPR bool
- operator()(_Tp* __x, _Tp* __y) const _GLIBCXX_NOTHROW
- {
- #if __cplusplus >= 201402L
- if (std::__is_constant_evaluated())
- return __x < __y;
- #endif
- return (__UINTPTR_TYPE__)__x < (__UINTPTR_TYPE__)__y;
- }
- };
- // Partial specialization of std::greater_equal for pointers.
- template<typename _Tp>
- struct greater_equal<_Tp*> : public binary_function<_Tp*, _Tp*, bool>
- {
- _GLIBCXX14_CONSTEXPR bool
- operator()(_Tp* __x, _Tp* __y) const _GLIBCXX_NOTHROW
- {
- #if __cplusplus >= 201402L
- if (std::__is_constant_evaluated())
- return __x >= __y;
- #endif
- return (__UINTPTR_TYPE__)__x >= (__UINTPTR_TYPE__)__y;
- }
- };
- // Partial specialization of std::less_equal for pointers.
- template<typename _Tp>
- struct less_equal<_Tp*> : public binary_function<_Tp*, _Tp*, bool>
- {
- _GLIBCXX14_CONSTEXPR bool
- operator()(_Tp* __x, _Tp* __y) const _GLIBCXX_NOTHROW
- {
- #if __cplusplus >= 201402L
- if (std::__is_constant_evaluated())
- return __x <= __y;
- #endif
- return (__UINTPTR_TYPE__)__x <= (__UINTPTR_TYPE__)__y;
- }
- };
- #pragma GCC diagnostic pop
- #if __cplusplus >= 201402L
- /// One of the @link comparison_functors comparison functors@endlink.
- template<>
- struct equal_to<void>
- {
- template <typename _Tp, typename _Up>
- constexpr auto
- operator()(_Tp&& __t, _Up&& __u) const
- noexcept(noexcept(std::forward<_Tp>(__t) == std::forward<_Up>(__u)))
- -> decltype(std::forward<_Tp>(__t) == std::forward<_Up>(__u))
- { return std::forward<_Tp>(__t) == std::forward<_Up>(__u); }
- typedef __is_transparent is_transparent;
- };
- /// One of the @link comparison_functors comparison functors@endlink.
- template<>
- struct not_equal_to<void>
- {
- template <typename _Tp, typename _Up>
- constexpr auto
- operator()(_Tp&& __t, _Up&& __u) const
- noexcept(noexcept(std::forward<_Tp>(__t) != std::forward<_Up>(__u)))
- -> decltype(std::forward<_Tp>(__t) != std::forward<_Up>(__u))
- { return std::forward<_Tp>(__t) != std::forward<_Up>(__u); }
- typedef __is_transparent is_transparent;
- };
- /// One of the @link comparison_functors comparison functors@endlink.
- template<>
- struct greater<void>
- {
- template <typename _Tp, typename _Up>
- constexpr auto
- operator()(_Tp&& __t, _Up&& __u) const
- noexcept(noexcept(std::forward<_Tp>(__t) > std::forward<_Up>(__u)))
- -> decltype(std::forward<_Tp>(__t) > std::forward<_Up>(__u))
- {
- return _S_cmp(std::forward<_Tp>(__t), std::forward<_Up>(__u),
- __ptr_cmp<_Tp, _Up>{});
- }
- template<typename _Tp, typename _Up>
- constexpr bool
- operator()(_Tp* __t, _Up* __u) const noexcept
- { return greater<common_type_t<_Tp*, _Up*>>{}(__t, __u); }
- typedef __is_transparent is_transparent;
- private:
- template <typename _Tp, typename _Up>
- static constexpr decltype(auto)
- _S_cmp(_Tp&& __t, _Up&& __u, false_type)
- { return std::forward<_Tp>(__t) > std::forward<_Up>(__u); }
- template <typename _Tp, typename _Up>
- static constexpr bool
- _S_cmp(_Tp&& __t, _Up&& __u, true_type) noexcept
- {
- return greater<const volatile void*>{}(
- static_cast<const volatile void*>(std::forward<_Tp>(__t)),
- static_cast<const volatile void*>(std::forward<_Up>(__u)));
- }
- // True if there is no viable operator> member function.
- template<typename _Tp, typename _Up, typename = void>
- struct __not_overloaded2 : true_type { };
- // False if we can call T.operator>(U)
- template<typename _Tp, typename _Up>
- struct __not_overloaded2<_Tp, _Up, __void_t<
- decltype(std::declval<_Tp>().operator>(std::declval<_Up>()))>>
- : false_type { };
- // True if there is no overloaded operator> for these operands.
- template<typename _Tp, typename _Up, typename = void>
- struct __not_overloaded : __not_overloaded2<_Tp, _Up> { };
- // False if we can call operator>(T,U)
- template<typename _Tp, typename _Up>
- struct __not_overloaded<_Tp, _Up, __void_t<
- decltype(operator>(std::declval<_Tp>(), std::declval<_Up>()))>>
- : false_type { };
- template<typename _Tp, typename _Up>
- using __ptr_cmp = __and_<__not_overloaded<_Tp, _Up>,
- is_convertible<_Tp, const volatile void*>,
- is_convertible<_Up, const volatile void*>>;
- };
- /// One of the @link comparison_functors comparison functors@endlink.
- template<>
- struct less<void>
- {
- template <typename _Tp, typename _Up>
- constexpr auto
- operator()(_Tp&& __t, _Up&& __u) const
- noexcept(noexcept(std::forward<_Tp>(__t) < std::forward<_Up>(__u)))
- -> decltype(std::forward<_Tp>(__t) < std::forward<_Up>(__u))
- {
- return _S_cmp(std::forward<_Tp>(__t), std::forward<_Up>(__u),
- __ptr_cmp<_Tp, _Up>{});
- }
- template<typename _Tp, typename _Up>
- constexpr bool
- operator()(_Tp* __t, _Up* __u) const noexcept
- { return less<common_type_t<_Tp*, _Up*>>{}(__t, __u); }
- typedef __is_transparent is_transparent;
- private:
- template <typename _Tp, typename _Up>
- static constexpr decltype(auto)
- _S_cmp(_Tp&& __t, _Up&& __u, false_type)
- { return std::forward<_Tp>(__t) < std::forward<_Up>(__u); }
- template <typename _Tp, typename _Up>
- static constexpr bool
- _S_cmp(_Tp&& __t, _Up&& __u, true_type) noexcept
- {
- return less<const volatile void*>{}(
- static_cast<const volatile void*>(std::forward<_Tp>(__t)),
- static_cast<const volatile void*>(std::forward<_Up>(__u)));
- }
- // True if there is no viable operator< member function.
- template<typename _Tp, typename _Up, typename = void>
- struct __not_overloaded2 : true_type { };
- // False if we can call T.operator<(U)
- template<typename _Tp, typename _Up>
- struct __not_overloaded2<_Tp, _Up, __void_t<
- decltype(std::declval<_Tp>().operator<(std::declval<_Up>()))>>
- : false_type { };
- // True if there is no overloaded operator< for these operands.
- template<typename _Tp, typename _Up, typename = void>
- struct __not_overloaded : __not_overloaded2<_Tp, _Up> { };
- // False if we can call operator<(T,U)
- template<typename _Tp, typename _Up>
- struct __not_overloaded<_Tp, _Up, __void_t<
- decltype(operator<(std::declval<_Tp>(), std::declval<_Up>()))>>
- : false_type { };
- template<typename _Tp, typename _Up>
- using __ptr_cmp = __and_<__not_overloaded<_Tp, _Up>,
- is_convertible<_Tp, const volatile void*>,
- is_convertible<_Up, const volatile void*>>;
- };
- /// One of the @link comparison_functors comparison functors@endlink.
- template<>
- struct greater_equal<void>
- {
- template <typename _Tp, typename _Up>
- constexpr auto
- operator()(_Tp&& __t, _Up&& __u) const
- noexcept(noexcept(std::forward<_Tp>(__t) >= std::forward<_Up>(__u)))
- -> decltype(std::forward<_Tp>(__t) >= std::forward<_Up>(__u))
- {
- return _S_cmp(std::forward<_Tp>(__t), std::forward<_Up>(__u),
- __ptr_cmp<_Tp, _Up>{});
- }
- template<typename _Tp, typename _Up>
- constexpr bool
- operator()(_Tp* __t, _Up* __u) const noexcept
- { return greater_equal<common_type_t<_Tp*, _Up*>>{}(__t, __u); }
- typedef __is_transparent is_transparent;
- private:
- template <typename _Tp, typename _Up>
- static constexpr decltype(auto)
- _S_cmp(_Tp&& __t, _Up&& __u, false_type)
- { return std::forward<_Tp>(__t) >= std::forward<_Up>(__u); }
- template <typename _Tp, typename _Up>
- static constexpr bool
- _S_cmp(_Tp&& __t, _Up&& __u, true_type) noexcept
- {
- return greater_equal<const volatile void*>{}(
- static_cast<const volatile void*>(std::forward<_Tp>(__t)),
- static_cast<const volatile void*>(std::forward<_Up>(__u)));
- }
- // True if there is no viable operator>= member function.
- template<typename _Tp, typename _Up, typename = void>
- struct __not_overloaded2 : true_type { };
- // False if we can call T.operator>=(U)
- template<typename _Tp, typename _Up>
- struct __not_overloaded2<_Tp, _Up, __void_t<
- decltype(std::declval<_Tp>().operator>=(std::declval<_Up>()))>>
- : false_type { };
- // True if there is no overloaded operator>= for these operands.
- template<typename _Tp, typename _Up, typename = void>
- struct __not_overloaded : __not_overloaded2<_Tp, _Up> { };
- // False if we can call operator>=(T,U)
- template<typename _Tp, typename _Up>
- struct __not_overloaded<_Tp, _Up, __void_t<
- decltype(operator>=(std::declval<_Tp>(), std::declval<_Up>()))>>
- : false_type { };
- template<typename _Tp, typename _Up>
- using __ptr_cmp = __and_<__not_overloaded<_Tp, _Up>,
- is_convertible<_Tp, const volatile void*>,
- is_convertible<_Up, const volatile void*>>;
- };
- /// One of the @link comparison_functors comparison functors@endlink.
- template<>
- struct less_equal<void>
- {
- template <typename _Tp, typename _Up>
- constexpr auto
- operator()(_Tp&& __t, _Up&& __u) const
- noexcept(noexcept(std::forward<_Tp>(__t) <= std::forward<_Up>(__u)))
- -> decltype(std::forward<_Tp>(__t) <= std::forward<_Up>(__u))
- {
- return _S_cmp(std::forward<_Tp>(__t), std::forward<_Up>(__u),
- __ptr_cmp<_Tp, _Up>{});
- }
- template<typename _Tp, typename _Up>
- constexpr bool
- operator()(_Tp* __t, _Up* __u) const noexcept
- { return less_equal<common_type_t<_Tp*, _Up*>>{}(__t, __u); }
- typedef __is_transparent is_transparent;
- private:
- template <typename _Tp, typename _Up>
- static constexpr decltype(auto)
- _S_cmp(_Tp&& __t, _Up&& __u, false_type)
- { return std::forward<_Tp>(__t) <= std::forward<_Up>(__u); }
- template <typename _Tp, typename _Up>
- static constexpr bool
- _S_cmp(_Tp&& __t, _Up&& __u, true_type) noexcept
- {
- return less_equal<const volatile void*>{}(
- static_cast<const volatile void*>(std::forward<_Tp>(__t)),
- static_cast<const volatile void*>(std::forward<_Up>(__u)));
- }
- // True if there is no viable operator<= member function.
- template<typename _Tp, typename _Up, typename = void>
- struct __not_overloaded2 : true_type { };
- // False if we can call T.operator<=(U)
- template<typename _Tp, typename _Up>
- struct __not_overloaded2<_Tp, _Up, __void_t<
- decltype(std::declval<_Tp>().operator<=(std::declval<_Up>()))>>
- : false_type { };
- // True if there is no overloaded operator<= for these operands.
- template<typename _Tp, typename _Up, typename = void>
- struct __not_overloaded : __not_overloaded2<_Tp, _Up> { };
- // False if we can call operator<=(T,U)
- template<typename _Tp, typename _Up>
- struct __not_overloaded<_Tp, _Up, __void_t<
- decltype(operator<=(std::declval<_Tp>(), std::declval<_Up>()))>>
- : false_type { };
- template<typename _Tp, typename _Up>
- using __ptr_cmp = __and_<__not_overloaded<_Tp, _Up>,
- is_convertible<_Tp, const volatile void*>,
- is_convertible<_Up, const volatile void*>>;
- };
- #endif // C++14
- /** @} */
- // 20.3.4 logical operations
- /** @defgroup logical_functors Boolean Operations Classes
- * @ingroup functors
- *
- * The library provides function objects for the logical operations:
- * `&&`, `||`, and `!`.
- *
- * @{
- */
- #if __cplusplus > 201103L
- template<typename _Tp = void>
- struct logical_and;
- template<typename _Tp = void>
- struct logical_or;
- template<typename _Tp = void>
- struct logical_not;
- #endif
- #pragma GCC diagnostic push
- #pragma GCC diagnostic ignored "-Wdeprecated-declarations"
- /// One of the @link logical_functors Boolean operations functors@endlink.
- template<typename _Tp>
- struct logical_and : public binary_function<_Tp, _Tp, bool>
- {
- _GLIBCXX14_CONSTEXPR
- bool
- operator()(const _Tp& __x, const _Tp& __y) const
- { return __x && __y; }
- };
- /// One of the @link logical_functors Boolean operations functors@endlink.
- template<typename _Tp>
- struct logical_or : public binary_function<_Tp, _Tp, bool>
- {
- _GLIBCXX14_CONSTEXPR
- bool
- operator()(const _Tp& __x, const _Tp& __y) const
- { return __x || __y; }
- };
- /// One of the @link logical_functors Boolean operations functors@endlink.
- template<typename _Tp>
- struct logical_not : public unary_function<_Tp, bool>
- {
- _GLIBCXX14_CONSTEXPR
- bool
- operator()(const _Tp& __x) const
- { return !__x; }
- };
- #pragma GCC diagnostic pop
- #if __cplusplus > 201103L
- /// One of the @link logical_functors Boolean operations functors@endlink.
- template<>
- struct logical_and<void>
- {
- template <typename _Tp, typename _Up>
- _GLIBCXX14_CONSTEXPR
- auto
- operator()(_Tp&& __t, _Up&& __u) const
- noexcept(noexcept(std::forward<_Tp>(__t) && std::forward<_Up>(__u)))
- -> decltype(std::forward<_Tp>(__t) && std::forward<_Up>(__u))
- { return std::forward<_Tp>(__t) && std::forward<_Up>(__u); }
- typedef __is_transparent is_transparent;
- };
- /// One of the @link logical_functors Boolean operations functors@endlink.
- template<>
- struct logical_or<void>
- {
- template <typename _Tp, typename _Up>
- _GLIBCXX14_CONSTEXPR
- auto
- operator()(_Tp&& __t, _Up&& __u) const
- noexcept(noexcept(std::forward<_Tp>(__t) || std::forward<_Up>(__u)))
- -> decltype(std::forward<_Tp>(__t) || std::forward<_Up>(__u))
- { return std::forward<_Tp>(__t) || std::forward<_Up>(__u); }
- typedef __is_transparent is_transparent;
- };
- /// One of the @link logical_functors Boolean operations functors@endlink.
- template<>
- struct logical_not<void>
- {
- template <typename _Tp>
- _GLIBCXX14_CONSTEXPR
- auto
- operator()(_Tp&& __t) const
- noexcept(noexcept(!std::forward<_Tp>(__t)))
- -> decltype(!std::forward<_Tp>(__t))
- { return !std::forward<_Tp>(__t); }
- typedef __is_transparent is_transparent;
- };
- #endif
- /** @} */
- #if __cplusplus > 201103L
- template<typename _Tp = void>
- struct bit_and;
- template<typename _Tp = void>
- struct bit_or;
- template<typename _Tp = void>
- struct bit_xor;
- template<typename _Tp = void>
- struct bit_not;
- #endif
- #pragma GCC diagnostic push
- #pragma GCC diagnostic ignored "-Wdeprecated-declarations"
- // _GLIBCXX_RESOLVE_LIB_DEFECTS
- // DR 660. Missing Bitwise Operations.
- template<typename _Tp>
- struct bit_and : public binary_function<_Tp, _Tp, _Tp>
- {
- _GLIBCXX14_CONSTEXPR
- _Tp
- operator()(const _Tp& __x, const _Tp& __y) const
- { return __x & __y; }
- };
- template<typename _Tp>
- struct bit_or : public binary_function<_Tp, _Tp, _Tp>
- {
- _GLIBCXX14_CONSTEXPR
- _Tp
- operator()(const _Tp& __x, const _Tp& __y) const
- { return __x | __y; }
- };
- template<typename _Tp>
- struct bit_xor : public binary_function<_Tp, _Tp, _Tp>
- {
- _GLIBCXX14_CONSTEXPR
- _Tp
- operator()(const _Tp& __x, const _Tp& __y) const
- { return __x ^ __y; }
- };
- template<typename _Tp>
- struct bit_not : public unary_function<_Tp, _Tp>
- {
- _GLIBCXX14_CONSTEXPR
- _Tp
- operator()(const _Tp& __x) const
- { return ~__x; }
- };
- #pragma GCC diagnostic pop
- #if __cplusplus > 201103L
- template <>
- struct bit_and<void>
- {
- template <typename _Tp, typename _Up>
- _GLIBCXX14_CONSTEXPR
- auto
- operator()(_Tp&& __t, _Up&& __u) const
- noexcept(noexcept(std::forward<_Tp>(__t) & std::forward<_Up>(__u)))
- -> decltype(std::forward<_Tp>(__t) & std::forward<_Up>(__u))
- { return std::forward<_Tp>(__t) & std::forward<_Up>(__u); }
- typedef __is_transparent is_transparent;
- };
- template <>
- struct bit_or<void>
- {
- template <typename _Tp, typename _Up>
- _GLIBCXX14_CONSTEXPR
- auto
- operator()(_Tp&& __t, _Up&& __u) const
- noexcept(noexcept(std::forward<_Tp>(__t) | std::forward<_Up>(__u)))
- -> decltype(std::forward<_Tp>(__t) | std::forward<_Up>(__u))
- { return std::forward<_Tp>(__t) | std::forward<_Up>(__u); }
- typedef __is_transparent is_transparent;
- };
- template <>
- struct bit_xor<void>
- {
- template <typename _Tp, typename _Up>
- _GLIBCXX14_CONSTEXPR
- auto
- operator()(_Tp&& __t, _Up&& __u) const
- noexcept(noexcept(std::forward<_Tp>(__t) ^ std::forward<_Up>(__u)))
- -> decltype(std::forward<_Tp>(__t) ^ std::forward<_Up>(__u))
- { return std::forward<_Tp>(__t) ^ std::forward<_Up>(__u); }
- typedef __is_transparent is_transparent;
- };
- template <>
- struct bit_not<void>
- {
- template <typename _Tp>
- _GLIBCXX14_CONSTEXPR
- auto
- operator()(_Tp&& __t) const
- noexcept(noexcept(~std::forward<_Tp>(__t)))
- -> decltype(~std::forward<_Tp>(__t))
- { return ~std::forward<_Tp>(__t); }
- typedef __is_transparent is_transparent;
- };
- #endif // C++14
- #pragma GCC diagnostic push
- #pragma GCC diagnostic ignored "-Wdeprecated-declarations"
- // 20.3.5 negators
- /** @defgroup negators Negators
- * @ingroup functors
- *
- * The function templates `not1` and `not2` are function object adaptors,
- * which each take a predicate functor and wrap it in an instance of
- * `unary_negate` or `binary_negate`, respectively. Those classes are
- * functors whose `operator()` evaluates the wrapped predicate function
- * and then returns the negation of the result.
- *
- * For example, given a vector of integers and a trivial predicate,
- * \code
- * struct IntGreaterThanThree
- * : public std::unary_function<int, bool>
- * {
- * bool operator() (int x) const { return x > 3; }
- * };
- *
- * std::find_if (v.begin(), v.end(), not1(IntGreaterThanThree()));
- * \endcode
- * The call to `find_if` will locate the first index (i) of `v` for which
- * `!(v[i] > 3)` is true.
- *
- * The not1/unary_negate combination works on predicates taking a single
- * argument. The not2/binary_negate combination works on predicates taking
- * two arguments.
- *
- * @deprecated Deprecated in C++17, no longer in the standard since C++20.
- * Use `not_fn` instead.
- *
- * @{
- */
- /// One of the @link negators negation functors@endlink.
- template<typename _Predicate>
- class _GLIBCXX17_DEPRECATED unary_negate
- : public unary_function<typename _Predicate::argument_type, bool>
- {
- protected:
- _Predicate _M_pred;
- public:
- _GLIBCXX14_CONSTEXPR
- explicit
- unary_negate(const _Predicate& __x) : _M_pred(__x) { }
- _GLIBCXX14_CONSTEXPR
- bool
- operator()(const typename _Predicate::argument_type& __x) const
- { return !_M_pred(__x); }
- };
- /// One of the @link negators negation functors@endlink.
- template<typename _Predicate>
- _GLIBCXX17_DEPRECATED_SUGGEST("std::not_fn")
- _GLIBCXX14_CONSTEXPR
- inline unary_negate<_Predicate>
- not1(const _Predicate& __pred)
- { return unary_negate<_Predicate>(__pred); }
- /// One of the @link negators negation functors@endlink.
- template<typename _Predicate>
- class _GLIBCXX17_DEPRECATED binary_negate
- : public binary_function<typename _Predicate::first_argument_type,
- typename _Predicate::second_argument_type, bool>
- {
- protected:
- _Predicate _M_pred;
- public:
- _GLIBCXX14_CONSTEXPR
- explicit
- binary_negate(const _Predicate& __x) : _M_pred(__x) { }
- _GLIBCXX14_CONSTEXPR
- bool
- operator()(const typename _Predicate::first_argument_type& __x,
- const typename _Predicate::second_argument_type& __y) const
- { return !_M_pred(__x, __y); }
- };
- /// One of the @link negators negation functors@endlink.
- template<typename _Predicate>
- _GLIBCXX17_DEPRECATED_SUGGEST("std::not_fn")
- _GLIBCXX14_CONSTEXPR
- inline binary_negate<_Predicate>
- not2(const _Predicate& __pred)
- { return binary_negate<_Predicate>(__pred); }
- /** @} */
- // 20.3.7 adaptors pointers functions
- /** @defgroup pointer_adaptors Adaptors for pointers to functions
- * @ingroup functors
- *
- * The advantage of function objects over pointers to functions is that
- * the objects in the standard library declare nested typedefs describing
- * their argument and result types with uniform names (e.g., `result_type`
- * from the base classes `unary_function` and `binary_function`).
- * Sometimes those typedefs are required, not just optional.
- *
- * Adaptors are provided to turn pointers to unary (single-argument) and
- * binary (double-argument) functions into function objects. The
- * long-winded functor `pointer_to_unary_function` is constructed with a
- * function pointer `f`, and its `operator()` called with argument `x`
- * returns `f(x)`. The functor `pointer_to_binary_function` does the same
- * thing, but with a double-argument `f` and `operator()`.
- *
- * The function `ptr_fun` takes a pointer-to-function `f` and constructs
- * an instance of the appropriate functor.
- *
- * @deprecated Deprecated in C++11, no longer in the standard since C++17.
- *
- * @{
- */
- /// One of the @link pointer_adaptors adaptors for function pointers@endlink.
- template<typename _Arg, typename _Result>
- class pointer_to_unary_function : public unary_function<_Arg, _Result>
- {
- protected:
- _Result (*_M_ptr)(_Arg);
- public:
- pointer_to_unary_function() { }
- explicit
- pointer_to_unary_function(_Result (*__x)(_Arg))
- : _M_ptr(__x) { }
- _Result
- operator()(_Arg __x) const
- { return _M_ptr(__x); }
- } _GLIBCXX11_DEPRECATED;
- /// One of the @link pointer_adaptors adaptors for function pointers@endlink.
- template<typename _Arg, typename _Result>
- _GLIBCXX11_DEPRECATED_SUGGEST("std::function")
- inline pointer_to_unary_function<_Arg, _Result>
- ptr_fun(_Result (*__x)(_Arg))
- { return pointer_to_unary_function<_Arg, _Result>(__x); }
- /// One of the @link pointer_adaptors adaptors for function pointers@endlink.
- template<typename _Arg1, typename _Arg2, typename _Result>
- class pointer_to_binary_function
- : public binary_function<_Arg1, _Arg2, _Result>
- {
- protected:
- _Result (*_M_ptr)(_Arg1, _Arg2);
- public:
- pointer_to_binary_function() { }
- explicit
- pointer_to_binary_function(_Result (*__x)(_Arg1, _Arg2))
- : _M_ptr(__x) { }
- _Result
- operator()(_Arg1 __x, _Arg2 __y) const
- { return _M_ptr(__x, __y); }
- } _GLIBCXX11_DEPRECATED;
- /// One of the @link pointer_adaptors adaptors for function pointers@endlink.
- template<typename _Arg1, typename _Arg2, typename _Result>
- _GLIBCXX11_DEPRECATED_SUGGEST("std::function")
- inline pointer_to_binary_function<_Arg1, _Arg2, _Result>
- ptr_fun(_Result (*__x)(_Arg1, _Arg2))
- { return pointer_to_binary_function<_Arg1, _Arg2, _Result>(__x); }
- /** @} */
- template<typename _Tp>
- struct _Identity
- : public unary_function<_Tp, _Tp>
- {
- _Tp&
- operator()(_Tp& __x) const
- { return __x; }
- const _Tp&
- operator()(const _Tp& __x) const
- { return __x; }
- };
- // Partial specialization, avoids confusing errors in e.g. std::set<const T>.
- template<typename _Tp> struct _Identity<const _Tp> : _Identity<_Tp> { };
- template<typename _Pair>
- struct _Select1st
- : public unary_function<_Pair, typename _Pair::first_type>
- {
- typename _Pair::first_type&
- operator()(_Pair& __x) const
- { return __x.first; }
- const typename _Pair::first_type&
- operator()(const _Pair& __x) const
- { return __x.first; }
- #if __cplusplus >= 201103L
- template<typename _Pair2>
- typename _Pair2::first_type&
- operator()(_Pair2& __x) const
- { return __x.first; }
- template<typename _Pair2>
- const typename _Pair2::first_type&
- operator()(const _Pair2& __x) const
- { return __x.first; }
- #endif
- };
- template<typename _Pair>
- struct _Select2nd
- : public unary_function<_Pair, typename _Pair::second_type>
- {
- typename _Pair::second_type&
- operator()(_Pair& __x) const
- { return __x.second; }
- const typename _Pair::second_type&
- operator()(const _Pair& __x) const
- { return __x.second; }
- };
- // 20.3.8 adaptors pointers members
- /** @defgroup ptrmem_adaptors Adaptors for pointers to members
- * @ingroup functors
- *
- * There are a total of 8 = 2^3 function objects in this family.
- * (1) Member functions taking no arguments vs member functions taking
- * one argument.
- * (2) Call through pointer vs call through reference.
- * (3) Const vs non-const member function.
- *
- * All of this complexity is in the function objects themselves. You can
- * ignore it by using the helper function `mem_fun` and `mem_fun_ref`,
- * which create whichever type of adaptor is appropriate.
- *
- * @deprecated Deprecated in C++11, no longer in the standard since C++17.
- * Use `mem_fn` instead.
- *
- * @{
- */
- /// One of the @link ptrmem_adaptors adaptors for member pointers@endlink.
- template<typename _Ret, typename _Tp>
- class mem_fun_t : public unary_function<_Tp*, _Ret>
- {
- public:
- explicit
- mem_fun_t(_Ret (_Tp::*__pf)())
- : _M_f(__pf) { }
- _Ret
- operator()(_Tp* __p) const
- { return (__p->*_M_f)(); }
- private:
- _Ret (_Tp::*_M_f)();
- } _GLIBCXX11_DEPRECATED;
- /// One of the @link ptrmem_adaptors adaptors for member pointers@endlink.
- template<typename _Ret, typename _Tp>
- class const_mem_fun_t : public unary_function<const _Tp*, _Ret>
- {
- public:
- explicit
- const_mem_fun_t(_Ret (_Tp::*__pf)() const)
- : _M_f(__pf) { }
- _Ret
- operator()(const _Tp* __p) const
- { return (__p->*_M_f)(); }
- private:
- _Ret (_Tp::*_M_f)() const;
- } _GLIBCXX11_DEPRECATED;
- /// One of the @link ptrmem_adaptors adaptors for member pointers@endlink.
- template<typename _Ret, typename _Tp>
- class mem_fun_ref_t : public unary_function<_Tp, _Ret>
- {
- public:
- explicit
- mem_fun_ref_t(_Ret (_Tp::*__pf)())
- : _M_f(__pf) { }
- _Ret
- operator()(_Tp& __r) const
- { return (__r.*_M_f)(); }
- private:
- _Ret (_Tp::*_M_f)();
- } _GLIBCXX11_DEPRECATED;
- /// One of the @link ptrmem_adaptors adaptors for member pointers@endlink.
- template<typename _Ret, typename _Tp>
- class const_mem_fun_ref_t : public unary_function<_Tp, _Ret>
- {
- public:
- explicit
- const_mem_fun_ref_t(_Ret (_Tp::*__pf)() const)
- : _M_f(__pf) { }
- _Ret
- operator()(const _Tp& __r) const
- { return (__r.*_M_f)(); }
- private:
- _Ret (_Tp::*_M_f)() const;
- } _GLIBCXX11_DEPRECATED;
- /// One of the @link ptrmem_adaptors adaptors for member pointers@endlink.
- template<typename _Ret, typename _Tp, typename _Arg>
- class mem_fun1_t : public binary_function<_Tp*, _Arg, _Ret>
- {
- public:
- explicit
- mem_fun1_t(_Ret (_Tp::*__pf)(_Arg))
- : _M_f(__pf) { }
- _Ret
- operator()(_Tp* __p, _Arg __x) const
- { return (__p->*_M_f)(__x); }
- private:
- _Ret (_Tp::*_M_f)(_Arg);
- } _GLIBCXX11_DEPRECATED;
- /// One of the @link ptrmem_adaptors adaptors for member pointers@endlink.
- template<typename _Ret, typename _Tp, typename _Arg>
- class const_mem_fun1_t : public binary_function<const _Tp*, _Arg, _Ret>
- {
- public:
- explicit
- const_mem_fun1_t(_Ret (_Tp::*__pf)(_Arg) const)
- : _M_f(__pf) { }
- _Ret
- operator()(const _Tp* __p, _Arg __x) const
- { return (__p->*_M_f)(__x); }
- private:
- _Ret (_Tp::*_M_f)(_Arg) const;
- } _GLIBCXX11_DEPRECATED;
- /// One of the @link ptrmem_adaptors adaptors for member pointers@endlink.
- template<typename _Ret, typename _Tp, typename _Arg>
- class mem_fun1_ref_t : public binary_function<_Tp, _Arg, _Ret>
- {
- public:
- explicit
- mem_fun1_ref_t(_Ret (_Tp::*__pf)(_Arg))
- : _M_f(__pf) { }
- _Ret
- operator()(_Tp& __r, _Arg __x) const
- { return (__r.*_M_f)(__x); }
- private:
- _Ret (_Tp::*_M_f)(_Arg);
- } _GLIBCXX11_DEPRECATED;
- /// One of the @link ptrmem_adaptors adaptors for member pointers@endlink.
- template<typename _Ret, typename _Tp, typename _Arg>
- class const_mem_fun1_ref_t : public binary_function<_Tp, _Arg, _Ret>
- {
- public:
- explicit
- const_mem_fun1_ref_t(_Ret (_Tp::*__pf)(_Arg) const)
- : _M_f(__pf) { }
- _Ret
- operator()(const _Tp& __r, _Arg __x) const
- { return (__r.*_M_f)(__x); }
- private:
- _Ret (_Tp::*_M_f)(_Arg) const;
- } _GLIBCXX11_DEPRECATED;
- // Mem_fun adaptor helper functions. There are only two:
- // mem_fun and mem_fun_ref.
- template<typename _Ret, typename _Tp>
- _GLIBCXX11_DEPRECATED_SUGGEST("std::mem_fn")
- inline mem_fun_t<_Ret, _Tp>
- mem_fun(_Ret (_Tp::*__f)())
- { return mem_fun_t<_Ret, _Tp>(__f); }
- template<typename _Ret, typename _Tp>
- _GLIBCXX11_DEPRECATED_SUGGEST("std::mem_fn")
- inline const_mem_fun_t<_Ret, _Tp>
- mem_fun(_Ret (_Tp::*__f)() const)
- { return const_mem_fun_t<_Ret, _Tp>(__f); }
- template<typename _Ret, typename _Tp>
- _GLIBCXX11_DEPRECATED_SUGGEST("std::mem_fn")
- inline mem_fun_ref_t<_Ret, _Tp>
- mem_fun_ref(_Ret (_Tp::*__f)())
- { return mem_fun_ref_t<_Ret, _Tp>(__f); }
- template<typename _Ret, typename _Tp>
- _GLIBCXX11_DEPRECATED_SUGGEST("std::mem_fn")
- inline const_mem_fun_ref_t<_Ret, _Tp>
- mem_fun_ref(_Ret (_Tp::*__f)() const)
- { return const_mem_fun_ref_t<_Ret, _Tp>(__f); }
- template<typename _Ret, typename _Tp, typename _Arg>
- _GLIBCXX11_DEPRECATED_SUGGEST("std::mem_fn")
- inline mem_fun1_t<_Ret, _Tp, _Arg>
- mem_fun(_Ret (_Tp::*__f)(_Arg))
- { return mem_fun1_t<_Ret, _Tp, _Arg>(__f); }
- template<typename _Ret, typename _Tp, typename _Arg>
- _GLIBCXX11_DEPRECATED_SUGGEST("std::mem_fn")
- inline const_mem_fun1_t<_Ret, _Tp, _Arg>
- mem_fun(_Ret (_Tp::*__f)(_Arg) const)
- { return const_mem_fun1_t<_Ret, _Tp, _Arg>(__f); }
- template<typename _Ret, typename _Tp, typename _Arg>
- _GLIBCXX11_DEPRECATED_SUGGEST("std::mem_fn")
- inline mem_fun1_ref_t<_Ret, _Tp, _Arg>
- mem_fun_ref(_Ret (_Tp::*__f)(_Arg))
- { return mem_fun1_ref_t<_Ret, _Tp, _Arg>(__f); }
- template<typename _Ret, typename _Tp, typename _Arg>
- _GLIBCXX11_DEPRECATED_SUGGEST("std::mem_fn")
- inline const_mem_fun1_ref_t<_Ret, _Tp, _Arg>
- mem_fun_ref(_Ret (_Tp::*__f)(_Arg) const)
- { return const_mem_fun1_ref_t<_Ret, _Tp, _Arg>(__f); }
- #pragma GCC diagnostic pop
- /** @} */
- #if __cplusplus >= 201402L
- template<typename _Func, typename _SfinaeType, typename = __void_t<>>
- struct __has_is_transparent
- { };
- template<typename _Func, typename _SfinaeType>
- struct __has_is_transparent<_Func, _SfinaeType,
- __void_t<typename _Func::is_transparent>>
- { typedef void type; };
- template<typename _Func, typename _SfinaeType>
- using __has_is_transparent_t
- = typename __has_is_transparent<_Func, _SfinaeType>::type;
- #endif
- _GLIBCXX_END_NAMESPACE_VERSION
- } // namespace
- #if (__cplusplus < 201103L) || _GLIBCXX_USE_DEPRECATED
- # include <backward/binders.h>
- #endif
- #endif /* _STL_FUNCTION_H */
|