如何檢查類型是否為給定的模板類型

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