1. 前言
在C++编程中，遇到错误是不可避免的。其中一种常见的错误是“非模板类型不能在模板参数中使用”。本文将详细讨论这种语法错误的原因和解决方法。
2. 非模板类型不能在模板参数中使用：错误解读与原因
当我们在使用C++模板编程时，经常会使用模板类型参数(Template type parameter)。模板参数是用来指定模板类、函数或别名中的类型。例如：
template <typename T>
void print(T value){
std::cout << value << std::endl;
}
这里的模板参数T就是一个模板类型参数。它可以被用于声明类型为T的函数参数、变量等。
在使用模板类型参数的时候，我们必须使用具有模板参数的类或者函数。例如：
template <typename T>
class MyClass{
private:
T m_value;
public:
MyClass(T value): m_value(value){}
T getValue();
};
template <typename T>
T MyClass<T>::getValue(){
return m_value;
}
上述代码中，我们定义了一个名为MyClass的类模板，该类有一个变量m_value和一个适用于T类型的构造函数、析构函数和方法来访问变量。我们使用&l;T>作为MyClass的模板参数，并创建MyClass的一个实例来使用该类。
但是，有些时候，我们在模板参数中会使用不能被视为模板类型的类型。例如：
template <int N, int M>
int add(){
return N + M;
}
int main(){
std::cout << add<1, 2>() << std::endl;
return 0;
}
在这个例子中，我们定义了一个add函数，该函数接受两个整数N和M，执行它们的加法操作，并返回总和。注意，这里的模板参数N和M不是模板类型参数，而是普通的整数类型参数。
如果我们将这个例子中的参数类型从int更改为两个不同的非类型参数（non-type parameter），则会出现错误：
template <std::vector<int> V>
class MyClass{};
int main(){
MyClass<{1, 2, 3}> myClass;
return 0;
}
上述代码中，我们定义了一个名为MyClass的类模板，模板参数V是一个std::vector<int>，我们在main函数中为MyClass<>的实例提供了一个初始化向量{1，2，3}。
但是，当我们编译代码时，会输出以下错误信息：
“error: non-type template argument is not a constant expression”。意思是非类型模板参数不是一个常量表达式。这就是非模板类型不能在模板参数中使用的原因。
3. 解决方法
解决这个错误的方法主要有两种：将非模板类型参数改为模板类型参数或使用 constexpr 将非类型参数转换为常量表达式。
3.1 将非模板类型参数改为模板类型参数
一种解决方法是将非模板类型参数替换为模板类型参数。这意味着我们创建一个新的模板参数类型，并将其用作原始参数的类型。例如，我们可以将std::vector<int>作为MyClass类的模板类型参数，而不是作为非类型参数。这个例子会变成这样：
template <typename T>
class MyClass{};
int main(){
MyClass<std::vector<int>> myClass;
return 0;
}
3.2 使用 constexpr 将非类型参数转换为常量表达式
另一种解决方法是使用constexpr关键字将非类型参数转换为常量表达式，从而可以在编译时求值。将非类型参数转换为常量表达式可以解决以前不能在模板参数中使用的类型。例如：
template <const int* p>
void foo(){
std::cout << *p << std::endl;
}
int main(){
const int x = 6;
foo<&x>();
return 0;
}
在这个例子中，我们定义了一个名为foo的函数模板，函数参数p是一个指向const int类型的非类型参数。我们使用它在编译时计算变量x的值，然后调用foo(&x)。
4. 总结
在C++模板编程中，我们可以使用模板类型参数来指定模板类、函数或别名中的类型。但是，有些时候，我们在模板参数中使用不能被视为模板类型的类型。此时，会出现错误“非模板类型不能在模板参数中使用”。本文从错误的解读切入，详细介绍了该错误的产生原因，以及两种解决方法：将非模板类型参数改为模板类型参数或使用 constexpr 将非类型参数转换为常量表达式。熟练掌握这两种解决方法对于避免这种常见的语法错误非常重要。