Co mogę zrobić z przeniesionym obiektem?

Czy norma precyzyjnie określa, co mogę zrobić z przedmiotem po jego przeniesieniu? Kiedyś myślałem, że wszystko, co można zrobić z przeniesionym obiektem, to go zniszczyć, ale to nie wystarczy.

Na przykład weź szablon funkcji swapzdefiniowany w bibliotece standardowej:

template <typename T>
void swap(T& a, T& b)
{
    T c = std::move(a); // line 1
    a = std::move(b);   // line 2: assignment to moved-from object!
    b = std::move(c);   // line 3: assignment to moved-from object!
}

Oczywiście musi istnieć możliwość przypisania do obiektów przeniesionych, w przeciwnym razie linie 2 i 3 nie powiodą się. Więc co jeszcze mogę zrobić z obiektami przeniesionymi? Gdzie dokładnie mogę znaleźć te szczegóły w standardzie?

(Nawiasem mówiąc, dlaczego T c = std::move(a);zamiast T c(std::move(a));w wierszu 1?)

Obiekty przeniesione z istnieją w nieokreślonym, ale prawidłowym stanie. Sugeruje to, że chociaż obiekt może nie być już w stanie zrobić wiele, wszystkie jego funkcje składowe powinny nadal wykazywać określone zachowanie - w tym operator=- i wszystkie jego elementy w określonym stanie - i nadal wymaga zniszczenia. Norma nie podaje konkretnych definicji, ponieważ byłaby unikalna dla każdego UDT, ale możesz znaleźć specyfikacje dla typów Standardów. Niektóre, takie jak pojemniki, są stosunkowo oczywiste - po prostu przenoszą swoją zawartość, a pusty pojemnik to dobrze zdefiniowany prawidłowy stan. Prymitywy nie modyfikują przeniesionego obiektu.

Uwaga boczna: Uważam, że jest T c = std::move(a)tak, że jeśli konstruktor przenoszenia (lub konstruktor kopiujący, jeśli nie podano żadnego ruchu), jest jawny, funkcja zakończy się niepowodzeniem.

17.6.5.15 [lib.types.movedfrom]

Obiekty typów zdefiniowanych w standardowej bibliotece C ++ można przenieść z (12.8). Operacje przenoszenia mogą być jawnie określone lub niejawnie generowane. O ile nie określono inaczej, takie przeniesione przedmioty należy umieścić w stanie ważnym, ale nieokreślonym.

Gdy obiekt jest w nieokreślonym stanie, możesz wykonać na nim dowolną operację, która nie ma warunków wstępnych. Jeśli istnieje operacja z warunkami wstępnymi, które chcesz wykonać, nie możesz wykonać tej operacji bezpośrednio, ponieważ nie wiesz, czy nieokreślony stan obiektu spełnia warunki wstępne.

Przykłady operacji, które generalnie nie mają warunków wstępnych:

• zniszczenie
• zadanie
• const obserwatorzy takie jak get, empty,size

Przykłady operacji, które zazwyczaj mają warunki wstępne:

• dereferencja
• pop_back

Ta odpowiedź jest teraz wyświetlana w formacie wideo tutaj: http://www.youtube.com/watch?v=vLinb2fgkHk&t=47m10s