Определить переменную b того же типа, что и переменная a

Question

Можно ли объявить переменную var_b того же типа, что и другая переменная, var_a?

Например:

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

Конечно, использовать decltype:

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

Вы можете добавить CV-определители и ссылки на decltype спецификаторов, как будто это любой другой тип:

const decltype(var_a)* b; 

Answer 2

decltype(var_a) var_b; 

И Lorem Ipsum для достижения требуемого минимума 30 символов в ответ.

Answer 3

Несмотря на хороший ответ на @TartanLlama, это другой способ, которым можно использовать decltype, чтобы назвать фактически данный тип:

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(); } 

Возможно, стоит упомянуть об этом ради полноты.

Я не ищу кредиты, так как это почти то же самое из вышеупомянутого ответа, но я считаю его более читаемым.

Answer 4

В древние времена до появления на C++ 11 люди обращались к нему с использованием чистых шаблонов.

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) { 

}