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 InputIt1,class InputIt2> bool lexicographical_compare( InputIt1 first1, InputIt1 last1, | (1) | (constexpr since C++20) |
template<class ExecutionPolicy, class ForwardIt1,class ForwardIt2> | (2) | (since C++17) |
template<class InputIt1,class InputIt2,class Compare> bool lexicographical_compare( InputIt1 first1, InputIt1 last1, | (3) | (constexpr since C++20) |
template<class ExecutionPolicy, class ForwardIt1,class ForwardIt2,class Compare> | (4) | (since C++17) |
Checks if the first range[
first1,
last1)
is lexicographicallyless than the second range[
first2,
last2)
.
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) |
Lexicographical comparison is an operation with the following properties:
Contents |
first1, last1 | - | the pair of iterators defining the firstrange of elements to examine |
first2, last2 | - | the pair of iterators defining the secondrange 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 | ||
-InputIt1, InputIt2 must meet the requirements ofLegacyInputIterator. | ||
-ForwardIt1, ForwardIt2 must meet the requirements ofLegacyForwardIterator. | ||
-Compare must meet the requirements ofCompare. |
true if the first range is lexicographicallyless than the second, otherwisefalse.
Given\(\scriptsize N_1\)N1 asstd::distance(first1, last1) and\(\scriptsize N_2\)N2 asstd::distance(first2, last2):
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.lexicographical_compare (1) |
---|
template<class InputIt1,class InputIt2>bool lexicographical_compare(InputIt1 first1, InputIt1 last1, InputIt2 first2, InputIt2 last2){for(;(first1!= last1)&&(first2!= last2);++first1,(void)++first2){if(*first1<*first2)returntrue;if(*first2<*first1)returnfalse;} return(first1== last1)&&(first2!= last2);} |
lexicographical_compare (3) |
template<class InputIt1,class InputIt2,class Compare>bool lexicographical_compare(InputIt1 first1, InputIt1 last1, InputIt2 first2, InputIt2 last2, Compare comp){for(;(first1!= last1)&&(first2!= last2);++first1,(void)++first2){if(comp(*first1,*first2))returntrue;if(comp(*first2,*first1))returnfalse;} return(first1== last1)&&(first2!= last2);} |
#include <algorithm>#include <iostream>#include <random>#include <vector> void print(conststd::vector<char>& v,auto suffix){for(char c: v)std::cout<< c<<' ';std::cout<< suffix;} int main(){std::vector<char> v1{'a','b','c','d'};std::vector<char> v2{'a','b','c','d'}; for(std::mt19937 g{std::random_device{}()};!std::lexicographical_compare(v1.begin(), v1.end(), v2.begin(), v2.end());){ print(v1,">= "); print(v2,'\n'); std::shuffle(v1.begin(), v1.end(), g);std::shuffle(v2.begin(), v2.end(), g);} print(v1,"< "); print(v2,'\n');}
Possible output:
a b c d >= a b c d d a b c >= c b d a b d a c >= a d c b a c d b < c d a b
The following behavior-changing defect reports were applied retroactively to previously published C++ standards.
DR | Applied to | Behavior as published | Correct behavior |
---|---|---|---|
LWG 142 | C++98 | at most\(\scriptsize \min(N_1,N_2)\)min(N1,N2) comparisons were allowed, but that is not possible (equivalence is determined by 2 comparisons) | doubled the limit |
LWG 1205 | C++98 | the results of lexicographical comparisons involving empty ranges were unclear | made clear |
determines if two sets of elements are the same (function template)[edit] | |
compares two ranges using three-way comparison (function template)[edit] | |
returnstrue if one range is lexicographically less than another (algorithm function object)[edit] |