Czy zwracane wartości będą przekazywane przez referencję rvalue w C++ 0x?

Question

powiedzmy mam funkcję:

typedef std::vector<int> VecType; 
VecType randomVector(); 

int processing() 
{ 
    VecType v = randomVector(); 
    return std::accumulate(v.begin(), v.end(), 0); 
} 

Czy C++ 0x konkretnie znaczy nieprawdziwy kopia zostanie odwrócona od wartości zwracanej randomVector? A może kompilator musi wdrożyć RVO? Wydaje mi się, że wartość randomVector() powinna być traktowana jako wartość r, a zatem powinien zostać wywołany konstruktor ruchu v, ale nie jestem do końca pewien, czy to prawda.

Answer 1

Zasada jest następująca

• Jeśli kompilator może zrobić RVO, to może to zrobić, a nie kopia, a nie ruch jest wykonany.
• W przeciwnym razie zostanie pobrany odpowiedni konstruktor.

jak mówisz, tymczasowy jest rvalue, a więc wybrano konstruktor posunięcie, ponieważ z reguły w 13.3.3.2/3, który mówi, że odniesienie RValue wiąże się rvalue lepsze niż odniesienie lwartości. Przy podejmowaniu decyzji, czy użyć konstruktora ruchu lub kopiowania, rozdzielczość przeciążania będzie preferować konstruktor ruchu.

Reguła, według której kompilator może wykonywać RVO, jest zapisana pod adresem 12.8/15.

Answer 2

Wszystkie wartości zwracane są uważane za rvalues, więc jeśli kompilator nie zaimplementuje RVO w tym przypadku, musi użyć konstruktora ruchu zamiast konstruktora kopiowania.