模版笔记001 - 函数模版

1. 通常而言，不是把模版编译成一个可以处理任意类型的的单一实体，而是对于实例化模版参数的每种类型，都从模版产生出一个不同的实体。
2. 用具体类型代替模版参数的过程称为实例化。
3. 模版会被编译两次：一次是在实例化之前，检查模版代码本身是否有语法问题；另一次是在实例化期间，检查所有的调用是否有效。
4. 在实参推导过程中，每一个参数都必须正确匹配，不允许自动转换。如果参数不匹配，常用的有3种方式来处理：强制类型转化、显示指定T类型、使用多个类型参数T
5. 函数模版有两种参数：模版参数和调用参数
6. 如果非模版函数和同名的模版函数的其他条件都是一样的，那么不会从该模版产生出相应的实例，而是调用非模版函数。通常是这样的。但是当模版可以产生一个更好的匹配时，那么将选择模版函数。当然可以在调用函数时，指定空的模版参数列表，告诉编译器：使用模版来匹配这个调用。
7. 函数的所有重载版本都应在函数被调用之前声明