模板

一. 函数模板

1.函数模板实例化为早绑定。

2.可以用非模板函数重载模板函数。二者名字相同，但形参类型或数目不同。调用函数时有限匹配非模板函数。

3.模板形参可以缺省，比如

#include<iostream>
using namespace std;
template<typename A,typename B = int>
B plus1(A a, A b)
{
return a + b ;
}
int main()
{
cout << plus1(4.1, 4.2);
system("pause");
}

   输出为8。一般返回的类型缺省。

4.当编译器遇到一个模板定义时，它并不生成代码。只有当我们实例化出模板的一个特定版本时，编译器才会生成代码。

   通常，我们调用一个函数时，编译器只需要掌握函数的声明。使用一个类的对象时，类定义必须可用，成员函数的定义不必出现。因此，我们可以将类定义和函数声明放在头文件中，而普通函数和类的成员函数的定义放在源文件中。

   但是模板则不同，为了生成一个实例化版本，编译器需要掌握函数模板或类模板成员函数的定义。因此，与非模板代码不同，模板的头文件通常既包括声明也包括定义。

二.类模板

1.类模板以关键字template开始，后跟模板参数列表。可以在类的定义中使用模板参数列表中的参数。

2.实例化类模板时，要在模板名后加<>并在内加入类型名。一个类模板不是一个类型名，只是用来实例化类型。同一个模板实例化出的不同的类之间没有任何关系。

3.定义类模板内的成员函数。可以在类模板内部定义，此时被隐式声明为内联函数。也可以在类模板外部定义，由于类模板的每个实例都有自己版本的成员函数，而且类模板的成员函数具有和模板相同的模板参数。所以，定义在类模板之外的成员函数就必须以关键字template开始，后接类模板参数列表。例如：

template<typename T>

ret-type Blob<T>::member-name(parm-list)