如何檢查類型是一個給定的模板類型

Question

我有一個模板類型：

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

我想創建一個tuple，它的類型是Shadow實例，但不應該允許任何其他類型。例如，

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