I valori di ritorno saranno passati dal riferimento di rvalue in C++ 0x?

Question

Diciamo che ho una funzione:

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

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

non C++ 0x specificamente dire la copia spuria sarà scongiurato dal valore di ritorno di randomVector? O un compilatore dovrebbe implementare il RVO? A me sembra che il valore randomVector() debba essere trattato come un valore rvalore, e quindi il costruttore di v dovrebbe essere chiamato, ma non sono completamente sicuro che sia vero.

Answer 1

La regola è la seguente

• Se il compilatore può fare RVO, allora è permesso di farlo, e nessuna copia e nessuna mossa è fatta.
• In caso contrario, viene utilizzato il costruttore appropriato.

come dici tu, la temporanea è un rvalue, e quindi si seleziona il costruttore movimento, a causa di una regola in 13.3.3.2/3, che dice che un riferimento rvalue si lega a un rvalue meglio di un riferimento lvalue. Nel decidere se utilizzare lo spostamento o il costruttore di copie, la risoluzione di sovraccarico sarà quindi preferibile al costruttore di movimento.

La regola che il compilatore può eseguire RVO è scritta a 12.8/15.

Answer 2

Tutti i valori restituiti sono considerati rvalues, pertanto se il compilatore non implementa RVO in questo caso, deve utilizzare il costruttore di movimento anziché il costruttore di copie.