c++ - cpp 模板特化，错误说参数 1 的类型是 T，这取决于参数 T

Question

line 1； template <class T, T t> struct C {}; // primary template
line 2:  template <class T> struct C<T, 1>; // error: type of the argument 1 is 
                                  // which depends on the parameter T

我的理解是主模板接受两个相同类型的模板参数。但是在第2行中，一个参数是未知的，第二个是int(1)，所以这两个参数在某些情况下不能是同一类型。

但是根据 https://en.cppreference.com/w/cpp/language/partial_specialization 显示的错误消息是“depend one...”

我应该如何理解这个案例？

另一个问题是

template <class T, T t>
template <class T, T>

这两者在行为或其他方面有什么不同吗

谢谢你的帮助

Answer 1

根据 C++ 17 标准(17.5.5 类模板部分特化)

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

(8.1) — The type of a template parameter corresponding to a specialized non-type argument shall not be dependent on a parameter of the specialization

至于这两个模板参数列表

template <class T, T t>
template <class T, T>

那么唯一的区别就是没有指定第二种情况下非类型模板参数的标识。所以在模板定义中你不能引用它。