C++模板的一些注意事项

C++模板的一些注意事项

1、模板的定义和声明最好不要放在不同地方

模板在定义时即使用，要像其他普通函数或类在.h中声明，.cc中定义的话，很可能出现问题（一般是不可行的，但好像有些解决办法）：

模板类编译过程中出现“undefined reference to”的问题，参见：
https://itachi666.github.io/posts/bfee53d1/

2、模版不支持在局部函数中声明定义或使用。

3、模板非类型形参

模板除了定义类型参数，还可以在模板定义非类型参数。

什么是非类型形参？顾名思义，就是表示一个固定类型的常量而不是一个类型。通常来说，模板都是用作类型的泛化，而非类型参数则不同于以往的用处。

//示例代码：
template<class T,int MAXSIZE> class List{
      private:
         T elems[MAXSIZE];  
      public:
         Print(){ cout<<"The maxsize of list is"<<MAXSIZE; }
}
List<int,5> list;
list.Print();//打印"The maxsize of list is 5"

非类型形参是有条件限制的：

1. 浮点数不可以作为非类型形参，包括float，double。具体原因可能是历史因素，也许未来C++会支持浮点数。

2. 类不可以作为非类型形参。

3. 字符串不可以作为非类型形参

4. 整形，可转化为整形的类型都可以作为形参，比如int，char，long，unsigned，bool，short（enum声明的内部数据可以作为实参传递给int，但是一般不能当形参）

5. 指向对象或函数的指针与引用（左值引用）可以作为形参

对应的非类型实参也有限制：

1. 实参必须是编译时常量表达式，不能使用非const的局部变量，局部对象地址及动态对象

2. 非Const的全局指针，全局对象，全局变量（下面可能有个特例）都不是常量表达式。

3. 由于形参的已经做了限定，字符串，浮点型即使是常量表达式也不可以作为非类型实参

参考：

https://blog.csdn.net/u012999985/article/details/50780311

非类型模版参数作用

模板定义内，非类型模板参数是一个常量值，所以，在需要常量表达式的地方，可以使用这个特性，例如，指定数组大小。
（例如上面示例代码中指定最大size）
可以作为一个参数传入的方式，只是这个参数有上述的一些性质。