namespace std {
template <class ForwardIterator>
ForwardIterator
is_sorted_until(ForwardIterator first,
ForwardIterator last); // (1) C++11
template <class ForwardIterator>
constexpr ForwardIterator
is_sorted_until(ForwardIterator first,
ForwardIterator last); // (1) C++20
template <class ForwardIterator, class Compare>
ForwardIterator
is_sorted_until(ForwardIterator first,
ForwardIterator last,
Compare comp); // (2) C++11
template <class ForwardIterator, class Compare>
constexpr ForwardIterator
is_sorted_until(ForwardIterator first,
ForwardIterator last,
Compare comp); // (2) C++20
template <class ExecutionPolicy, class ForwardIterator>
ForwardIterator
is_sorted_until(ExecutionPolicy&& exec,
ForwardIterator first,
ForwardIterator last); // (3) C++17
template <class ExecutionPolicy, class ForwardIterator, class Compare>
ForwardIterator
is_sorted_until(ExecutionPolicy&& exec,
ForwardIterator first,
ForwardIterator last,
Compare comp); // (4) C++17
}
概要
イテレータ範囲[first, last)
がソート済みか判定し、ソートされていない位置のイテレータを取得する
戻り値
distance(first, last) < 2
なら last
を返す。そうでない場合、イテレータ範囲[first,last]
の中でソートされているイテレータ範囲を [first,i)
としたとき、そのイテレータ i
を返す。
計算量
線形時間
例
#include <iostream>
#include <vector>
#include <algorithm>
int main()
{
std::vector<int> v = {3, 1, 4, 2, 5};
std::cout << std::boolalpha;
std::cout << "before: is sorted? "
<< (std::is_sorted_until(v.begin(), v.end()) == v.end()) << std::endl;
std::sort(v.begin(), v.end());
std::cout << " after: is sorted? "
<< (std::is_sorted_until(v.begin(), v.end()) == v.end()) << std::endl;
}
出力
before: is sorted? false
after: is sorted? true
実装例
template <class ForwardIterator>
ForwardIterator is_sorted_until(ForwardIterator first, ForwardIterator last)
{
auto it = first;
if (it == last || ++it == last)
return last;
while (it != last && *first < *it)
++first, ++it;
return it;
}
バージョン
言語
- C++11
処理系
- Clang: ??
- GCC: 4.7.0 ✅
- ICC: ??
- Visual C++: 2010 ✅, 2012 ✅, 2013 ✅, 2015 ✅