函数模版

     一个函数模板就是一个公式，可用来生成针对特定类型的函数版本，模板参数表示在类或函数定义中用到的类型或值，当使用模板时，我们指定模板实参，将其绑定到模板参数上。调用过程为，先将函数模板实例化为函数(将所要类型进行替换)，然后发生函数调用。函数模板，只适用于函数的参数个数相同而类型不同，且函数体相同的情况。如果个数不同，则不能用函数模板。

语法格式：

template<typename / class 类型参数表>
返回类型 函数模板名(函数参数列表)
{
	函数模板定义体
}

实例化函数模板：当调用一个函数模板时，编译器通常用函数实参来为我们推断模板实参，即编译器使用实参的类型来确定绑定到模板参数T的类型，然后编译器用推断出的模板参数来为我们实例化一个特定版本的函数

#include "stdafx.h"
#include <iostream>
using namespace std;
#include <string>

template<typename T>
void Swap(T & da, T & db)  //函数模版 ->模版实例化->函数
{
	T t = da;
	da = db;
	db = t;
}

int _tmain(int argc, _TCHAR* argv[])
{
	int ia = 3, ib = 4;
	Swap(ia, ib);
	//相当于 Swap<int>(ia, ib); 用int类型取代模版中的T然后发生函数调用
	cout << ia << " " << ib << endl;

	string sa = "china", sb = "America";
	Swap(sa, sb);
	cout << sa << " " << sb << endl;

	return 0;
}

非类型模板参数

        除了定义类型参数，还可以在模板中定义非类型参数，一个非类型参数表示一个值而非一个类型，当一个模板被实例化时，非类型参数被一个用户提供的或编译器推断出的值所代替。这些值必须是常量表达式，从而允许编译器在编译时实例化模板。

template<unsigned N,unsigned M>
int foo(const char(&p1)[N], const char(&p2)[M])
{
	return strcmp(p1, p2);
}

int main()
{
	foo("hi", "mom");
}

当调用时，编译器会使用字面常量的大小来代替N和M，从而实例化模板，记住，编译器会在一个字符串字面常量的末尾插入一个空字符作为终结符，因此编译器会实力化出如下版本：

int foo(const char(&p1)[3], const char(&p2)[4])

        一个非类型参数可以是一个整型，或者是一个指向对象或函数类型的指针或(左值)引用。绑定到非类型整型参数的实参必须是一个常量表达式。绑定到指针或引用非类型参数的实参必须具有静态的生存期。我们不能用一个普通(非static)局部变量或动态对象作为指针或引用非类型模板参数的实参。指针参数也可以用nullptr或一个值为0的常量表达式来实例化。

inline和constexpr的函数模板

函数模板可以声明为inline或constexpr的，如同非模板函数一样。inline或constexpr说明符放在模板参数列表之后，返回类型之前。

template<typename T> 
inline T fff(const T&, const T&);

template<typename T> 
constexpr T foo(const T& a, const T&);

模板编译与普通编译

函数模板和类模板成员函数的定义通常放在头文件中

       对C++编译器而言，当调用函数的时候，编译器只需要看到函数的声明。当定义类类型的对象时，编译器只需要知道类的定义，而不需要知道类的实现代码。因此，因该将类的定义和函数声明放在头文件中，而普通函数和类成员函数的定义放在源文件中。
       但在处理模板函数和类模板时，问题发生了变化。当编译器遇到一个模板定义时，它并不生成代码。只有当我们实例化出模板的一个特定版本时，编译器才会生成代码，所以要进行实例化模板函数和类模板，要求编译器在实例化模板时必须在上下文中可以查看到其定义实体；而反过来，在看到实例化模板之前，编译器对模板的定义体是不处理的——原因很简单，编译器怎么会预先知道 typename 实参是什么呢？因此模板的实例化与定义体必须放到同一翻译单元中。
       模板定义很特殊。由 template<…> 处理的任何东西都意味着编译器在当时不为它分配存储空间，它一直处于等待状态直到被一个模板实例告知。在编译器和连接器的某一处，有一机制能去掉指定模板的多重定义。所以为了容易使用，几乎总是在头文件中放置全部的模板声明和定义, 文件后缀为.hpp。(.h .cpp分开写编译通不过)
       使用时，模板的设计者应该提供一个头文件，包含模板定义以及在类模板或成员定义中用到的所有名字的声明，模板的用户必须包含模板的头文件，以及用来实例化模板的任何类型的头文件。

模板编译报错阶段(大多数在实例化期间)

通常，编译器会在三个阶段报告错误：

1.编译模板本身时，这个阶段通常不会发现很多错误，比如检查语法错误
2.编译器遇到模板使用时，编译器通常会检查实参数目是否正确、参数类型是否匹配
3.模板实例化时，只有这个阶段才能发现类型相关错误，这类错误可能在链接时才报告