Comment utiliser les "enlevés" éléments après std :: remove_if

Question

dire que nous avons:

struct IsEven { 
    bool operator() (int i) { return i % 2 == 0; } 
}; 

Puis:

vector<int> V; // fill with ints 
vector<int>::iterator new_end = remove_if(V.begin(), V.end(), IsEven()); 
V.erase(new_end, V.end()); 

fonctionne très bien (il laisse V avec seulement les entiers impairs) . Mais il semble que les éléments de new_end à V.end() sont pas les entiers pairs que nous supprimons. Par exemple, si v commence comme 1 4 2 8 5 7, alors je reçois 8 5 7 pour ces éléments (bien qu'après l'appel erase, le vecteur a effectivement 1 5 7 à gauche).

Apparemment, (selon http://www.sgi.com/tech/stl/remove_if.html)

The iterators in the range [new_last, last) are all still dereferenceable, 
but the elements that they point to are unspecified. 

Tout d'abord, WTF? Et deuxièmement, comment puis-je contourner cela sans essentiellement réimplémenter remove_if?

Answer 1

Il semble que vous voulez utiliser partition() pour partitionner le vecteur en groupes de valeurs impaires au début et les valeurs paires à la fin. partition() retournera un itérateur au premier élément du deuxième groupe. En ce qui concerne le WTF, je ne sais pas pourquoi vous attendez une opération de suppression pour conserver les éléments que vous souhaitez supprimer en les copiant (c'est un travail supplémentaire) à la fin du conteneur. La plupart des gens considèrent le WTF dans remove() (et ses cousins) comme étant le fait que la taille du vecteur n'est pas réduite et que vous devez appeler erase() pour supprimer réellement les éléments non désirés après l'opération de suppression.

Answer 2

Je suppose que le point est que la fonction est appelée remove_if pour une raison. Il supprime des éléments. Il ne les déplace pas ou ne les sélectionne pas. Après avoir appelé remove_if, vous n'êtes plus assuré que les éléments que vous avez supprimés existent. Tout ce dont vous avez la garantie, c'est que les éléments entre first et new_last ne contiennent aucun des éléments supprimés.

std::partition serait un meilleur choix, non? Ou peut-être remove_copy_if, en fonction exactement de ce que vous essayez de faire.

Answer 3

Si vous voulez vraiment utiliser les éléments "supprimés", vous voulez std::partition.