浅谈模板----函数模板

    泛型编程是C++当中用于编写与类型无关的逻辑代码，是代码复用的一种手段，而模板则是泛型编程的基础。

    在C++当中，模板分为两种：函数模板与类模板。这里我们先来分析模板函数：

1. 模板函数的一般格式：

对于模板函数的格式，有以下几点注意：

①模板形参列表不能为空；

②typename是用来定义模板参数关键字，也可以使用class，建议使用typename，但是这里用不能struct；

 ③模板函数也可以被定义成inline函数，对于inline关键字要放在模板形参列表后面，返回值前面，不能放在template关键字之前

 ④对于模板函数，它不是函数，它仅作为模板

2.模板函数的实例化

之前说模板函数不是函数，仅仅作为模板，因此编译器在编译的时候会根据调用的参数类型（或者根据实参推演的结果）以及提供的模板产生特定版本的函数，以用于调用。

测试代码：

template<typename T>
T Max(T left,T right)
{
	return left>right?left:right;
}
int main()
{
	Max(1,2);
	Max('a','b');
	return 0;
}

查看上述代码的反汇编：

由此我们发现上述代码，编译器根据模板函数实例化出了参数类型为int以及参数类型为char的两个不同的函数用于调用。

对于模板函数的实例化，需要注意一点：编译器对于模板函数进行两次编译，第一次是在实例化之前，检查模板函数是否有语法错误；第二次是在实例化的时候，检查模板代码，