3. 函数模板的原理 

4. 隐式实例化和显示实例化

在了解概念前先看以下例子： 

eg. 只设置一个模板，但两个不同的参数类型使用模板，让编译器无法推导出模板的类型。

 

---

解决方法一：使用显示实例化（直接告诉编译器模板是什么类型，不用推导）

---

解决方法二：将其中一个数值的类型强制转换，编译器自动推导模板类型，还是隐式实例化。

---

解决方法三：设置两个模板

但要注意，这里的返回值的类型用模板是T1，和第一个形参的类型相同，还要注意返回值错误。

        情况一：如果有参数类型符合，且未使用模板的函数A 和 使用模板的函数B 同时存在，优先使用函数A，在A的类型不匹配的情况下，编译器才会使用B。

         情况二：使用了两个同一模板参数的函数和使用了两个不同模板参数的函数同时存在时，优先调用使用了两个同一模板参数的函数，如果传入的两个参数类型不同，才会调用使用了两个不同模板参数的函数。

二、类模板

1. 为什么？

以以下代码为例：

        虽然我们可以使用typedef将成员类型分离出来，方便我们修改成员变量的类型，但是一旦我们需要定义两个成员类型不同的对象时，typedef就无可奈何了：

2. 是什么？

        是对一众只有成员数据类型不同的类的抽象。它使类中的成员函数和数据成员可以取任意的数据类型。

3. 怎么用

定义类模板：

template<class T>
class Stack{};

使用类模板必须显示实例化：

Stack<int> st;

---

        以上例子中Stack不是一个类，只有往模板形参里传入一个类型才是一个类，如：Stack<int>。所以传入不同的类型生成的是不同的类。

模板也支持缺省参数，不过模板缺省的是类型。

即便缺省了，在使用模板类时，依旧要加上< >

------------------------END-------------------------

才疏学浅，谬误难免，欢迎各位批评指正。