通常有两种形式：函数模板和类模板；函数模板针对仅参数类型不同的函数；类模板针对仅数据成员和成员函数类型不同的类。
使用模板就是让程序员编写与类型无关的代码。比如编写一个两个int类型的Add函数，那这个函数只能实现int类型的数相加，其他类型就不可以。要实现其他类型数字相加，就得重新编写一个Add函数。而模板的魅力就在于此，可以不考虑类型，编写一个通用的Add函数，不需要考虑 类型 。
模板的参数
模板形参：类型形参和非类型形参
非类型形参：也就是内置类型形参
模板的声明或定义只能在全局，命名空间或类范围内进行。即不能在局部范围，函数内进行，比如不能在main函数中声明或定义一个模板。
模板的实例化
实例化阶段： 模板被编译两次
1、实例化之前：对模板进行语法检测
2、实例化期间：检查模板代码所有调用是否都有效
类型形参转换：一般不会转换实参以匹配已有的实例化，而会产生新的实例。
转换的特例：
1、const转换：形参为const引用/指针 可以分别对非const的引用/指针类调用
2、数组./函数到指针的转换：如果模板形参不是引用类型，则数组实参将当做指向数组第一个元素的指针，函数实参将当做指向函数类型的指针。
注：为什么强调不是引用类型，参见下一篇数组指针和数组引用做参数的区别
网友评论