modello di argomentazione perde un riferimento lvalue, se non utilizzati direttamente

Question

Considerate questo codice:

#include <iostream> 
#include <type_traits> 
using namespace std; 

template<typename T_orig> void f(T_orig& a){ 
    a=5; 
} 


template<typename T_orig, typename T=T_orig&> void g(T a){ 
    a=8; 
} 

int main() { 
    int b=3; 
    f<decltype(b)>(b); 
    cout<<b<<endl; 
    g<decltype(b)>(b); 
    cout<<b<<endl; 
    return 0; 
} 

Questo stampa

5 
5 

Qualcuno può spiegarmi perché nella seconda versione del & è perduto?

Answer 1

Il problema qui è che la deduzione di tipo ha la priorità sui parametri del modello di funzione predefiniti. Pertanto si ottiene il parametro T dedotto e T non deduce mai un riferimento.

È possibile evitare questo rendendo il tipo not deducible. Un tratto del tipo di identità generico può farlo.

template <typename T> 
struct identity { using type = T; }; 

template <typename T> 
using NotDeducible = typename identity<T>::type; 

template<typename T_orig, typename T=typename target<T_orig>::T> 
void g(NotDeducible<T> a) { // blah 

Oppure, in questo caso particolare, è possibile semplicemente eliminare completamente il parametro del modello.

template<typename T_orig> void g(typename target<T_orig>::T a)