Puoi usare `std :: remove_if` su un contenitore di` std :: unique_ptr`?

Question

Dato un std::vector<std::unique_ptr<SomeType> >, è legale utilizzare remove_if su di esso? In altre parole, dato questo codice:

std::vector<std::unique_ptr<SomeType> > v; 
// fill v, all entries point to a valid instance of SomeType... 
v.erase(std::remove_if(v.begin(), v.end(), someCondition), v.end()); 

, sto garantita dopo la cancellazione che tutti i puntatori ancora in v sono validi. So che data l'implementazione intuitiva di std::remove_if, e date tutte le implementazioni che ho visto, saranno . Mi piacerebbe sapere se c'è qualcosa nello standard che lo garantisce; ovvero che std::remove_if non è autorizzato a copiare una qualsiasi delle voci valide senza ricopiare la copia nella sua posizione finale .

(io sono, ovviamente, supponendo che la condizione non copia Se la condizione ha una firma come:.

struct Condition 
{ 
    bool operator()(std::unique_ptr<SomeType> ptr) const; 
}; 

, poi, naturalmente, tutti i puntatori saranno validi dopo remove_if.)

Answer 1

25.3.8 nella N3290 parla le rimuovere merito funzione:

Richiede: Il tipo di * primo deve soddisfare i requisiti MoveAssignable (Tabella 22).

e

Nota: ciascun elemento nell'intervallo [ret, last), dove ret rappresenta l'restituita valore, ha uno stato fi cato valido ma non specificata, perché gli algoritmi possono eliminare elementi scambiando con o spostandosi da elementi che erano originariamente in quell'intervallo.

Ciò significa che dipende dall'operatore del predicato. Poiché il tuo predicato non crea una copia, gli elementi non verranno copiati.

Answer 2

Proprio come erase() e resize(), remove_if() sarà mossa elementi (possibilmente tramite swap), per cui gli elementi contenitori non devono essere copiabile. Non c'è niente di speciale su unique_ptr, è solo un altro tipo di solo spostamento.

Come si fa notare, il predicato dovrebbe ovviamente prendere elementi per riferimento costante. Ancora una volta, proprio come per qualsiasi tipo di mobile.