Utilizzando un modello di classe in un modello di funzione con il parametro di riferimento universale

Question

Secondo msvc, gcc e clang, il seguente codice è illegale:

template <typename T> 
void f(T&& e) { 
    std::vector<T> v; 
    // do something with v and e ... 
} 
int main() { 

    int i; 
    f(i); 
} 

rendimenti MSVC

xmemory0 (591): errore C2528: "puntatore": puntatore al riferimento è illegale

gcc e clang danno messaggi di errore simili. Si noti che il parametro di riferimento universale e non viene utilizzato. Il compilatore non riesce, ovviamente, creare un'istanza il vettore v, lamentano di essere utilizzato con un riferimento a int:

nota: vedi riferimento al modello di classe di un'istanza 'std::vector<T,std::allocator<_Ty>>' essere compilato con

[ 
     T=int &, 
     _Ty=int & 
    ] 

Ma non riesco a vedere dove viene istanziato il modello di funzione f con un riferimento a int.

Qualcuno può spiegare gli errori del compilatore che vediamo qui?

Answer 1

Quando f viene chiamato con un lvalue int, T saranno dedurre come int&, così v sarà un std::vector<int&>. Questo non è valido

Un modo per aggirare il problema è quello di rimuovere i riferimenti da T prima di utilizzarlo:

template <typename T> 
void f(T&& e) { 
    using value_type = typename std::remove_reference<T>::type; 
    //using value_type = std::remove_reference_t<T>; for C++14 
    std::vector<value_type> v; 
    // do something with v and e ... 
} 

Tuttavia, se si desidera che la funzione di essere il più generico possibile, si dovrebbe usare std::decay invece di std::remove_reference. Ciò consentirà a f di funzionare con tipi, matrici e funzioni qualificati per CV.

Answer 2

Scott Meyers spiega in questo article.

Se l'espressione inizializzare un riferimento universale è un lvalue, il riferimento universale diventa un riferimento Ivalue.

Se l'espressione inizializzazione del riferimento universale è un valore rvalue, il riferimento universale diventa un riferimento di rvalue.

Nel tuo caso i è un lvalue e così T si deduce come int&.