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_MAX_ELEMENT_H
10134723edSLouis Dionne #define _LIBCPP___ALGORITHM_MAX_ELEMENT_H
11134723edSLouis Dionne 
12134723edSLouis Dionne #include <__algorithm/comp.h>
13b07b5bd7SArthur O'Dwyer #include <__algorithm/comp_ref_type.h>
14*4d81a46fSArthur O'Dwyer #include <__config>
15134723edSLouis Dionne #include <__iterator/iterator_traits.h>
16134723edSLouis Dionne 
17134723edSLouis Dionne #if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)
18134723edSLouis Dionne #  pragma GCC system_header
19134723edSLouis Dionne #endif
20134723edSLouis Dionne 
21134723edSLouis Dionne _LIBCPP_BEGIN_NAMESPACE_STD
22134723edSLouis Dionne 
23b07b5bd7SArthur O'Dwyer template <class _Compare, class _ForwardIterator>
24b07b5bd7SArthur O'Dwyer inline _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_AFTER_CXX11 _ForwardIterator
__max_element(_ForwardIterator __first,_ForwardIterator __last,_Compare __comp)25b07b5bd7SArthur O'Dwyer __max_element(_ForwardIterator __first, _ForwardIterator __last, _Compare __comp)
26134723edSLouis Dionne {
27134723edSLouis Dionne     static_assert(__is_cpp17_forward_iterator<_ForwardIterator>::value,
28134723edSLouis Dionne         "std::max_element requires a ForwardIterator");
29134723edSLouis Dionne     if (__first != __last)
30134723edSLouis Dionne     {
31134723edSLouis Dionne         _ForwardIterator __i = __first;
32134723edSLouis Dionne         while (++__i != __last)
33134723edSLouis Dionne             if (__comp(*__first, *__i))
34134723edSLouis Dionne                 __first = __i;
35134723edSLouis Dionne     }
36134723edSLouis Dionne     return __first;
37134723edSLouis Dionne }
38134723edSLouis Dionne 
39b07b5bd7SArthur O'Dwyer template <class _ForwardIterator, class _Compare>
40b07b5bd7SArthur O'Dwyer _LIBCPP_NODISCARD_EXT inline _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_AFTER_CXX11 _ForwardIterator
max_element(_ForwardIterator __first,_ForwardIterator __last,_Compare __comp)41b07b5bd7SArthur O'Dwyer max_element(_ForwardIterator __first, _ForwardIterator __last, _Compare __comp)
42b07b5bd7SArthur O'Dwyer {
43b07b5bd7SArthur O'Dwyer     typedef typename __comp_ref_type<_Compare>::type _Comp_ref;
44b07b5bd7SArthur O'Dwyer     return _VSTD::__max_element<_Comp_ref>(__first, __last, __comp);
45b07b5bd7SArthur O'Dwyer }
46b07b5bd7SArthur O'Dwyer 
47134723edSLouis Dionne 
48134723edSLouis Dionne template <class _ForwardIterator>
49b07b5bd7SArthur O'Dwyer _LIBCPP_NODISCARD_EXT inline _LIBCPP_HIDE_FROM_ABI _LIBCPP_CONSTEXPR_AFTER_CXX11 _ForwardIterator
max_element(_ForwardIterator __first,_ForwardIterator __last)50134723edSLouis Dionne max_element(_ForwardIterator __first, _ForwardIterator __last)
51134723edSLouis Dionne {
52134723edSLouis Dionne     return _VSTD::max_element(__first, __last,
53134723edSLouis Dionne               __less<typename iterator_traits<_ForwardIterator>::value_type>());
54134723edSLouis Dionne }
55134723edSLouis Dionne 
56134723edSLouis Dionne _LIBCPP_END_NAMESPACE_STD
57134723edSLouis Dionne 
58134723edSLouis Dionne #endif // _LIBCPP___ALGORITHM_MAX_ELEMENT_H
59