函数模板语法
所谓函数模板,实际上是建立一个通用函数,其函数类型和形参类型不具体指定,用一个虚拟的类型来代表。这个通用函数就称为函数模板。凡是函数体相同的函数都可以用这个模板来代替,不必定义多个函数,只需在模板中定义一次即可。在调用函数时系统会根据实参的类型来取代模板中的虚拟类型,从而实现了不同函数的功能。
函数模板定义形式
由以下三部分组成: 模板说明 + 函数定义 + 函数模板调用
template < 类型形式参数表 >
类型 函数名 (形式参数表)
{
//语句序列
}
-
模板说明
template < 类型形式参数表 >
类型形式参数的形式:
typename T1 , typename T2 , …… , typename Tn
或 class T1 , class T2 , …… , class Tn
(注:typename 和 class 的效果完全等同) -
函数定义
类型 函数名 (形式参数表)
{
}
注意:模板说明的类属参数必须在函数定义中出现一次
函数参数表中可以使用类属类型参数,也可以使用一般类型参数 -
函数模板调用
例如max为获取两个参数最大值的函数名:
max(a, b); //显式类型调用
max(a, b); //自动数据类型推导 -
函数模板
-
函数模板和函数重载
示例代码:
#include <iostream>
using namespace std;
template <typename T>
void Swap(T &a, T &b){
T t;
t = a;
a = b;
b = t;
cout<<"Swap 模板函数被调用了"<<endl;
}
/*
void Swap(char &a, int &b){
int t;
t = a; //隐式类型转换(自动类型转换)
a = b;
b = t;
cout<<"Swap 普通函数被调用了"<<endl;
}
*/
void main(void){
char cNum = 'c';
int iNum = 65;
//第一种情况,模板函数和普通函数并存,参数类型和普通重载函数更匹配
//调用普通函数
//Swap(cNum, iNum);
//第二种情况 不存在普通函数,函数模板会隐式数据类型转换嘛?
//结论:不提供隐式的数据类型转换,必须是严格的匹配
//Swap(cNum, iNum);
system("pause");
return ;
}
函数模板和普通函数区别结论:
两者允许并存;
函数模板不允许参数自动类型转化;
普通函数能够进行参数自动类型转换;
函数模板和普通函数在一起,调用规则:
1 函数模板可以像普通函数一样被重载;
2 C++编译器优先考虑普通函数;
3 如果函数模板可以产生一个更好的匹配,那么选择模板;
4 可以通过空模板实参列表的语法限定编译器只通过模板匹配,即max<>(a, b);
结论:
- 编译器并不是把函数模板处理成能够处理任意类型的函数;
- 编译器从函数模板通过具体类型产生不同的函数。