Deduce Argument Type For Variadic Template?

Question

C'è un modo per dedurre il tipo di una lista per evitare di dover passare il tipo di argomento che dovrebbe essere la lista, basta dedurlo dal primo tipo di elemento.

template<typename T, T... Args> 
struct Calc 
{ 
    // do stuff with Args 
}; 

// Usage: 
Calc<int, 1, 2, 3>::value; 

typename<T... Args> Calc { }; // error T undefined 

// Desired: 
Calc<1, 2, 3>::value;   // auto deduced T = int 
Calc<1.0f, 2.0f, 3.0f>::value; // auto deduced T = float 

C'è un modo per ottenere il comportamento desiderato o devo includere il tipo come parametro?

Answer 1

Per quanto ne so non è possibile fino a C++ 14. Tuttavia C++ 17 introduce Guide di deduzione definite dall'utente descritte in modo estensivo qui: class template argument deduction