Dlaczego potrzebne jest wyraźne std :: move podczas zwracania kompatybilnego typu?

Question

ja oglądając "Don’t Help the Compiler" Talk STL, gdzie ma podobny przykład na slajdzie 26:

struct A 
{ 
    A() = default; 
    A(const A&) { std::cout << "copied" << std::endl; } 
    A(A&&) { std::cout << "moved" << std::endl; } 
}; 

std::pair<A, A> get_pair() 
{ 
    std::pair<A, A> p; 
    return p; 
} 

std::tuple<A, A> get_tuple() 
{ 
    std::pair<A, A> p; 
    return p; 
} 

std::tuple<A, A> get_tuple_moved() 
{ 
    std::pair<A, A> p; 
    return std::move(p); 
} 

z tym, następujące wezwanie:

get_pair(); 
get_tuple(); 
get_tuple_moved(); 

Wytwarza to wyjście:

moved 
moved 
copied 
copied 
moved 
moved 

See MCVE in action.

Wynik get_pair jest skonstruowany w ruchu, zgodnie z oczekiwaniami. Ruch może również zostać całkowicie wyeliminowany przez NRVO, ale nie wchodzi w zakres niniejszego pytania.

Wynik z get_tuple_moved jest również skonstruowany jako ruch, który jest jawnie określony, aby tak być. Jednak wynik get_tuple jest skonstruowany na zasadzie kopiowania, co jest dla mnie całkowicie nieoczywiste.

Pomyślałem, że każde wyrażenie przekazane do instrukcji return może być uważane za zawierające domyślnie move, ponieważ kompilator wie, że i tak wyjdzie poza zakres. Wygląda na to, że się mylę. Czy ktoś może wyjaśnić, co tu się dzieje?

Zobacz również podobne, ale różnią się pytanie: When should std::move be used on a function return value?

Answer 1

Instrukcja return w get_tuple() należy skopiować zainicjowany za pomocą Move-konstruktora, ale ponieważ typ zwracanego wyrażenia i typ zwracany nie match, konstruktor kopii zostaje wybrany zamiast tego. W C++ 14 nastąpiła zmiana, w której istnieje teraz początkowa faza przeciążenia, która traktuje zwrot jako wartość rwart, gdy jest po prostu zmienną automatyczną zadeklarowaną w ciele.

Odpowiednie sformułowanie można znaleźć w [class.copy]/p32:

Kiedy kryteria elizji operacji Kopiuj/przenieś są spełnione, [..] lub gdy wyraz w instrukcja return jest wyrażeniem id (prawdopodobnie nawiasowanym), które nazywa obiekt z automatycznym czasem zapisu zadeklarowanym w ciele [..], rozdzielczość przeciążania w celu wybrania konstruktora dla kopii jest najpierw wykonywana tak, jakby obiekt był oznaczony przez rvalue.

Więc w C++ 14 wszystkie dane wyjściowe powinny być pochodzących z move-konstruktora A.

wersjach bagażniku brzękiem i gcc już wdrożyć tę zmianę. Aby uzyskać takie samo zachowanie w trybie C++ 11, musisz użyć jawnego std :: move() w instrukcji return.