Constrained algorithms and algorithms on ranges(C++20) | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Constrained algorithms, e.g.ranges::copy,ranges::sort, ... | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Execution policies(C++17) | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Numeric operations | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Operations on uninitialized memory | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Defined in header <algorithm> | ||
template<class ForwardIt> ForwardIt max_element( ForwardIt first, ForwardIt last); | (1) | (constexpr since C++17) |
template<class ExecutionPolicy,class ForwardIt> ForwardIt max_element( ExecutionPolicy&& policy, | (2) | (since C++17) |
template<class ForwardIt,class Compare> ForwardIt max_element( ForwardIt first, ForwardIt last, | (3) | (constexpr since C++17) |
template<class ExecutionPolicy,class ForwardIt,class Compare> ForwardIt max_element( ExecutionPolicy&& policy, | (4) | (since C++17) |
Finds the greatest element in the range[
first,
last)
.
std::is_execution_policy_v<std::decay_t<ExecutionPolicy>> istrue. | (until C++20) |
std::is_execution_policy_v<std::remove_cvref_t<ExecutionPolicy>> istrue. | (since C++20) |
Contents |
first, last | - | the pair of iterators defining therange of elements to examine |
policy | - | theexecution policy to use |
comp | - | comparison function object (i.e. an object that satisfies the requirements ofCompare) which returnstrue if the first argument isless than the second. The signature of the comparison function should be equivalent to the following: bool cmp(const Type1& a,const Type2& b); While the signature does not need to haveconst&, the function must not modify the objects passed to it and must be able to accept all values of type (possibly const) |
Type requirements | ||
-ForwardIt must meet the requirements ofLegacyForwardIterator. |
Iterator to the greatest element in the range[
first,
last)
. If several elements in the range are equivalent to the greatest element, returns the iterator to the first such element. Returnslast if the range is empty.
Given\(\scriptsize N\)N asstd::distance(first, last):
The overloads with a template parameter namedExecutionPolicy
report errors as follows:
ExecutionPolicy
is one of thestandard policies,std::terminate is called. For any otherExecutionPolicy
, the behavior is implementation-defined.max_element (1) |
---|
template<class ForwardIt>ForwardIt max_element(ForwardIt first, ForwardIt last){if(first== last)return last; ForwardIt largest= first; while(++first!= last)if(*largest<*first) largest= first; return largest;} |
max_element (3) |
template<class ForwardIt,class Compare>ForwardIt max_element(ForwardIt first, ForwardIt last, Compare comp){if(first== last)return last; ForwardIt largest= first; while(++first!= last)if(comp(*largest,*first)) largest= first; return largest;} |
#include <algorithm>#include <cmath>#include <iostream>#include <vector> int main(){std::vector<int> v{3,1,-14,1,5,9,-14,9};std::vector<int>::iterator result; result= std::max_element(v.begin(), v.end());std::cout<<"Max element found at index "<<std::distance(v.begin(), result)<<" has value "<<*result<<'\n'; result= std::max_element(v.begin(), v.end(),[](int a,int b){return std::abs(a)< std::abs(b);});std::cout<<"Absolute max element found at index "<<std::distance(v.begin(), result)<<" has value "<<*result<<'\n';}
Output:
Max element found at index 5 has value 9Absolute max element found at index 2 has value -14
The following behavior-changing defect reports were applied retroactively to previously published C++ standards.
DR | Applied to | Behavior as published | Correct behavior |
---|---|---|---|
LWG 212 | C++98 | the return value was not specified if[ first, last) is empty | returnslast in this case |
LWG 2150 | C++98 | the iterator to the first non-smallest element was returned | corrected the return value |
returns the smallest element in a range (function template)[edit] | |
(C++11) | returns the smallest and the largest elements in a range (function template)[edit] |
returns the greater of the given values (function template)[edit] | |
(C++20) | returns the largest element in a range (algorithm function object)[edit] |