Definire la variabile b dello stesso tipo della variabile a

Question

È possibile dichiarare una variabile var_b dello stesso tipo di un'altra variabile, var_a?

Ad esempio:

template <class T> 
void foo(T t) { 

    auto var_a = bar(t); 
    //make var_b of the same type as var_a 

} 


F_1 bar(T_1 t) { 

} 

F_2 bar(T_2 t) { 

} 

Answer 1

Certo, utilizzare decltype:

auto var_a = bar(t); 
decltype(var_a) b; 

È possibile aggiungere CV-qualificazioni e riferimenti a decltype prescrittori, come se si trattasse di qualsiasi altro tipo:

const decltype(var_a)* b; 

Answer 2

decltype(var_a) var_b; 

E un Lorem Ipsum per raggiungere il minimo richiesto di 30 caratteri per ogni risposta.

Answer 3

Nonostante la bella risposta di @TartanLlama, questo è un altro modo in cui è possibile utilizzare decltype per denominare effettivamente il tipo specificato:

int f() { return 42; } 

void g() { 
    // Give the type a name... 
    using my_type = decltype(f()); 
    // ... then use it as already showed up 
    my_type var_a = f(); 
    my_type var_b = var_a; 
    const my_type &var_c = var_b; 
} 

int main() { g(); } 

Forse vale la pena menzionarlo per ragioni di completezza.

Non sono alla ricerca di crediti perché è quasi la stessa della risposta di cui sopra, ma la trovo più leggibile.

Answer 4

Nell'antichità prima del C++ 11 arrivavano persone che lo trattavano con modelli puri.

template <class Bar> 
void foo_impl(Bar var_a) { 
    Bar var_b; //var_b is of the same type as var_a 
} 

template <class T> 
void foo(T t) { 
    foo_impl(bar(t)); 
} 


F_1 bar(T_1 t) { 

} 

F_2 bar(T_2 t) { 

}