c++ - すべての非型パラメーターのテンプレートを部分的に指定できますか

Question

template<int, int> 
struct T;

template<> 
struct T<?, ?> {};

これを機能させたい

typedef T<1, 0> t;

これにより、コンパイル時エラーが発生します

typedef T<1, 2> t;

編集、つまり、2番目のパラメーターを0にしたいのですが、C++ 11の機能を使用できません。

Answer 1

static_assertを使用して、テンプレート引数をアサートできます。

template<int A, int B> 
struct T
{
   static_assert(A > B, "Raised error because A is not bigger than B)";
}