Como removo de um mapa enquanto o itero? gostar:
std::map<K, V> map;
for(auto i : map)
if(needs_removing(i))
// remove it from the map
Se eu usá- map.erase
lo, invalidará os iteradores
Como removo de um mapa enquanto o itero? gostar:
std::map<K, V> map;
for(auto i : map)
if(needs_removing(i))
// remove it from the map
Se eu usá- map.erase
lo, invalidará os iteradores
Respostas:
O idioma associativo padrão de exclusão de contêiner:
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;
}
}
Observe que realmente queremos um for
loop comum aqui, pois estamos modificando o próprio contêiner. O loop baseado em intervalo deve ser estritamente reservado para situações em que nos preocupamos apenas com os elementos. A sintaxe para o RBFL deixa isso claro, nem mesmo expondo o contêiner dentro do corpo do loop.
Editar. Antes do C ++ 11, você não podia apagar const-iteradores. Lá você teria que dizer:
for (std::map<K,V>::iterator it = m.begin(); it != m.end(); ) { /* ... */ }
Apagar um elemento de um contêiner não está em desacordo com a constância do elemento. Por analogia, sempre foi perfeitamente legítimo para delete p
onde p
está um ponteiro para constante. A constância não restringe a vida; valores const em C ++ ainda podem parar de existir.
for (int i = 0; i < v.size(); i++)
. Aqui temos que dizer v[i]
dentro do loop, ou seja, devemos mencionar explicitamente o contêiner. O RBFL, por outro lado, apresenta a variável do loop que é diretamente utilizável como valor e, portanto, nenhum conhecimento do contêiner é necessário dentro do loop. Essa é uma pista do uso pretendido do RBFL para loops que não precisam ser informados sobre o contêiner. Apagar é a situação completamente oposta, onde tudo se resume ao contêiner.
it
para obter o próximo iterador válido e, em seguida, apague o antigo. Não funciona ao contrário!
it = v.erase(it);
agora funciona também para mapas. Ou seja, erase () em todos os elementos associativos agora retorna o próximo iterador. Portanto, o kludge antigo que exigia um pós-incremento ++ dentro do delete () não é mais necessário. Isso (se verdadeiro) é uma coisa boa, pois o kludge contava com a magia substituída pós-incremento-dentro de uma chamada de função, "corrigida" pelos mantenedores novatos para tirar o incremento da chamada de função ou trocá-lo a um pré-incremento "porque isso é apenas uma coisa estilo", etc.
it++
nos blocos if
e else
? não seria suficiente chamá-lo uma vez depois destes?
Pessoalmente, prefiro esse padrão que é um pouco mais claro e mais simples, às custas de uma variável extra:
for (auto it = m.cbegin(), next_it = it; it != m.cend(); it = next_it)
{
++next_it;
if (must_delete)
{
m.erase(it);
}
}
Vantagens dessa abordagem:
it
e a next_it
permanência fixos durante toda a iteração, permitindo que você adicione facilmente instruções adicionais referentes a elas, sem riscar a cabeça sobre se elas funcionarão como planejadas (exceto, é claro, que você não pode usar it
depois de apagá-la) .Resumindo, "Como removo de um mapa enquanto o itero?"
No mapa GCC impl (observe 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
Exemplo com estilo antigo e novo:
#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;
}
impressões:
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.
mi.erase(it++);
?
if(mi.empty()) break;
.
O rascunho do C ++ 20 contém a função de conveniência std::erase_if
.
Então você pode usar essa função para fazer isso como uma linha.
std::map<K, V> map_obj;
//calls needs_removing for each element and erases it, if true was reuturned
std::erase_if(map_obj,needs_removing);
//if you need to pass only part of the key/value pair
std::erase_if(map_obj,[](auto& kv){return needs_removing(kv.first);});
Muito triste, né? A maneira como costumo fazer isso é criar um contêiner de iteradores em vez de excluir durante a travessia. Em seguida, percorra o contêiner e use 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)
}
Supondo C ++ 11, aqui está um corpo de loop de uma linha, se isso for consistente com o seu estilo de programação:
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);
Algumas outras pequenas mudanças de estilo:
Map::const_iterator
) quando possível / conveniente, usando demais auto
.using
para tipos de modelo, para Map::const_iterator
facilitar a leitura / manutenção de tipos auxiliares ( ).