• Class / Function / Type

      std::
    • Header file

      <>
    • Other / All

    最終更新日時(UTC):
    が更新

    履歴 編集

    function template
    <algorithm>

    std::lexicographical_compare

    namespace std {
      template <class InputIterator1, class InputIterator2>
      bool lexicographical_compare(
             InputIterator1 first1,
             InputIterator1 last1,
             InputIterator2 first2,
             InputIterator2 last2);   // (1) C++03
    
      template <class InputIterator1, class InputIterator2>
      constexpr bool lexicographical_compare(
             InputIterator1 first1,
             InputIterator1 last1,
             InputIterator2 first2,
             InputIterator2 last2);   // (1) C++20
    
      template <class InputIterator1, class InputIterator2, class Compare>
      bool lexicographical_compare(
             InputIterator1 first1,
             InputIterator1 last1,
             InputIterator2 first2,
             InputIterator2 last2,
             Compare comp);           // (2) C++03
    
      template <class InputIterator1, class InputIterator2, class Compare>
      constexpr bool lexicographical_compare(
             InputIterator1 first1,
             InputIterator1 last1,
             InputIterator2 first2,
             InputIterator2 last2,
             Compare comp);           // (2) C++20
    
      template <class ExecutionPolicy, class ForwardIterator1, class ForwardIterator2>
      bool lexicographical_compare(
             ExecutionPolicy&& exec,
             ForwardIterator1 first1,
             ForwardIterator1 last1,
             ForwardIterator2 first2,
             ForwardIterator2 last2); // (3) C++17
    
      template <class ExecutionPolicy, class ForwardIterator1, class ForwardIterator2,
                class Compare>
      bool lexicographical_compare(
             ExecutionPolicy&& exec,
             ForwardIterator1 first1,
             ForwardIterator1 last1,
             ForwardIterator2 first2,
             ForwardIterator2 last2,
             Compare comp);           // (4) C++17
    }
    

    概要

    2つのイテレータ範囲[first1, last1)[first2, last2)を辞書式順序で比較する。

    このアルゴリズムは、コンテナのoperator<()の実装で使用される。

    効果

    for ( ; first1 != last1 && first2 != last2 ; ++first1, ++first2) {
      if (*first1 < *first2) return true;
      if (*first2 < *first1) return false;
    }
    return first1 == last1 && first2 != last2;
    

    戻り値

    イテレータ範囲[first1, last1)が、辞書式比較でイテレータ範囲[first2, last2)より小さい場合trueを返し、そうでなければfalseを返す。

    計算量

    高々2*min((last1 - first1), (last2 - first2))回の比較が行われる。

    備考

    空のシーケンスは、空でないシーケンスより小さいと判断されるが、空のシーケンスに対しては小さくないと判断される。

    どちらかのシーケンスの横断が先に終わる場合(つまり、イテレータ範囲の長さが合わない場合)、先に終わった方が小さいと判断される。

    #include <iostream>
    #include <string>
    #include <algorithm>
    
    template <class X, class Y>
    void compare_test(const X& x, const Y& y)
    {
      if (std::lexicographical_compare(x.begin(), x.end(), y.begin(), y.end())) {
        std::cout << "x less than y" << std::endl;
      }
      else {
        std::cout << "x not less than y" << std::endl;
      }
    
      // 比較演算のカスタマイズバージョン
      if (std::lexicographical_compare(x.begin(), x.end(),
                                       y.begin(), y.end(), std::greater<char>())) {
        std::cout << "x less than y" << std::endl;
      }
      else {
        std::cout << "x not less than y" << std::endl;
      }
    }
    
    int main()
    {
      // 同じ長さの文字列比較
      {
        std::string x = "heilo";
        std::string y = "hello";
    
        std::cout << "same length string compare:" << std::endl;
        compare_test(x, y);
      }
      std::cout << std::endl;
    
      // 異なる長さの文字列比較
      {
        std::string x = "hell";
        std::string y = "hello";
    
        std::cout << "not same length string compare:" << std::endl;
        compare_test(x, y);
      }
    }
    

    出力

    same length string compare:
    x less than y
    x not less than y
    
    not same length string compare:
    x less than y
    x less than y
    

    実装例

    template <class InputIterator1, class InputIterator2>
    bool lexicographical_compare(InputIterator1 first1, InputIterator1 last1,
                                 InputIterator2 first2, InputIterator2 last2)
    {
      for (; first1 != last1 && first2 != last2; ++first1, ++first2) {
        if (*first1 < *first2)
          return true;
        if (*first2 < *first1)
          return false;
      }
      return first1 == last1 && first2 != last2;
    }
    
    template <class InputIterator1, class InputIterator2, class Compare>
    bool lexicographical_compare(InputIterator1 first1, InputIterator1 last1,
                                 InputIterator2 first2, InputIterator2 last2,
                                 Compare comp)
    {
      for (; first1 != last1 && first2 != last2; ++first1, ++first2) {
        if (comp(*first1, *first2))
          return true;
        if (comp(*first2, *first1))
          return false;
      }
      return first1 == last1 && first2 != last2;
    }
    

    参照