C++模板函数 模板类

1、函数模板

关键字template表明声明了一个模板，后面尖括号中的class是参数类型，也可以写成template<typename T>，typename和class具有相同功能

template<class T>
T Func(T &t1, T &t2)
{
	return t1*t2;
}

int main()  
{
	int a = 2, b = 3;
	float i = 2.3f, k = 3.9f;
	//编译器会自动把T转换为int型
	cout<<Func(i, k)<<endl;
	//转换为float型
	cout<<Func(a, b)<<endl;
	return 0;
}

2、函数模板重载

函数模板的重载和一般函数的重载类似，具体如下：

//交换两个数值
template<class T>
void Func(T &t1, T &t2)
{
	t1 = t1 + t2;
	t2 = t1 - t2;
	t1 = t1 - t2;
}
//交换两个数组元素
template<class T>
void Func(T *t1, T *t2, int n)
{
	for (int i = 0; i < n; i++)
	{
		T temp;
		temp = t1[i];
		t1[i] = t2[i];
		t2[i] = temp;
	}
}

int main()  
{
	int a = 2, b = 3;
	int arr1[5] = {0,1,2,3,4};
	int arr2[5] = {5,6,7,8,9};

	Func(a,b);
	cout<<a<<"   "<<b<<endl;

	Func(arr1, arr2, 5);
	for (int i = 0; i < 5; i++)
	{
		cout<<arr1[i]<<" ";
	}
	cout<<endl;
	for (int i = 0; i < 5; i++)
	{
		cout<<arr2[i]<<" ";
	}
	return 0;
}

3、具体化模板

具体化模板：具体化函数参数和功能的模板

功能：解决一些特殊情况下模板函数无法重载

C++为模板提供了一个具体化函数定义的特性，又称显式具体化，意思是将函数的不具体参数定位具体参数，定义如下：

template<>void Func<数据类型>(数据类型 &p1, 数据类型 &p2)

下面这个例子只是做一个用法上的说明，本身并不需要具体化函数模板，因为可以重载一个参数为数组的Func函数：Func(T *t);

struct Info
{
	char name[10];//姓名
	int Num;//编号
};

//交换两个数据的值
template<class T>
void Func(T &t1, T &t2)
{
	T temp;
	temp = t1;
	t1 = t2;
	t2 = temp;
}

//只交换编号
//如果不具体化函数模板，会调用上面的函数交换的是两个结构彼此所有的数据
template<>void Func<Info>(Info &p1, Info &p2)
{
	int num;
	num = p1.Num;
	p1.Num = p2.Num;
	p2.Num = num;
}

int main()  
{
	Info p1 = {"张三", 21}, p2 = {"李四", 27};
	int a = 10, b = 5;
	//交换两个int变量的值
	Func(a,b);
	cout<<a<<"  "<<b<<endl;

	//此时编译器会立刻找到具体化接收两个Info类型的函数，将不再寻找其他模板
	Func(p1,p2);
	cout<<p1.name<<" "<<p1.Num<<endl;
	return 0;
}

4、具体化函数模板和实例化函数模板的区别

template<class T>
void show(T t)
{
	cout<<t<<endl;
}

//实例化函数模板
//告诉编译器，根据已有的模板定义部分，创建参数类型为float的模板实例
//不能对实例化函数模板进行定义，因为它会沿用已有的show函数的定义部分：{cout<<t<<endl;}
//声明实例化函数模板的作用是预估可能出现的参数类型，提高编译执行效率，通常情况下是不需要显式声明的
template void show<float>(float f);

//具体化函数模板
//告诉编译器，利用此模板生成一个具体化了参数类型的重载函数,并且可能对函数的定义重新实现
template<> void show<int&>(int &n)
{
	n += 100;
}

int main()  
{
	int a = 9;
	show(a);
	return 0;
}

6、类模板

类模板和函数模板大致相同，具体如下：

//定义一个类模板
template<class T>
class MyClass
{
public:
	MyClass(T n):m_Count(n){}
	~MyClass(){}
	T get()const{return m_Count;}
private:
	T m_Count;
};

int main()  
{
	//MyClass是一个类，后面的<>又说明它是一个类模板
	//编译器会具体化模板参数为int
	MyClass<int> M(3);
	cout<<M.get()<<endl;

	//具体化模板参数为float
	MyClass<float> MC(3.14159f);
	cout<<MC.get()<<endl;
	return 0;
}