【C++】之模板初阶

目录

一.泛型编程

二.函数模板

三.类模板

---

一.泛型编程

泛型编程：编写与类型无关的通用代码，是代码复用的一种手段。模板是泛型编程的基础。

模板可以类比到生活中的模具

模具可以填充不同的材料做出同一特性的物体；模板则可以使用不同类型在同一个函数中执行

模板的语法：

template<typename T1, typename T2, ... ..., typename Tn>

typename通常情况下可以替换为class

二.函数模板

1.提高函数复用性

//可以交换各种类型数据的函数
template<typename T>
//template<class T>
void Swap(T& left, T& right)
{
	T tmp = left;
	left = right;
	right = tmp;
}

2.自动类型推导有歧义，解决方法：

template<typename T>
T Add(const T& a, const T& b)
{
	return a + b;
}

        1).隐式实例化

	cout << Add((int)1.5, 2) << endl;
	cout << Add(1.5, (double)2) << endl;

        2).显式实例化

	cout << Add<int>(1.5, 2) << endl;
	cout << Add<double>(1.5, 2) << endl;

3.无法进行自动类型推导

template<typename T>
T* Func(int n)
{
	T* a = new T[n];
	return a;
}
cout << Func<int>(10) << endl;

4.直接指定类型的函数，与类模板不冲突，且如果类型严格匹配，优先使用指定类型的函数2

//1.
template<typename T>
T Add(const T& a, const T& b)
{
	return a + b;
}
//2.
int Add(const int& a, const int& b)
{
	return a + b;
}
cout << Add(10, 20) << endl;

5.模板实例化过程

先推导类型，后实例化对象

三.类模板

类模板与模板类是两个不同的概念

类模板是一个模板，模板类是通过类模板实例化出来的具体的类

template <typename T>
class Stack
{
public:
	Stack(size_t capacity = 4)
		:_a(nullptr),_top(0),_capacity(0)
	{
		if (capacity > 0)
		{
			_a = new T[capacity];
			_capacity = capacity;
			_top = 0;
		}
	}
	~Stack()
	{
		delete[] _a;
		_a = nullptr;
		_capacity = _top = 0;
	}
private:
	T* _a;
	size_t _top;
	size_t _capacity;
};
int main()
{
	Stack<int> st1;
	Stack<char> st2;
	Stack<double> st3;
	Stack<int> st4(100);
	Stack<int> st5(0);
	return 0;
}