C++ std::setのerase関数で要素を削除する方法：イテレータ無効化への対策と逆引き解説

C++の標準ライブラリが提供するstd::setは、要素が常にソートされた状態で保持され、重複を許さない便利なコンテナです。

データ構造として赤黒木などの平衡二分探索木を採用しているため、要素の検索や挿入、削除が対数時間で実行できるという特徴があります。

しかし、要素の削除を行うerase関数の利用には、いくつかの注意点が存在します。

特にループ処理の中で要素を削除する際のイテレータの無効化問題は、C++初学者だけでなく中級者以上の開発者にとってもバグの原因になりやすいポイントです。

この記事では、2026年現在の最新のC++規格を考慮しつつ、std::set::eraseの基本的な使い方から、安全にループ内で要素を削除するテクニック、さらにはC++20で導入されたstd::erase_ifの活用方法までを網羅的に解説します。

パフォーマンスへの影響や実務で役立つ逆引きのパターンも紹介するため、効率的なコーディングに役立ててください。

std::set::eraseの基本的な使い方

std::setのeraseメンバー関数には、主に3つのオーバーロードが存在します。

何を基準に削除したいかによって使い分けが必要です。

値を指定して削除する

最もシンプルな方法は、削除したい要素の値を直接指定する方法です。

この関数は、削除に成功した要素の数（std::setの場合は0または1）を返します。

#include <iostream>
#include <set>

int main() {
    std::set<int> numbers = {10, 20, 30, 40, 50};

    // 値 "30" を削除
    size_t numRemoved = numbers.erase(30);

    std::cout << "削除された要素数: " << numRemoved << std::endl;
    for (int n : numbers) {
        std::cout << n << " ";
    }
    return 0;
}

削除された要素数: 1
10 20 40 50

この方法のメリットは、検索と削除を一度に行える点にあります。

内部的には対数時間 O(log n) で実行されるため、大量のデータに対しても高速です。

イテレータを指定して削除する

すでに特定の要素を指しているイテレータがある場合は、そのイテレータを渡すことで削除が可能です。

このオーバーロードは、削除した要素の次の要素を指すイテレータを返します。

#include <iostream>
#include <set>

int main() {
    std::set<int> numbers = {10, 20, 30, 40, 50};

    auto it = numbers.find(20);
    if (it != numbers.end()) {
        // イテレータを使用して削除
        auto nextIt = numbers.erase(it);
        std::cout << "次の要素: " << *nextIt << std::endl;
    }

    for (int n : numbers) {
        std::cout << n << " ";
    }
    return 0;
}

次の要素: 30
10 30 40 50

範囲を指定して削除する

2つのイテレータ（開始と終了）を渡すことで、特定の範囲の要素をまとめて削除できます。

#include <iostream>
#include <set>

int main() {
    std::set<int> numbers = {1, 2, 3, 4, 5, 6, 7};

    // 3以上6未満の要素を削除
    auto itStart = numbers.lower_bound(3);
    auto itEnd = numbers.lower_bound(6);

    numbers.erase(itStart, itEnd);

    for (int n : numbers) {
        std::cout << n << " ";
    }
    return 0;
}

1 2 6 7

イテレータ無効化への対策：ループ内での削除

std::setにおいて最も注意すべきなのは、ループの中で条件に一致した要素を削除する場合です。

eraseを実行すると、その要素を指していたイテレータは無効化されます。

無効になったイテレータをインクリメント（it++）しようとすると、未定義動作を引き起こし、プログラムがクラッシュする原因になります。

C++11以降の推奨される書き方

C++11以降、eraseメンバー関数は削除された要素の次のイテレータを返すようになりました。

これを利用するのが最も安全で直感的です。

#include <iostream>
#include <set>

int main() {
    std::set<int> data = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};

    for (auto it = data.begin(); it != data.end(); ) {
        if (*it % 2 == 0) { // 偶数なら削除
            it = data.erase(it); // 削除して次のイテレータを取得
        } else {
            ++it; // 削除しない場合は自分で進める
        }
    }

    for (int n : data) std::cout << n << " ";
    return 0;
}

1 3 5 7 9

このコードのポイントは、for文の更新式（第3項）を空にしている点です。

