我能爲並非所有的非類型部分specizlize模板參數

Question

template<int, int> 
struct T; 

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

我想這個工作

typedef T<1, 0> t; 

，這導致編譯時錯誤

typedef T<1, 2> t; 

編輯，我的意思是我想第二個參數爲0.我不能使用C++ 11功能。

Answer 1

您的問題不太清楚。你在找這個嗎？

template <int, int> 
struct T; 

template<int x> 
struct T<x, 0> 
{ 
    // Definition of the struct for the allowed case 
}; 

Answer 2

您可以使用static_assert來斷言模板參數。

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