// <algorithm> 
// 等价比较(1)
template <class InputIterator1,
    class InputIterator2>
    bool lexicographical_compare (
        InputIterator1 first1,
        InputIterator1 last1,
        InputIterator2 first2,
        InputIterator2 last2);
// 自定义谓词比较(2)    
template <class InputIterator1,
    class InputIterator2,
    class Compare>
    bool lexicographical_compare (
        InputIterator1 first1,
        InputIterator1 last1,
        InputIterator2 first2,
        InputIterator2 last2,
        Compare comp);

比较两个序列的字典序。

该函数等价于:

template<class _InIt1,
class _InIt2,
class _Pr> inline
    bool _Lexicographical_compare(_InIt1 _First1, _InIt1 _Last1,
    _InIt2 _First2, _InIt2 _Last2, _Pr _Pred)
{	// order [_First1, _Last1) vs. [_First2, _Last2) using _Pred
    for (; _First1 != _Last1 && _First2 != _Last2; ++_First1, ++_First2)
        if (_DEBUG_LT_PRED(_Pred, *_First1, *_First2))
            return (true);
        else if (_Pred(*_First2, *_First1))
            return (false);
    return (_First1 == _Last1 && _First2 != _Last2);
}

或(针对 C 型字符串的优化):

inline bool _Lexicographical_compare(
    const unsigned char *_First1, const unsigned char *_Last1,
    const unsigned char *_First2, const unsigned char *_Last2)
{	// order [_First1, _Last1) vs. [_First2, _Last2), for unsigned char
    ptrdiff_t _Num1 = _Last1 - _First1;
    ptrdiff_t _Num2 = _Last2 - _First2;
    int _Ans = _CSTD memcmp(_First1, _First2, _Num1 < _Num2 ? _Num1 : _Num2);
    return (_Ans < 0 || (_Ans == 0 && _Num1 < _Num2));
}
  • first1last1

    分别指向一个序列中初始及末尾位置的输入迭代器(Input iterators)。这个范围即 [first1,last1) ,包括 first1 到 last1 之间的所有元素,包括 first1 指向的元素,但不包括 last1 指向的元素。

    first2last2

    分别指向一个序列中初始及末尾位置的输入迭代器。这个范围即 [first2,last2) ,包括 first2 到 last2 之间的所有元素,包括 first2 指向的元素,但不包括 last2 指向的元素。

    comp

    二元谓词(Binary)函数,以两个元素为参数,然后返回一个可转换成 bool 类型的值。

    其返回值表明按所指定的严格弱序排序(Strict weak ordering)时,第一个参数所传进来的元素是否在第二个参数所传进来的元素前面。

    该函数不能修改其参数。

    可以是函数指针(Function pointer)类型或函数对象(Function object)类型。

  • 如果第一个范围以字典序(Lexicographically)相比小于第二个,则返回 true

    否则返回 false(包括两个范围相等的情况)。

  • 参照 std::sort 以获得与自定义函数谓词、函数对象谓词、对象数组、lambda 表达式 C++11、初始化列表 std::initializer_list C++11 等相关的例子。

    例 1

    #include <iostream>
    #include <algorithm>
    #include <iterator>
    #include <string>
    
    namespace ClassFoo{
        void LexicographicalCompare_1() {
            std::string foo = "classfoo.com";
            std::string bar = "classfoo.bar";
            bool IfLessThan = std::lexicographical_compare(
                foo.begin(), foo.end(), bar.begin(), bar.end());
            // 字符串 foo 是否小于字符串 bar
            std::cout << std::boolalpha << IfLessThan << std::endl;
        }
    }
    int main()
    {
        ClassFoo::LexicographicalCompare_1();
        return 0;
    }

    false

  • 复杂度

    O(2*min(m , n))m 等值于 std::distance(first1,last1)n 等值于 std::distance(first2,last2)

    数据争用相关

    访问在范围 [first1,last1) 、 [first2,last2) 中的元素。

    异常安全性相关

    如果元素比较或操作某个迭代器抛异常,该函数才会抛异常。

    注意 无效参数将导致未定义行为(Undefined behavior)