削除した場合はeraseの戻り値でイテレータを更新し、削除しない場合のみ++itを実行することで、全要素を正しく走査できます。

C++20以降：std::erase_ifの活用

C++20からは、より簡潔に条件削除を行うための非メンバー関数 std::erase_if が導入されました。

これを使うと、煩雑なイテレータ操作をカプセル化でき、コードの可読性が飛躍的に向上します。

#include <iostream>
#include <set>
#include <vector>

int main() {
    std::set<int> data = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10};

    // 5より大きい要素を削除
    std::erase_if(data, [](int n) { return n > 5; });

    for (int n : data) std::cout << n << " ";
    return 0;
}

1 2 3 4 5

std::erase_ifは内部的に最適な方法で削除を行うため、特別な理由がない限り、C++20以降が利用可能なプロジェクトではこの手法を第一選択にすべきです。

実践的な逆引き解説：こんな時はどう消す？

現場でよく遭遇する特定のシチュエーションに応じた削除方法を整理します。

特定の条件に合致する要素をすべて消したい

前述のstd::erase_ifがベストです。

もしC++17以前の環境であれば、手動でのループ制御が必要です。

重複のない集合から「存在する場合のみ」消したい

std::setは重複を許さないため、numbers.erase(value) を呼び出すだけで十分です。

事前にfindで存在チェックをする必要はありません。

存在しない値を渡しても、単に0が返されるだけでエラーにはなりません。

構造体やクラスを要素に持つセットから削除したい

std::setにカスタムオブジェクトを入れている場合、operator<が定義されている必要があります。

erase(value)を使用する際は、その比較演算子に基づいて検索が行われます。

struct Player {
    int id;
    std::string name;
    bool operator<(const Player& other) const {
        return id < other.id; // IDで比較
    }
};

std::set<Player> players = {{1, "Alice"}, {2, "Bob"}};
players.erase({1, ""}); // IDが1の要素が削除される

パフォーマンスと注意点

std::set::eraseの計算量は、引数の種類によって異なります。

1. イテレータを指定する場合： 償却定数時間 O(1)。
   • すでに場所がわかっているため、木構造の再構築のみで済みます。
2. 値を指定する場合： 対数時間 O(log n)。
   • 要素の検索が必要なためです。
3. 範囲を指定する場合： 要素数に対して線形時間、または対数時間。

大量の要素を1つずつループで消す場合、条件によってはセット自体を新しく作り直したほうが速いケースもあります。

しかし、std::setはノードベースのコンテナであるため、要素の削除時に他の要素のメモリコピーが発生しません。

これはstd::vectorのerase（要素の詰め替えが発生する）との大きな違いです。

メモリの解放について

eraseを呼び出すと、削除された要素が占めていたメモリは即座に解放され、デストラクタが呼び出されます。

これは動的にメモリを確保するオブジェクトを管理している場合に重要です。

2026年におけるstd::setの立ち位置

2026年現在、C++の標準ライブラリにはstd::flat_set（C++23）などの新しい選択肢も増えています。

std::flat_setは連続したメモリ領域を使用するため検索は高速ですが、途中の要素を削除する際のコストはstd::setよりも高くなります。

そのため、頻繁に挿入と削除を繰り返す用途では、依然としてstd::setが強力なツールであり続けます。

erase関数の挙動を正しく理解しておくことは、モダンなC++開発においても必須のスキルと言えるでしょう。

まとめ

std::set::eraseは、非常に強力かつ柔軟な削除手段を提供します。

値を直接指定する簡単な削除から、イテレータを用いた詳細な制御まで、用途に応じて適切に選択することが重要です。

特に重要なポイントを振り返りましょう。

• 基本： 値指定の削除は erase(value) を使う。
• 安全策： ループ内での削除はイテレータの戻り値を利用するか、C++20の std::erase_if を活用する。
• 注意： 無効化されたイテレータへのアクセスは厳禁。

C++のバージョンアップに伴い、コンテナ操作の作法はより安全で書きやすい方向へ進化しています。

2026年の開発環境においては、「いかに安全に、かつ意図が明確なコードを書くか」が重視されます。

本記事で紹介したテクニックを駆使して、バグのない効率的なプログラムを構築してください。