The only meaning we can ascribe to a template parameter is to distinguish whether the parameter is a type parameter or a nontype parameter.

可以给模板形的一区别形类型形还非类型形。