C++11

// <algorithm> 
// 默认(1)    
template <class ForwardIterator>
    ForwardIterator is_sorted_until (
        ForwardIterator first, 
        ForwardIterator last);
// 自定义(2)    
template <class ForwardIterator>
    ForwardIterator is_sorted_until (
        ForwardIterator first, 
        ForwardIterator last,
        Compare comp);

返回一个迭代器,其指向第一个不按给定顺序排序的元素。

该函数等价于:

template<class _FwdIt,
class _Pr> inline
_FwdIt _Is_sorted_until(_FwdIt _First, _FwdIt _Last, _Pr _Pred)
{	// find extent of range that is ordered by predicate
	if (_First != _Last)
		for (_FwdIt _Next = _First; ++_Next != _Last; ++_First)
			if (_DEBUG_LT_PRED(_Pred, *_Next, *_First))
				return (_Next);
	return (_Last);
}
  • firstlast

    分别指向序列中初始及末尾位置的正向迭代器(Forward Iterators)。这个范围即 [first,last) ,包括 first 到 last 间的所有元素,包括 first 指向的元素,但不包括 last 指向的元素。

    comp

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

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

    该函数不能修改其参数。

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

  • 返回一个迭代器,其指向第一个不按给定顺序排序的元素。

    如果所有元素已按给定顺序排列,则返回 last

    如果范围中元素个数小于 2,则返回 last

  • 如果希望了解与自定义函数谓词、函数对象谓词、排序对象数组、lambda C++11 表达式、初始化列表 std::initializer_list 等相关的例子,请同时参照 std::sort

    例 1

    #include <iostream>
    #include <algorithm>
    #include <iterator>
    #include <vector>
    
    #define CLASSFOO_VECTOR(type, name, ...) \
    static const type name##_a[] = __VA_ARGS__; \
    std::vector<type> name(name##_a, name##_a + sizeof(name##_a) / sizeof(*name##_a))
    
    namespace ClassFoo{
        void IsSortedUntil_1() {
            CLASSFOO_VECTOR(int, BigVector1, { 8, 23, -5, 7, 29, 0, 7, 7, -7, 1, -1 });
    
            std::vector<int>::iterator it = std::is_sorted_until(
                std::begin(BigVector1),
                std::end(BigVector1)
                );
            std::cout << "返回第一个不按升序排序的元素:" << *it << std::endl;
    
            // 使用 operator< 排序前 5 个元素
            std::partial_sort(
                std::begin(BigVector1),
                std::begin(BigVector1) + 5,
                std::end(BigVector1)
                );
    
            it = std::is_sorted_until(
                std::begin(BigVector1),
                std::end(BigVector1)
                );
            std::cout << "返回第一个不按升序排序的元素:" << *it << std::endl;
    
            // 输出结果
            std::copy(
                BigVector1.begin(),
                BigVector1.end(),
                std::ostream_iterator<int>(std::cout, " "));
            std::cout << std::endl;
        }
    }
    int main()
    {
        ClassFoo::IsSortedUntil_1();
        return 0;
    }

    返回第一个不按升序排序的元素:-5
    返回第一个不按升序排序的元素:23
    -7 -5 -1 0 1 29 23 8 7 7 7 

  • 复杂度

    O(n)n 等值为 std::distance(first,last)

    数据争用相关

    范围 [first,last) 中的部分(或所有)元素被访问过,且各个元素最多只被访问过一次。

    异常安全性相关

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

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