函数模板和类模板(+代码实现)

一、函数模板

1.函数模板

建立一个通用函数，其函数类型和形参类型不具体指定，用一个虚拟类型来代表这个通用函数来代表。凡是函数体相同的函数都可以用这个模板来代替，不必定义多个函数，只需在模板中定义一次即可。在调用函数时系统会根据实参的类型来取代模板中虚拟的类型，从而实现不同函数的功能。

作用：功能相同而数据类型不同的一些函数，不必一一定义各个函数，通过定义一个可以对任何类型变量操作的模板函数，在调用函数时，系统会根据实参的类型，取代函数模板中的类型参数，得到具体的函数。

2、函数模板的一般形式

template <typename T>

或

template <class T>

template 的含义是“模板”，尖括号中 typename（或class）是关键字，T是一个类型参数（虚拟的类型名）。 typename和class的作用相同，都是表示“类型名”，二者可以互换。

3、适用范围

函数模板比函数重载更方便，程序更简洁，但是它只适用于函数体相同、函数的参数个数相同而类型不同的情况。如果函数参数的个数不同，则不能用函数模板。

4、具体实现见下列代码

 

二、类模板

1、类模板的一般形式

template <class 类型参数名>

template 是模板，template后面尖括号内的内容为模板的参数表，class表示其后面的是类型参数，类型参数名可以任意取。

2、类模板实例化：

类名<实际类型名> 对象名[(参数表)]；

或者

类名<实际类型名> *对象名 = new 类名<实际类型名>[(参数表)]

3、特点：由于模板包含类型参数，因此又称为参数化表，模板是类的抽象，类是模板的实例。利用模板可以建立包含各种数据类型的类。

4、类外定义类模板成员函数：

template <class 模板类型名>

返回类型  类名<模板类型名>::成员函数名(...)

{......}

5、具体实现见下列代码。

 

#include <iostream>
#include <string>
using namespace std;

//类模板
template <class MyC>
class Compare
{
public:
	MyC x, y;

	Compare()
	{
		x = 0;
		y = 0;
	}

	Compare(MyC a, MyC b)
	{
		x = a;
		y = b;
	}

	MyC max()
	{
		return x > y ? x : y;
	}

	MyC min();
};

template <class MyC>
MyC Compare<MyC>::min()
{
	return x < y ? x : y;
}


/*	//函数模板
template <typename MyT>
MyT My_max(MyT a, MyT b)
{
	return a > b ? a : b;
}
*/


int main()
{
/*	//函数模板test	
 	int i1 = 0, i2 = 1;
	double d1 = 5.0, d2 = 3.0;
	string s1 = "hello", s2 = "world";

	cout << "int:" << My_max(i1, i2) << endl;
	cout << "double:" << (%d)My_max(d1, d2) << endl;
	cout << "string:" << My_max(s1, s2) << endl;
*/


	//类模板test
	Compare<int> m_Com1;
	m_Com1.x = 1;
	cout << "m_Com1:" << m_Com1.max() << endl;

	Compare<int> *m_Com2 = new Compare<int>;
	cout << "m_Com2:" << m_Com2->max() << endl;

	Compare<int> m_Com3(3, 5);
	cout << "m_Com3:" << m_Com3.max() << endl;

	Compare<int> *m_Com4 = new Compare<int>(4, 2);
	cout << "m_Com4:" << m_Com4->min() << endl;

	return 0;
}