Ist std :: remove_if garantiert Prädikat in Reihenfolge zu rufen?

Question

Wird std :: remove_if immer das Prädikat für jedes Element in der Reihenfolge aufrufen (gemäß der Reihenfolge des Iterators) oder könnte es als nicht in Ordnung bezeichnet werden?

ist hier ein Spielzeug Beispiel dafür, was Ich mag zu tun wäre:

void processVector(std::vector<int> values) 
{ 
    values.erase(std::remove_if(values.begin(), values.end(), [](int v) 
    { 
     if (v % 2 == 0) 
     { 
      std::cout << v << "\n"; 
      return true; 
     } 
     return false; 
    })); 
} 

Ich brauche alle Elemente eines Vektors, die bestimmte Kriterien erfüllen, zu verarbeiten und zu entfernen und löschen + remove_if für das scheint perfekt. Die Verarbeitung, die ich ausführen werde, hat jedoch Nebenwirkungen, und ich muss sicherstellen, dass die Verarbeitung in der Reihenfolge erfolgt (im Beispiel angenommen, dass ich die Werte in der Reihenfolge drucken möchte, in der sie im ursprünglichen Vektor erscheinen).

Ist es sicher anzunehmen, dass mein Prädikat für jedes Element in Reihenfolge aufgerufen wird?

Ich nehme an, dass die Ausführungsrichtlinien von C++ 17 dies aufklären würden, aber da C++ 17 noch nicht raus ist, hilft das offensichtlich nicht.

Edit: Auch, ist das eine gute Idee? Oder gibt es einen besseren Weg, dies zu erreichen?

Answer 1

Der Standard gibt keine Garantien in der Reihenfolge des Aufrufs des Prädikats.

Was Sie verwenden sollten, ist stable_partition. Sie partitionieren die Sequenz basierend auf Ihrem Prädikat. Dann können Sie die partitionierte Sequenz ausführen, um den von Ihnen gewünschten "Nebeneffekt" auszuführen, da stable_partition die relative Reihenfolge beider Datensätze gewährleistet. Dann können Sie die Elemente aus der vector löschen.

stable_partition muss hier verwendet werden, da erase_if den Inhalt der "gelöschten" Elemente undefiniert lässt.

In Code:

void processVector(std::vector<int> values) 
{ 
    auto it = std::stable_partition(begin(values), end(values), [](int v) {return v % 2 != 0;}); 

    std::for_each(it, end(values), [](int v) {std::cout << v << "\n";}); 

    values.erase(it, end(values)); 
} 

Answer 2

Sie sollten verarbeitet werden, um, aber es ist nicht garantiert.

std::remove_if() verschiebt "entfernte" Elemente zum Ende des Containers, sie werden nicht wirklich aus dem Container entfernt, bis erase() aufgerufen wird. Beide Operationen werden möglicherweise bestehende Iteratoren in einer std::vector ungültig machen.