Movatterモバイル変換


[0]ホーム

URL:


cppreference.com
Namespaces
Variants
    Actions

      std::lexicographical_compare

      From cppreference.com
      <cpp‎ |algorithm
       
       
      Algorithm library
      Constrained algorithms and algorithms on ranges(C++20)
      Constrained algorithms, e.g.ranges::copy,ranges::sort, ...
      Execution policies(C++17)
      Sorting and related operations
      Partitioning operations
      Sorting operations
      Binary search operations
      (on partitioned ranges)
      Set operations (on sorted ranges)
      Merge operations (on sorted ranges)
      Heap operations
      Minimum/maximum operations
      (C++11)
      (C++17)
      Lexicographical comparison operations
      lexicographical_compare
      Permutation operations
      C library
      Numeric operations
      Operations on uninitialized memory
       
      Defined in header<algorithm>
      template<class InputIt1,class InputIt2>

      bool lexicographical_compare( InputIt1 first1, InputIt1 last1,

                                    InputIt2 first2, InputIt2 last2);
      (1)(constexpr since C++20)
      template<class ExecutionPolicy,

               class ForwardIt1,class ForwardIt2>
      bool lexicographical_compare( ExecutionPolicy&& policy,
                                    ForwardIt1 first1, ForwardIt1 last1,

                                    ForwardIt2 first2, ForwardIt2 last2);
      (2)(since C++17)
      template<class InputIt1,class InputIt2,class Compare>

      bool lexicographical_compare( InputIt1 first1, InputIt1 last1,
                                    InputIt2 first2, InputIt2 last2,

                                    Compare comp);
      (3)(constexpr since C++20)
      template<class ExecutionPolicy,

               class ForwardIt1,class ForwardIt2,class Compare>
      bool lexicographical_compare( ExecutionPolicy&& policy,
                                    ForwardIt1 first1, ForwardIt1 last1,
                                    ForwardIt2 first2, ForwardIt2 last2,

                                    Compare comp);
      (4)(since C++17)

      Checks if the first range[first1last1) is lexicographicallyless than the second range[first2last2).

      1) Elements are compared usingoperator<.
      3) Elements are compared using the given binary comparison functioncomp.
      2,4) Same as(1,3), but executed according topolicy. These overloads participate in overload resolution only if all following conditions are satisfied:

      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:

      • Two ranges are compared element by element.
      • The first mismatching element defines which range is lexicographicallyless orgreater than the other.
      • If one range is a prefix of another, the shorter range is lexicographicallyless than the other.
      • If two ranges have equivalent elements and are of the same length, then the ranges are lexicographicallyequal.
      • An empty range is lexicographicallyless than any non-empty range.
      • Two empty ranges are lexicographicallyequal.

      Contents

      [edit]Parameters

      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)Type1 andType2 regardless ofvalue category (thus,Type1& is not allowed, nor isType1 unless forType1 a move is equivalent to a copy(since C++11)).
      The typesType1 andType2 must be such that objects of typesInputIt1 andInputIt2 can be dereferenced and then implicitly converted to bothType1 andType2.

      Type requirements
      -
      InputIt1, InputIt2 must meet the requirements ofLegacyInputIterator.
      -
      ForwardIt1, ForwardIt2 must meet the requirements ofLegacyForwardIterator.
      -
      Compare must meet the requirements ofCompare.

      [edit]Return value

      true if the first range is lexicographicallyless than the second, otherwisefalse.

      [edit]Complexity

      Given\(\scriptsize N_1\)N1 asstd::distance(first1, last1) and\(\scriptsize N_2\)N2 asstd::distance(first2, last2):

      1,2) At most\(\scriptsize 2\min(N_1,N_2)\)2min(1,N2) comparisons usingoperator<.
      3,4) At most\(\scriptsize 2\min(N_1,N_2)\)2min(N1,N2) applications of the comparison functioncomp.

      [edit]Exceptions

      The overloads with a template parameter namedExecutionPolicy report errors as follows:

      • If execution of a function invoked as part of the algorithm throws an exception andExecutionPolicy is one of thestandard policies,std::terminate is called. For any otherExecutionPolicy, the behavior is implementation-defined.
      • If the algorithm fails to allocate memory,std::bad_alloc is thrown.

      [edit]Possible implementation

      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);}

      [edit]Example

      Run this code
      #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

      [edit]Defect reports

      The following behavior-changing defect reports were applied retroactively to previously published C++ standards.

      DRApplied toBehavior as publishedCorrect behavior
      LWG 142C++98at 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 1205C++98the results of lexicographical comparisons involving empty ranges were unclearmade clear

      [edit]See also

      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]
      Retrieved from "https://en.cppreference.com/mwiki/index.php?title=cpp/algorithm/lexicographical_compare&oldid=180539"

      [8]ページ先頭

      ©2009-2025 Movatter.jp