は、私は、テンプレートの種類を持っている与えられたテンプレートの種類

Question

です。たとえば、

tuple< Shadow<int>, Shadow<double> > x; // correct instantiation. 
tuple< Shadow<int>, double > x; // incorrect instantiation. 

これを実現するにはどうしたらよいですか（インスタンス化が正しくない場合はコンパイラフラグにエラーがあります）。あなたはタイプの別名を使用することができ

Answer 1

私は想像することができるソリューションは、可変個引数テンプレート構造体（またはクラス）でタプルをラップで

#include <tuple> 

template <typename T> 
struct Shadow 
{ T field[100]; }; 

template <typename ... Ts> 
struct wrapTShadow 
{ std::tuple<Shadow<Ts>...> val; }; 

int main() 
{ 
    // contain a std::tuple<Shadow<int>, Shadow<double>> 
    wrapTShadow<int, double> wts; 
} 

Answer 2

：

template<class ...Args> 
using shadow_tuple = std::tuple<Shadow<Args>...>; 

int main() 
{ 
    shadow_tuple<int, double> xx; 
    return 0; 
}