L'operatore C++ 0x T + (const T &, T &&), ha ancora bisogno di muoversi?

Question

Qualche tempo fa mi è stato detto che il solito schema per implementare gli operatori two-ary ha bisogno di un finale move nel ritorno.

Matrix operator+(const Matrix &a, Matrix &&b) { 
    b += a; 
    return std::move(b); 
} 

Ma ora v'è la regola speciale che in un return il compilatore può trattare il valore di ritorno come temporanea, e poi questo non sarebbe necessario - un semplice return b sarebbe sufficiente.

Ma poi di nuovo, b ha un nome in questa funzione, quindi, il suo un Ivalue - che impedisce al compilatore di m ritiene che sia una temperatura, ed è richiesta l'move.

E 'ancora il caso nella versione più recente dello standard C++ 0x? Abbiamo bisogno dello move per implementare il modello sopra?

Answer 1

è necessario il esplicita std::move in questo esempio perché b non è il nome di un automatica oggetto non volatile. Riferimento 12.8 [class.copy]/p31/b1:

• in una dichiarazione di ritorno in funzione con un tipo di classe ritorno, quando l'espressione è il nome di una automatica oggetto non volatile (parametro diverso che una funzione o prendere-clausola) con lo stesso CV- tipo qualificato come tipo di funzione di ritorno, l'operazione di copia/spostamento può essere omesso dalla creazione dell'oggetto automatico direttamente nel valore di ritorno della funzione

Answer 2

Non sono sicuro del motivo per cui questa funzione restituisce in base al valore. Non dovrebbe questa funzione restituire un Matrix&& come il seguente?

Matrix&& operator+(const Matrix &a, Matrix &&b) { 
    b += a; 
    return std::move(b); 
} 

Ciò ha il vantaggio che x1 + x2 + x3 + ... + xn crea al massimo un temporaneo, che è importante se Matrix sembra essere allocata pila (come poi guadagna nulla si muove).

penso che le firme devono essere come il seguente:

Matrix&& operator+(Matrix &&a,  Matrix &&b ); 
Matrix&& operator+(const Matrix &a, Matrix &&b ); 
Matrix&& operator+(Matrix &&a,  const Matrix &b); 
Matrix operator+(const Matrix &a, const Matrix &b);