sort.md

sort

• algorithm[meta header]
• std[meta namespace]
• function template[meta id-type]

namespace std {
  template <class RandomAccessIterator>
  void sort(RandomAccessIterator first,
            RandomAccessIterator last);           // (1) C++03

  template <class RandomAccessIterator>
  constexpr void sort(RandomAccessIterator first,
                      RandomAccessIterator last); // (1) C++20

  template <class RandomAccessIterator, class Compare>
  void sort(RandomAccessIterator first,
            RandomAccessIterator last,
            Compare comp);                        // (2) C++03

  template <class RandomAccessIterator, class Compare>
  constexpr void sort(RandomAccessIterator first,
                      RandomAccessIterator last,
                      Compare comp);              // (2) C++20

  template <class ExecutionPolicy, class RandomAccessIterator>
  void sort(ExecutionPolicy&& exec,
            RandomAccessIterator first,
            RandomAccessIterator last);           // (3) C++17

  template <class ExecutionPolicy, class RandomAccessIterator, class Compare>
  void sort(ExecutionPolicy&& exec,
            RandomAccessIterator first,
            RandomAccessIterator last,
            Compare comp);                        // (4) C++17
}

概要

範囲を並べ替える

要件

RandomAccessIterator は ValueSwappable の要求を満たしている必要がある。*first の型は MoveConstructible と MoveAssignable の要件を満たしている必要がある。

効果

[first,last) の範囲をソートする

戻り値

なし

計算量

• C++03: 平均して約N log N (N == last - first) 回の比較
• C++11以降: N log N (N == last - first) 回の比較

備考

• この関数には、特定のアルゴリズムで実装すべきという規定はない
• 実装のアルゴリズムとしては、クイックソートの改良版であるイントロソートが使われることが多い
• クイックソートは平均計算量がO(N Log N)だが、最悪計算量がO(n²)である。そのため、C++03の計算量要件には合致するが、C++11の要件には合致しない

例

#include <iostream>
#include <vector>
#include <algorithm>

int main()
{
  std::vector<int> v = {3, 1, 4, 2, 5};

  // 並べ替える
  std::sort(v.begin(), v.end());

  std::for_each(v.begin(), v.end(), [](int x) {
    std::cout << x << std::endl;
  });
}

• std::sort[color ff0000]

出力

1
2
3
4
5

参照

• LWG Issue 713. sort() complexity is too lax
  • C++11で、イントロソートアルゴリズムを考慮して、計算量の規定が見直された経緯のレポート
• P0879R0 Constexpr for swap and swap related functions