| 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 | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
std::ranges| Non-modifying sequence operations | |||||||||||||||||||||||||||||||||
| Modifying sequence operations | |||||||||||||||||||||||||||||||||
| Partitioning operations | |||||||||||||||||||||||||||||||||
| Sorting operations | |||||||||||||||||||||||||||||||||
| Binary search operations (on sorted ranges) | |||||||||||||||||||||||||||||||||
| Set operations (on sorted ranges) | |||||||||||||||||||||||||||||||||
| Heap operations | |||||||||||||||||||||||||||||||||
| Minimum/maximum operations | |||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||
| Permutation operations | |||||||||||||||||||||||||||||||||
| Fold operations | |||||||||||||||||||||||||||||||||
| |||||||||||||||||||||||||||||||||
| Operations on uninitialized storage | |||||||||||||||||||||||||||||||||
| Return types | |||||||||||||||||||||||||||||||||
Defined in header <algorithm> | ||
Call signature | ||
template<std::forward_iterator I,std::sentinel_for<I> S,class Proj=std::identity, std::indirect_strict_weak_order<std::projected<I, Proj>> Comp=ranges::less> | (1) | (since C++20) |
template<ranges::forward_range R,class Proj=std::identity, std::indirect_strict_weak_order< | (2) | (since C++20) |
Helper types | ||
template<class I> using minmax_element_result=ranges::min_max_result<I>; | (3) | (since C++20) |
[first, last).The function-like entities described on this page arealgorithm function objects (informally known asniebloids), that is:
Contents |
| first, last | - | the iterator-sentinel pair defining therange of elements to examine |
| r | - | therange to examine |
| comp | - | comparison to apply to the projected elements |
| proj | - | projection to apply to the elements. |
An object consisting of an iterator to the smallest element as the first element and an iterator to the greatest element as the second. Returns{first, first} if the range is empty. If several elements are equivalent to the smallest element, the iterator to the first such element is returned. If several elements are equivalent to the largest element, the iterator to the last such element is returned.
At moststd::max(std::floor(1.5*(N −1)),0.0) applications of the comparison and twice as many applications of the projection, whereN=ranges::distance(first, last).
struct minmax_element_fn{template<std::forward_iterator I,std::sentinel_for<I> S,class Proj=std::identity,std::indirect_strict_weak_order<std::projected<I, Proj>> Comp=ranges::less>constexpr ranges::minmax_element_result<I> operator()(I first, S last, Comp comp={}, Proj proj={})const{auto min= first, max= first; if(first== last||++first== last)return{min, max}; if(std::invoke(comp,std::invoke(proj,*first),std::invoke(proj,*min))) min= first;else max= first; while(++first!= last){auto i= first;if(++first== last){if(std::invoke(comp,std::invoke(proj,*i),std::invoke(proj,*min))) min= i;elseif(!(std::invoke(comp,std::invoke(proj,*i),std::invoke(proj,*max)))) max= i;break;}else{if(std::invoke(comp,std::invoke(proj,*first),std::invoke(proj,*i))){if(std::invoke(comp,std::invoke(proj,*first),std::invoke(proj,*min))) min= first;if(!(std::invoke(comp,std::invoke(proj,*i),std::invoke(proj,*max)))) max= i;}else{if(std::invoke(comp,std::invoke(proj,*i),std::invoke(proj,*min))) min= i;if(!(std::invoke(comp,std::invoke(proj,*first),std::invoke(proj,*max)))) max= first;}}}return{min, max};} template<ranges::forward_range R,class Proj=std::identity,std::indirect_strict_weak_order< std::projected<ranges::iterator_t<R>, Proj>> Comp=ranges::less>constexpr ranges::minmax_element_result<ranges::borrowed_iterator_t<R>> operator()(R&& r, Comp comp={}, Proj proj={})const{return(*this)(ranges::begin(r),ranges::end(r),std::ref(comp),std::ref(proj));}}; inlineconstexpr minmax_element_fn minmax_element; |
#include <algorithm>#include <iostream>#include <iterator>namespace ranges= std::ranges; int main(){constauto v={3,9,1,4,1,2,5,9};constauto[min, max]= ranges::minmax_element(v);std::cout<<"min = "<<*min<<", at ["<<ranges::distance(v.begin(), min)<<"]\n"<<"max = "<<*max<<", at ["<<ranges::distance(v.begin(), max)<<"]\n";}
Output:
min = 1, at [2]max = 9, at [7]
(C++20) | returns the smallest element in a range (algorithm function object)[edit] |
(C++20) | returns the largest element in a range (algorithm function object)[edit] |
(C++20) | returns the smaller and larger of two elements (algorithm function object)[edit] |
(C++11) | returns the smallest and the largest elements in a range (function template)[edit] |
