06 C++中类、函数、成员模板基本用法

1、概述

需要多个对不同类型使用同一种算法的类、函数和成员时，可使用模板(也就是说用泛型来定义)。本篇主要介绍C++中类模板、函数模板、成员模板的声明和使用方法。

2、类模板class template

1）定义格式

template <typename T>
class complex
{
public:
	complex(T r = 0, T i = 0) :re(r), im(i){ }
	...
private:
	T re, im;
};

注意点：使用关键字template和typename(或class)声明开头。

2）使用模板

complex<int> c1(2, 3);

注意点：在模板类后增加 < >格式来说明模板数据类型。

3、函数模板

1）定义格式

template <class T>
const T& min(const T& a, const T& b){
	return a > b ? b : a;
}

注意点：定义函数模板格式与定义类格式类似

2）使用模板

int a = 3, b = 6;
int minVal = min(a, b);

注意点：使用函数模板时，直接调用函数，没有特殊格式，编译器会根据类型自动匹配。

4、成员模板

所谓的成员模板，即在声明的模板中（如类模板）中再定义模板。

1）定义格式

template <typename T1, typename T2>
struct pair
{
	typedef T1 first_type;
	typedef T2 second_type;

	T1 first;
	T2 second;
	pair() :first(T1()), second(T2()){ }
	pair(const T1& a, const T2& b) :first(a), second(b){ }

	template<typename U1, typename U2> //成员模板
	pair(const pair<U1, U2>& p) : first(p.first), second(p.second){ }
};

注意点：

a、在类模板pair中，再定义成员模板（此处是pair的构造函数）；

b、一般使用时，如在基类和派生类声明使用（父类可以引用子类对象），如下所示：