Variadic Şablon için Deduce Bağımsız Değişken Türü?

Question

Bir liste türünü, listenin olması gereken argüman türünü geçmek zorunda kalmamanın bir yolu var mı, sadece ilk eleman türünden çıkar.

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 

İstenen davranışı elde etmenin bir yolu var mı yoksa türü bir parametre olarak eklemek zorunda mıyım?

Answer 1

Bildiğim kadarıyla C++ 14'e kadar mümkün değildir. Bununla birlikte, C++ 17, Kullanıcı tanımlı indirgeme kılavuzları class template argument deduction