C++泛型编程 -- 模板初识

泛型编程

比如一个交换函数

void Swap(int a, int b)
{
	int tem = a;
	a = b;
	b = tem;
}

这个函数只适用于传入的参数是int类型的，如果我们传入的是char，double，自定义类型的数据，虽然可以使用函数重载来实现，但是这样代码的复用率比较低，只要有新的类型出现的时候我们就需要再写一个对应的函数，可维护性比较低。

那能否告诉编译器一个模子，让编译器根据不同的类型利用这个模子来生成对应的代码呢

函数模板

基本模板格式

template< typename T>

template<typename T>
void Swap(T& a, T& b)
{
	T tem = a;
	a = b;
	b = tem;
}

void test()
{
	int a = 1, b = 2;
	char c = 'a', d = 'b';
	float e = 1.2, f = 1.5;
	Swap(a, b);
	Swap(c, d);
	Swap(e, f);
	cout << a << " " << b << endl;
	cout << c << " " << d << endl;
	cout << e << " " << f << endl;
}

看上去Swap每次都会去调用模板函数，但其实底层实现并不是这样的，在编译阶段，编译器会根据传入的实参的类型推演出函数模板的类型，然后去实例化对应的函数，再调用这个函数。

函数模板实例化

隐式实例化
让编译器根据传入的实参推演模板参数的实际类型。

现实实例化
如果传入的实参类型不一样，编译器就会不知道按照哪个类型去推演，这时候我们就需要现实的进行实例化。

template<typename T>
T add(T a, T b)
{
	return a + b;
}

void test()
{
	int a = 1;
	double b = 1.2;
	add(a, b);
}

这时我们就需要手动的显示实例化

void test()
{
	int a = 1;
	double b = 1.2;
	add<int>(a, b);
}

编译器就会按照int类型进行模板的实例化。

模板参数匹配原则

1.一个非模板函数可以和模板函数同时存在，而且该模板函数还可以实例化为这个非模板函数

template<typename T1,typename T2>
T1 Add(T1 a, T2 b)
{
	return a + b;
}

int Add(int a, int b)
{
	return a + b;
}


void test()
{
	
	Add(1, 2);
	Add<int>(1, 2);
}

2.对于非模板函数和同名函数模板，如果其他条件都相同，在调用的时候会优先调用非模板函数，而不会从该模板中产生一个实例，如果模板可以产生一个具有更好匹配的函数，那么将选择模板

template<typename T1,typename T2>
T1 Add(T1 a, T2 b)
{
	return a + b;
}

int Add(int a, int b)
{
	return a + b;
}


void test()
{
	
	Add(1, 2);
	Add(1, 1.2);
	
}

类模板

和函数模板一样，在类前声明模板

template<class T>
class seqList
{
public:
	seqList(int n)
		:_data(new T[n])
		,_size(0)
		,_capacity(n)
	{}

private:
	T* _data;
	size_t _size;
	size_t _capacity;
};

类模板中，函数放在类外定义的时候，需要加模板参数列表

template<class T>
class seqList
{
public:
	seqList(int n)
		:_data(new T[n])
		,_size(0)
		,_capacity(n)
	{}

	T seqListAt(size_t pos);

private:
	T* _data;
	size_t _size;
	size_t _capacity;
};

template<class T>
T seqList<T>::seqListAt(size_t pos)
{
	return _data[pos];
}

在我们实例化对象的时候，因为是自定义类型，编译器无法推演出我们想要的类型，所以我们必须使用显示实例化

seqList<int> sq1(10);
seqList<double> sq2(4);

注意：seqList是类模板名，seqList< int >才是类型，类模板名不是真正的类，而实例化后的结果再试真正的类。