函数模板

函数模板可以用来创建一个通用功能的函数，以支持多种不同形参，简化重载函数的设计

函数模板定义如下：
template<模板参数表>返回类型函数名(形式参数表)
{……;}//函数体

<模板参数表>尖括号中不能为空，参数可以有多个，用逗号分开

模板参数主要是模板类型参数

模板类型参数代表一种类型，由关键字class 或 typename（建议用typename）后加一个标识符构成，这两个关键字的意义相同，他们表示后面的参数名代表一个潜在的内置或用户定义的类型

函数模板根据一组实际类型或值构造出独立的函数的过程通常是隐式发生的，称为模板实参推演

为了判断出模板实参的类型类型，编译器需检查函数调用中提供的函数实参的类型，ia的类型为Int类型，dx的类型为double数组，都被用来决定每个实例的模板参数，该过程称为模板实参推演

在编译main()函数中，由编译器函数模板而生成的函数，称为模板函数，这两个概念须分清楚

简单举例

template<class T>
void fun(T a)
{
	T x, y;
	cout << "T type :" << typeid(T).name() << endl;
	cout << "a type :" << typeid(a).name() << endl;
}
int main()
{
	int x = 10;
	fun(x);
	fun(&x);
}

在这里插入图片描述
下面，将x地址传入会推演为int const *类型（const在星号左边），为了防止能力拓展，限制其指向修改


template<class T>
void fun(T a)
{
	T x, y;
	cout << "T type :" << typeid(T).name() << endl;
	cout << "a type :" << typeid(a).name() << endl;
}
int main()
{
	const int x = 10;
	fun(x);
	fun(&x);
}

在这里插入图片描述
这里也是同理

void fun(T a)
{
	T x, y;
	cout << "T type :" << typeid(T).name() << endl;
	cout << "a type :" << typeid(a).name() << endl;
}
int main()
{
	int x = 10;
	const int y = 10;

	int* xp = &x;
	const int* yp = &y;

	fun(xp); //int *
	fun(yp); //const int *
}

在这里插入图片描述

泛化与特化

template<class T>
void fun(T a) //完全泛化
{
	T x, y;
	cout << "T type :" << typeid(T).name() << endl;
	cout << "a type :" << typeid(a).name() << endl;
}
template<class T>
void fun(T* a) //部分特化版本
{
	T x, y;
	cout << "T type :" << typeid(T).name() << endl;
	cout << "a type :" << typeid(a).name() << endl;
}
template<>
void fun<char*>(char* a) //完全特化版本
{
}

部分特化版本例子

template<class T>
void fun(T* a) //部分特化版本
{
	//T x, y;  当传入y T属于常变量(const int x,y) 需要进行初始化
	cout << "T type :" << typeid(T).name() << endl;
	cout << "a type :" << typeid(a).name() << endl;
}
 
 
int main()
{
	int x = 10;
	const int y = 10;
	fun(&x);
	fun(&y);
}

在这里插入图片描述
在这里系统无法感知到，传入&y参数后，T属于const类型，但是编译器并没有丢失const类型

同样是部分特化版本

template<class T>
void fun(const T* a) //部分特化版本
{
	T x = 0, y = 0;
	cout << "T type :" << typeid(T).name() << endl;
	cout << "a type :" << typeid(a).name() << endl;
}


int main()
{
	int x = 10;
	const int y = 10;
	fun(&x);
	fun(&y);
}