Menu

C++のソート: std::sort、カスタム比較関数、安定ソート

std::sortでC++のベクタや配列をソートする方法: デフォルトの順序、カスタム比較関数、構造体をフィールドでソートする方法、そしてクラッシュを招く狭義の弱順序の落とし穴。

このページのコードはエディタで実行できます - 編集してすぐに結果を確認できます。

ソートもまた一つのアルゴリズムにすぎない

前のページでは、標準ライブラリがイテレータを通じて任意の範囲に対して動作する、すぐに使えるアルゴリズムを備えていることを見ました。ソートはその中でも最も頻繁に使うものであり、独立したページを設けているのは、いくつかの鋭い落とし穴があるからです。カスタムの順序、安定性、そして破ると間違った答えではなく未定義動作を返してくるルールです。

主役は<algorithm>std::sortです。範囲の先頭と末尾を渡すと、要素をその場で昇順に並べ替えます:

コピーは作られません。ベクタそのものが並べ替えられます。内部的にはstd::sortは通常イントロソート(ヒープソートにフォールバックするクイックソート)であり、平均でO(n log n)を実現します。これはほぼ常に、自前のソートを書くよりも速く、はるかにバグが入りにくいです。

素のC配列に対しても動作します。範囲をポインタで記述するだけです:

比較関数によるカスタム順序

デフォルトではstd::sortoperator<で要素を順序付けます。別の順序でソートするには、第3引数を渡します。2つの要素を受け取り、最初の要素が2番目よりに来るべきならtrueを返す比較関数です。

ラムダが自然な選択です。降順は単にa > bです:

組み込み型に対する単純な降順というよくあるケースのために、ライブラリは<functional>に既製の比較関数greater<T>()まで用意しています:

#include <functional>
sort(nums.begin(), nums.end(), greater<int>());  // a > b と同じ

比較関数は、値そのもの以外の基準でソートする方法でもあります。たとえば、文字列をアルファベット順ではなく長さでソートする場合です:

数バイトより大きいもの(stringなど)については、比較関数のパラメータをconst&で受け取りましょう。比較のたびに各要素をコピーするのは完全な無駄です。

構造体をフィールドでソートする

実際のプログラムでは、通常、構造体のコレクションをそのフィールドの一つでソートします。比較関数は、注目しているフィールドにアクセスするだけです。ここでは人々を年齢順に、若い順にソートします:

LinusとDennisがどちらも25歳であることに注目してください。ここでは元の相対順序のまま出力されましたが、std::sortはそれを保証しません。等しい要素の相対順序が重要な場合は、それを保持するstd::stable_sortを使います(わずかな性能コストはかかります):

意図的にタイ(同点)を解決するには(たとえば年齢でソートし、その次に名前のアルファベット順にする)、主キーが等しいときだけ副キーを比較します。std::tieを使えばこれがすっきり書けます:

狭義の弱順序の落とし穴

これはC++のソートにおいて最も危険なミスです。なぜなら、間違った答えを返すのではなく、未定義動作を返すからです。それはしばしばクラッシュや範囲外読み取りを意味します。

std::sortは、比較関数が狭義の弱順序を定義することを要求します。実用的なルール: 任意の要素xについて**comp(x, x)falseでなければならない**。言い換えれば、ある要素は決して自分自身より「前」にはなりません。それこそが<>が与えてくれるもので、<=>=が破ってしまうものです:

// バグ: a == b のとき true を返し、狭義の弱順序に違反する。
sort(v.begin(), v.end(), [](int a, int b) {
    return a <= b;   // 未定義動作 - 一部の入力でクラッシュすることがある
});

<=を使うと、比較関数は5が別の5より前に来ると主張することになり、これは矛盾しています。するとstd::sortはポインタを範囲の末尾を超えて進めてしまうことがあります。小さな入力では一見動いてしまうことがあり、それがこのバグを恐ろしいものにしています。テストを通過しても本番でクラッシュしかねないのです。修正は単純に<です:

2つ目の典型的な落とし穴: ソートは、その範囲を指しているものすべてを無効にします。 ソート前に保存しておいたイテレータ、ポインタ、インデックスは、要素が移動したため、後では同じ論理的な要素を指さなくなります。必要な位置はソートのに求め直してください。決して前ではありません。

範囲の一部だけをソートする

ときには全部をソートする必要はなく、上位のいくつかだけが欲しいことがあります。先頭の3つを読むためにベクタ全体をソートするのは無駄です。std::partial_sortは要求した要素だけを並べ、残りは未規定の順序のまま残すため、より低コストです:

そして、ある位置に来るはずの唯一の要素(中央値など)だけが必要なら、std::nth_elementはさらに少ない作業で済みます。正しい要素をそのインデックスに配置し、それより小さいものはすべて前に、大きいものはすべて後ろに置きます。すべて平均O(n)です。

「完全にソート」が問題が実際に必要とする以上である場合は、これらを使いましょう。大きなデータでは実際の時間を節約できます。

次へ: テンプレート

同じstd::sortintstring、そしてあなた自身のPerson構造体を扱えて、greater<int>()が同じくらい簡単にgreater<string>()にもなり得たことに気づきましたか? その汎用性は魔法ではありません。それがテンプレートであり、呼び出し側が差し込む任意の型に対して一つのコードを動作させる仕組みです。次のページでは、あなた自身のテンプレート化された関数やクラスの書き方を見ていきます。そうすれば、あなたのコードも、これまで使ってきたアルゴリズムと同じくらい型に依存しないものにできます。

よくある質問

C++でベクタをソートするにはどうすればよいですか?

<algorithm>をインクルードしてsort(v.begin(), v.end())を呼び出します。これはoperator<を使って要素をその場で昇順にソートします。配列をソートするには、arrarr + n(またはbegin(arr) / end(arr))を渡します。

C++で降順にソートするにはどうすればよいですか?

a > bを返す比較関数を渡します: sort(v.begin(), v.end(), [](int a, int b){ return a > b; });<functional>にある組み込みのsort(v.begin(), v.end(), greater<int>());を使うこともできます。

なぜ私の比較関数はC++でstd::sortをクラッシュさせるのですか?

比較関数は**狭義の弱順序(strict weak ordering)**でなければなりません。つまり、両方の引数が等しいときはfalseを返す必要があります。<=>=を使うと(等しい要素に対してtrueを返すため)このルールが破られ、未定義動作になります。std::sortが範囲外を読み取ってクラッシュすることがあります。必ず<または>で比較してください。

Coddy programming languages illustration

Coddyでコードを学ぼう

始める