E 'sicuro per chiamare vector.resize (0) dopo aver mosso i suoi contenuti

Question

In altre parole è il seguente codice di suono (comportamento definito, portatile, ...)

std::vector<int> vec(100,42); 
    std::vector<int> other = std::move(vec); 
    vec.resize(0);//is this sound 

    //using vec like an empty vector 

Answer 1

Sì, è sicuro.

Da §23.3.6.5:

Se sz <= size(), equivalente alla chiamata pop_back()size() - sz volte. Se size() < sz, aggiunge sz - size() elementi inseriti di default alla sequenza.

Quindi, in pratica, quando si chiama resize(0), si chiama pop_back() fino a quando ogni elemento viene rimosso dal vettore.

Non importa che si è spostato vec, perché anche se lo stato di vec non è specificato, è ancora un vettore valido che è possibile modificare.

Quindi, std::vector sarà vuoto dopo una chiamata a resize(0).

Answer 2

Dopo aver spostato da un oggetto, in genere non è possibile formulare alcuna ipotesi sullo stato dell'oggetto. Ciò significa che puoi solo chiamare funzioni membro che non hanno precondizioni. Fortunatamente, std::vector::resize non ha precondizioni dipendenti dal valore, quindi è possibile chiamare resize su un vettore spostato da.