xref: /llvm-project/libcxx/include/__algorithm/minmax.h (revision 17e0686ab1107a1a675d8783383dedf70fa24033)
1134723edSLouis Dionne //===----------------------------------------------------------------------===//
2134723edSLouis Dionne //
3134723edSLouis Dionne // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4134723edSLouis Dionne // See https://llvm.org/LICENSE.txt for license information.
5134723edSLouis Dionne // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6134723edSLouis Dionne //
7134723edSLouis Dionne //===----------------------------------------------------------------------===//
8134723edSLouis Dionne 
9134723edSLouis Dionne #ifndef _LIBCPP___ALGORITHM_MINMAX_H
10134723edSLouis Dionne #define _LIBCPP___ALGORITHM_MINMAX_H
11134723edSLouis Dionne 
12134723edSLouis Dionne #include <__algorithm/comp.h>
1358d9ab70SNikolas Klauser #include <__algorithm/minmax_element.h>
144d81a46fSArthur O'Dwyer #include <__config>
1558d9ab70SNikolas Klauser #include <__functional/identity.h>
1658d9ab70SNikolas Klauser #include <__type_traits/is_callable.h>
17ea2206d7SArthur O'Dwyer #include <__utility/pair.h>
18134723edSLouis Dionne #include <initializer_list>
19134723edSLouis Dionne 
20134723edSLouis Dionne #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
21134723edSLouis Dionne #  pragma GCC system_header
22134723edSLouis Dionne #endif
23134723edSLouis Dionne 
24134723edSLouis Dionne _LIBCPP_BEGIN_NAMESPACE_STD
25134723edSLouis Dionne 
26134723edSLouis Dionne template <class _Tp, class _Compare>
27*17e0686aSNikolas Klauser [[__nodiscard__]] inline _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_SINCE_CXX14 pair<const _Tp&, const _Tp&>
289783f28cSLouis Dionne minmax(_LIBCPP_LIFETIMEBOUND const _Tp& __a, _LIBCPP_LIFETIMEBOUND const _Tp& __b, _Compare __comp) {
299783f28cSLouis Dionne   return __comp(__b, __a) ? pair<const _Tp&, const _Tp&>(__b, __a) : pair<const _Tp&, const _Tp&>(__a, __b);
30134723edSLouis Dionne }
31134723edSLouis Dionne 
32134723edSLouis Dionne template <class _Tp>
33*17e0686aSNikolas Klauser [[__nodiscard__]] inline _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_SINCE_CXX14 pair<const _Tp&, const _Tp&>
349783f28cSLouis Dionne minmax(_LIBCPP_LIFETIMEBOUND const _Tp& __a, _LIBCPP_LIFETIMEBOUND const _Tp& __b) {
3588632e48SNikolas Klauser   return std::minmax(__a, __b, __less<>());
36134723edSLouis Dionne }
37134723edSLouis Dionne 
38134723edSLouis Dionne #ifndef _LIBCPP_CXX03_LANG
39134723edSLouis Dionne 
40134723edSLouis Dionne template <class _Tp, class _Compare>
41*17e0686aSNikolas Klauser [[__nodiscard__]] inline _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_SINCE_CXX14 pair<_Tp, _Tp>
429783f28cSLouis Dionne minmax(initializer_list<_Tp> __t, _Compare __comp) {
4325783158SLouis Dionne   static_assert(__is_callable<_Compare&, _Tp, _Tp>::value, "The comparator has to be callable");
4458d9ab70SNikolas Klauser   __identity __proj;
4558d9ab70SNikolas Klauser   auto __ret = std::__minmax_element_impl(__t.begin(), __t.end(), __comp, __proj);
4658d9ab70SNikolas Klauser   return pair<_Tp, _Tp>(*__ret.first, *__ret.second);
47134723edSLouis Dionne }
48134723edSLouis Dionne 
49134723edSLouis Dionne template <class _Tp>
50*17e0686aSNikolas Klauser [[__nodiscard__]] inline _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_SINCE_CXX14 pair<_Tp, _Tp>
519783f28cSLouis Dionne minmax(initializer_list<_Tp> __t) {
5288632e48SNikolas Klauser   return std::minmax(__t, __less<>());
53134723edSLouis Dionne }
54134723edSLouis Dionne 
55134723edSLouis Dionne #endif // _LIBCPP_CXX03_LANG
56134723edSLouis Dionne 
57134723edSLouis Dionne _LIBCPP_END_NAMESPACE_STD
58134723edSLouis Dionne 
59134723edSLouis Dionne #endif // _LIBCPP___ALGORITHM_MINMAX_H
60