Utilizzo del riferimento di rvalore negli elenchi di inizializzazione

Question

Ultimamente sto giocando con i riferimenti Rvalue e ho riscontrato uno strano problema. Definiamo qualche semplice classe denominata Foo che contiene un vector<int>:

class Foo 
{ 
public: 

    Foo(std::vector<int>&& v) 
     : v_(v) 
    {} 

private: 

    std::vector<int> v_; 
}; 

Un'istanza Foo può essere costruito passando un vector<int> temporanea come questa:

std::vector<int> temp; 
Foo(std::move(temp)); 

Ora, quando ho cercato di passare da questo codice , Ho notato che il vettore all'interno di è costruito usando il costruttore di copia invece del costruttore di movimento. Tuttavia, se specifico il costruttore questo modo:

Foo(std::vector<int>&& v) 
    : v_(std::move(v)) 
{} 

Quindi, lo spostamento costruttore dell'organo v_ è opportunamente chiamato. Perchè è così? Perché è necessario il numero ridondante std::move(v) nell'elenco di inizializzazione? Perché il compilatore non è in grado di dedurre l'intento di chiamare il vettore costruttore di movimento poiché l'argomento relativo al costruttore viene specificato come riferimento Rvalue?

A proposito, sto usando GCC 4.6 con l'opzione -std = C++ 0x.

Grazie per il vostro aiuto. PMJ

Answer 1

All'interno della funzione (o del costruttore) un parametro denominato è un lvalue, anche se è dichiarato come riferimento di rvalore.

Il razionale è qualcosa di simile

void foo(std::vector<int>&& v) 
{ 
    bar(v); 
    baz(v); 
    boo(v); 
    buz(v); 
} 

In quale di queste chiamate dovrebbe compilatore prevedere il passaggio dall'oggetto v?

Nessuno di essi, a meno che non lo facciate esplicitamente.