爲什麼gcc抱怨「錯誤：模板參數'0'的'intT'類型取決於模板參數」？

Question

我的編譯器是gcc 4.9.0。以下代碼無法編譯：

template<typename T, T i> 
struct value {}; 

template<typename T> 
struct value<T, 0> {}; 
// error: type 'T' of template argument '0' depends on a template parameter 

原因是什麼？以及如何解決這個問題？

Answer 1

GCC是正確的，這是明確的C++ 11 [temp.class.spec]§8禁止：

8 Within the argument list of a class template partial specialization, the following restrictions apply:

• A partially specialized non-type argument expression shall not involve a template parameter of the partial specialization except when the argument expression is a simple identifier. [ Example:

  template <int I, int J> struct A {}; 
  template <int I> struct A<I+5, I*2> {}; // error 
  template <int I, int J> struct B {}; 
  template <int I> struct B<I, I> {}; // OK 
  

  —end example ]

• The type of a template parameter corresponding to a specialized non-type argument shall not be dependent on a parameter of the specialization. [ Example:

  template <class T, T t> struct C {}; 
  template <class T> struct C<T, 1>; // error 
  template< int X, int (*array_ptr)[X] > class A {}; 
  int array[5]; 
  template< int X > class A<X,&array> { }; // error 
  

  —end example ]

• ...

我相信第2點是這裏最相關的一個。

---

關於「如何解決這個問題」的問題。在問題的立場上，恐怕沒有解決辦法。

至於原來vesion以使得整數序列，我相信是你可以把它用uintmax_t的非類型模板參數的類型的工作，只有將其轉換爲intT在最後的定義。