Czy to jest bezpieczne, aby zadzwonić vector.resize (0) po przeniesieniu jej zawartość

Question

Innymi słowy jest następujący kod dźwiękowy (zdefiniowane zachowanie, przenośny, ...)

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

Tak, to jest bezpieczne.

Od §23.3.6.5:

Jeśli sz <= size(), równoznaczne z wywołaniem pop_back()size() - sz razy. Jeśli size() < sz, dodaje sz - size() elementów wstawionych domyślnie do sekwencji.

Więc w zasadzie, kiedy zadzwonić resize(0), wywołuje pop_back() aż każdy element jest usuwany z wektorem.

Nie ma znaczenia, że ​​został przeniesiony vec, ponieważ chociaż stan vec jest nieokreślony, jest to nadal poprawny wektor, który można zmodyfikować.

Tak więc std::vector będzie puste po połączeniu z numerem resize(0).

Answer 2

Po przejściu z obiektu nie można zasadniczo przyjąć żadnych założeń dotyczących stanu obiektu. Oznacza to, że można tylko wywoływać funkcje składowe, które nie mają żadnych warunków wstępnych. Szczęśliwie, std::vector::resize nie ma warunków zależnych od wartości, więc możesz wywołać resize na przenoszonym z wektora.