web-dev-qa-db-ja.com

繰り返しながらマップから削除する方法は？

繰り返しながらマップから削除するにはどうすればよいですか？好む：

std::map<K, V> map;
for(auto i : map)
    if(needs_removing(i))
        // remove it from the map

map.eraseを使用すると、反復子が無効になります

c++mapc++11
151
Dani

標準の連想コンテナ消去イディオム：

for (auto it = m.cbegin(); it != m.cend() /* not hoisted */; /* no increment */)
{
  if (must_delete)
  {
    m.erase(it++);    // or "it = m.erase(it)" since C++11
  }
  else
  {
    ++it;
  }
}

コンテナ自体を変更しているため、ここでは通常のforループが本当に必要であることに注意してください。範囲ベースのループは、要素のみに注意を払う状況のために厳密に予約する必要があります。 RBFLの構文は、ループ本体内のコンテナーを公開しないことでこれを明確にします。

編集 C++ 11より前では、const-iteratorを消去できませんでした。そこで言う必要があります：

for (std::map<K,V>::iterator it = m.begin(); it != m.end(); ) { /* ... */ }

コンテナから要素を消去することは、要素の整合性と矛盾しません。類推により、それは常にdelete pに対して完全に正当でした。ここで、pは定数へのポインターです。安定性は寿命を制限しません。 C++のconst値は、引き続き既存のものを停止できます。

246
Kerrek SB

私は個人的には、このパターンが少し明確でシンプルであるのを好みますが、追加の変数が必要です。

for (auto it = m.cbegin(), next_it = it; it != m.cend(); it = next_it)
{
  ++next_it;
  if (must_delete)
  {
    m.erase(it);
  }
}

このアプローチの利点：

  • forループのインクリメンターは、インクリメンターとして意味があります。
  • 消去操作は単純な消去であり、インクリメントロジックと混同されることはありません。
  • ループ本体の最初の行の後、itとnext_itの意味は反復を通じて固定されたままであるため、意図したとおりに動作するかどうかを頭を悩ませることなく、それらを参照するステートメントを簡単に追加できます（ただし、もちろん、itを消去した後は使用できません）。
19
D Coetzee

要するに、「繰り返しながらマップから削除するにはどうすればよいですか？」

  • 古いマップ実装では：できません
  • 新しいマップ実装で：ほとんど@KerrekSBが示唆したように。しかし、彼が投稿したものには構文上の問題がいくつかあります。

GCCマップimplから（注GXX_EXPERIMENTAL_CXX0X）：

#ifdef __GXX_EXPERIMENTAL_CXX0X__
      // _GLIBCXX_RESOLVE_LIB_DEFECTS
      // DR 130. Associative erase should return an iterator.
      /**
       *  @brief Erases an element from a %map.
       *  @param  position  An iterator pointing to the element to be erased.
       *  @return An iterator pointing to the element immediately following
       *          @a position prior to the element being erased. If no such 
       *          element exists, end() is returned.
       *
       *  This function erases an element, pointed to by the given
       *  iterator, from a %map.  Note that this function only erases
       *  the element, and that if the element is itself a pointer,
       *  the pointed-to memory is not touched in any way.  Managing
       *  the pointer is the user's responsibility.
       */
      iterator
      erase(iterator __position)
      { return _M_t.erase(__position); }
#else
      /**
       *  @brief Erases an element from a %map.
       *  @param  position  An iterator pointing to the element to be erased.
       *
       *  This function erases an element, pointed to by the given
       *  iterator, from a %map.  Note that this function only erases
       *  the element, and that if the element is itself a pointer,
       *  the pointed-to memory is not touched in any way.  Managing
       *  the pointer is the user's responsibility.
       */
      void
      erase(iterator __position)
      { _M_t.erase(__position); }
#endif

古いスタイルと新しいスタイルの例：

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

using namespace std;
typedef map<int, int> t_myMap;
typedef vector<t_myMap::key_type>  t_myVec;

int main() {

    cout << "main() ENTRY" << endl;

    t_myMap mi;
    mi.insert(t_myMap::value_type(1,1));
    mi.insert(t_myMap::value_type(2,1));
    mi.insert(t_myMap::value_type(3,1));
    mi.insert(t_myMap::value_type(4,1));
    mi.insert(t_myMap::value_type(5,1));
    mi.insert(t_myMap::value_type(6,1));

    cout << "Init" << endl;
    for(t_myMap::const_iterator i = mi.begin(); i != mi.end(); i++)
        cout << '\t' << i->first << '-' << i->second << endl;

    t_myVec markedForDeath;

    for (t_myMap::const_iterator it = mi.begin(); it != mi.end() ; it++)
        if (it->first > 2 && it->first < 5)
            markedForDeath.Push_back(it->first);

    for(size_t i = 0; i < markedForDeath.size(); i++)
        // old erase, returns void...
        mi.erase(markedForDeath[i]);

    cout << "after old style erase of 3 & 4.." << endl;
    for(t_myMap::const_iterator i = mi.begin(); i != mi.end(); i++)
        cout << '\t' << i->first << '-' << i->second << endl;

    for (auto it = mi.begin(); it != mi.end(); ) {
        if (it->first == 5)
            // new erase() that returns iter..
            it = mi.erase(it);
        else
            ++it;
    }

    cout << "after new style erase of 5" << endl;
    // new cend/cbegin and lambda..
    for_each(mi.cbegin(), mi.cend(), [](t_myMap::const_reference it){cout << '\t' << it.first << '-' << it.second << endl;});

    return 0;
}

プリント：

main() ENTRY
Init
        1-1
        2-1
        3-1
        4-1
        5-1
        6-1
after old style erase of 3 & 4..
        1-1
        2-1
        5-1
        6-1
after new style erase of 5
        1-1
        2-1
        6-1

Process returned 0 (0x0)   execution time : 0.021 s
Press any key to continue.
5
Kashyap

かなり悲しいですね私が通常行う方法は、トラバース中に削除するのではなく、イテレーターのコンテナーを構築することです。次に、コンテナをループしてmap.erase（）を使用します

std::map<K,V> map;
std::list< std::map<K,V>::iterator > iteratorList;

for(auto i : map ){
    if ( needs_removing(i)){
        iteratorList.Push_back(i);
    }
}
for(auto i : iteratorList){
    map.erase(*i)
}
4
Michael Daum

C++ 11を想定して、これがプログラミングスタイルと一致する場合、ここに1行のループボディがあります。

using Map = std::map<K,V>;
Map map;

// Erase members that satisfy needs_removing(itr)
for (Map::const_iterator itr = map.cbegin() ; itr != map.cend() ; )
  itr = needs_removing(itr) ? map.erase(itr) : std::next(itr);

その他のいくつかのマイナーなスタイルの変更：

  • autoを使用して、可能/便利な場合は、宣言されたタイプ（Map::const_iterator）を表示します。
  • テンプレートタイプにはusingを使用して、補助タイプ（Map::const_iterator）を読みやすく/保守しやすくします。
0
Matt