一、Function Template (函数模板）
1.编译器推导模板参数、显示实例化模板参数(也可半显示半推导，从到后)
2.重载函数模板
二、Class Template(类型模板)
1.特化
2.偏特化 (某个宣告式与多个偏特化产生同等的匹配程度，则歧义)
3.预设模板参数
三、Nontype Template Parameters(非类型模板参数)
1.非类型类型模板参数
2.非类型函数模板参数
不能把浮点数、class-type物件、内部连接物件(string、字符常量)作为非类型模板参数
四、高阶基本技术
1.typedef typename _Val_types::pointer pointer;
2.this->(不理解)
3.Member Function Templates(成员函数模板)
//示例：
template <typename T,typename CONT = std::deque<T>>
class Stack{
private:
CONT elemes;
public:
template<typename T2>
Stack<T>& operator= (Stack<T2> const&);
};
4.Template Template Parameters(双重模板参数)
//示例：
template <typename T,
typename <typename ElEM,
typename ALLOC = std::allocate<ElEM> >
class CONT = std::deque>
class Stack{
private:
CONT<T> elemes;
public:
T top()const;
};
5.零值初始化(int、double、pointer等无构造函数的基本类型)
T X();
6.模板不支持分离编译
不同模块可能实例化出多个相同版本
失去分离编译+链接的优势
编译时间更长
7.export关键字可使模板的使用和定义分隔在不同编译单元
适用于函数模板、成员函数模板、类模板的成员函数和静态函数
不可以和inline同时使用
但使用处所有的实例化都要重新编译，兼容性可能不好，还是推荐内置式编程
8.防止Templates出错
class thread
{
template<class _Fn,
class... _Args,
class = typename enable_if<
!is_same<typename decay<_Fn>::type, thread>::value>::type>
explicit thread(_Fn&& _Fx, _Args&&... _Ax)
{}
}
五、基本术语
函数模板、类模板、具现化（隐式、显示）、特化（全特化、偏特化）
全特化的实作不必与泛化定义有任何关系
六、基础技术更深入
1.Member Function Templates不可以是虚函数，Class Template Member可以是虚函数
整个代码编译完成才知道有多少个成员函数模板被实例化，单个成员函数模板被实例化多少种，而虚函数表是固定的
2.Function Template和Class Template导出dll时，需要全特化版模板类型
有错误或不足欢迎评论指出！创作不易，转载请注明出处。如有帮助，记得点赞关注哦(⊙o⊙)
更多内容请关注个人博客：https://blog.csdn.net/qq_43148810
