Werden Rückgabewerte von Rvalue-Referenz in C++ 0x übergeben?

Question

Sagen wir, ich habe eine Funktion:

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

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

Does C++ 0x sagen speziell die falsche Kopie wird von der Rückgabewert von randomVector abgewendet werden? Oder müsste ein Compiler das RVO implementieren? Es scheint mir, als ob der Wert randomVector() als ein rvalue behandelt werden sollte, und daher sollte der move-Konstruktor von v aufgerufen werden, aber ich bin mir nicht ganz sicher, ob das wahr ist.

Answer 1

Die Regel ist die folgende

• Wenn der Compiler RVO tun kann, dann ist es erlaubt, es zu tun, und keine Kopie und keine Bewegung gemacht wird.
• Andernfalls wird der entsprechende Konstruktor verwendet.

Wie Sie sagen, die nur vorübergehend ist ein R-Wert, und somit wird der Umzug Konstruktor ausgewählt, weil in der Regel in 13.3.3.2/3, das besagt, dass ein R-Wert Bezug besser als eine L-Wert-Referenz auf einen R-Wert bindet. Bei der Entscheidung, ob der Move oder der Kopierkonstruktor verwendet werden soll, wird die Überladungsauflösung daher den Move-Konstruktor bevorzugen. Die Regel, dass der Compiler RVO ausführen darf, wird unter 12.8/15 geschrieben.

Answer 2

Alle Rückgabewerte werden als rvalues betrachtet. Wenn der Compiler in diesem Fall kein RVO implementiert, muss er den Verschiebungskonstruktor anstelle des Kopierkonstruktors verwenden.