void erase(iterator position); // (1) C++03 (C++11で一旦削除)
iterator erase(iterator position); // (1) C++17
iterator erase(const_iterator position); // (2) C++11
size_type erase(const key_type& x); // (3) C++03
template <class K>
size_type erase(K&& x); // (4) C++23
void erase(iterator first, iterator last); // (5) C++03
iterator erase(const_iterator first, const_iterator last); // (5) C++11
概要
単一要素またはイテレータ範囲[first, last)
を map
コンテナから削除する。
これは削除された要素の数だけコンテナの size
を減らし、それぞれの要素のデストラクタを呼び出す。
- (1) : 指定されたイテレータが指す要素を削除する
- (2) : 指定された読み取り専用イテレータが指す要素を削除する
- (3) : 指定されたキーをもつ要素を削除する
- (4) :
key_type
と比較可能なK
型のキーを受け取って要素を削除する - (5) : 指定されたイテレータ範囲の要素をすべて削除する
パラメータ
position
:map
から削除する単一要素を指すイテレータ。iterator
はメンバ型であり、双方向イテレータとして定義される。x
:map
から削除される値のキー。key_type
はメンバ型であり、map
コンテナの中でKey
の別名として定義される。ここでKey
は 1 番目のテンプレートパラメータであり、コンテナに格納される要素のキーの型である。first, last
:map
コンテナ内の、削除されるイテレータ範囲[first, last)
を指定するイテレータ。ここでいう範囲はfirst
とlast
の間の全ての要素を含み、first
が指す要素を含むがlast
が指す要素は含まない。
戻り値
- (1) :
- C++03 : 戻り値なし
- C++17 : 削除された要素の次を指すイテレータを返す。そのような要素がない場合、
end()
を返す (要素を削除した結果としてコンテナが空になった場合)
- (2) : 削除された要素の次を指すイテレータを返す。そのような要素がない場合、
end()
を返す (要素を削除した結果としてコンテナが空になった場合) - (3), (4) : 削除された要素の数を返す
- (5) :
- C++03 : 戻り値なし
- C++11 : 削除された要素の次を指すイテレータを返す。そのような要素がない場合、
end()
を返す (要素を削除した結果としてコンテナが空になった場合)
計算量
- (1), (2) : 定数時間
- (3), (4) : コンテナの
size()
について対数時間 - (5) : コンテナの
size()
について対数時間、それに加えてfirst
とlast
の間の距離に対する線形時間
備考
- (1) : C++17で再追加されたこのオーバーロードは、それ以前の言語バージョンから使用できる可能性がある
- (1), (2) : この関数に、範囲外のイテレータ (終端イテレータを含む) を指定した場合の動作は未定義
- 削除された要素を指すイテレータ、および、参照のみ無効になる。なお、規格書に明確な記載は無いが、削除された要素を指すポインタも無効になる
-
ループ中で
map
の要素を削除するためには、C++03 までは以下のようなコードを書く必要があった。
while (it != map_object.end()) { if (条件) { map_object.erase(it++); } else { ++it; } }
- これは、
erase
で指定したイテレータが、対象となる要素が削除されることによって無効になるため、後置インクリメントit++
を使用することで要素が削除されるより先に削除対象の次の要素を指すようにするためである。 - このような書き方は C++11 以降でも依然として有効だが、
erase
が削除された次の要素を指すイテレータを返すようになったため、以下のようなコードを
map_object.erase(it++);
- 以下のように書くこともできるようになった
it = map_object.erase(it);
- これは、
例
基本的な使い方 (C++03)
#include <iostream>
#include <map>
int main()
{
std::map<int, char> m;
m.insert(std::make_pair(1,'A'));
m.insert(std::make_pair(2,'B'));
m.insert(std::make_pair(3,'C'));
std::cout << m.size() << std::endl;
m.erase(1);
std::cout << m.size() << std::endl;
m.erase(m.begin(), m.end());
std::cout << m.size() << std::endl;
return 0;
}
出力
3
2
0
イテレート中に要素を削除する (C++11)
#include <iostream>
#include <map>
int main()
{
std::map<int, char> m = {
{3, 'a'},
{1, 'b'},
{4, 'c'}
};
// イテレート中に要素削除をするような場合には、
// 範囲for文は使用できない
for (auto it = m.begin(); it != m.end();) {
// 条件一致した要素を削除する
if (it->first == 1) {
// 削除された要素の次を指すイテレータが返される。
// C++03では、erase()の戻り値を使用せず、 m.erase(it++); のように書く
it = m.erase(it);
}
// 要素削除をしない場合に、イテレータを進める
else {
++it;
}
}
for (const auto& x : m) {
std::cout << x.first << ':' << x.second << std::endl;
}
}
出力
3:a
4:c
バージョン
言語
- C++11
処理系
- Clang: ??
- GCC: ??
- ICC: ??
- Visual C++: 2012 ✅
関連項目
名前 | 説明 |
---|---|
map::clear |
全ての要素を削除する |
map::insert |
要素を挿入する |
map::find |
指定したキーで要素を探す |
参照
- N2350 Container insert/erase and iterator constness (Revision 1)
- C++11で、
erase(iterator)
をerase(const_iterator)
に変更
- C++11で、
- LWG Issue 2258.
a.erase(q1, q2)
unable to directly returnq2
- C++11では、「
a.erase(q1, q2)
の結果としてq2
が返る」という仕様だったが、const_iterator
型が渡された場合にiterator
型を返せない問題があった。そのためC++14では、q2
が指す要素を指すイテレータが返る、ということが明記された
- C++11では、「
- LWG Issue 2059. C++0x ambiguity problem with
map::erase
- C++17で、
erase(iterator)
を再追加
- C++17で、
- P2077R3 Heterogeneous erasure overloads for associative containers
- C++23で、
template <class K> erase(K&& x)
のオーバーロードが追加された
- C++23で、