泛型编程是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的两个不同的函数用于调用。
对于模板函数的实例化,需要注意一点:编译器对于模板函数进行两次编译