c++ 模板（template）

❤️引言

首先看一个例子🌰

---

你的老板让你实现一个加法函数，输入的两个数字可以是任意类型。

看到这么简单的问题，你暗自窃喜，这么简单的题！？
于是乎，很快就写出了答案。
我猜你的代码是这个样子的：

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

double Add(double& a, double& b)
{
	return a + b;
}

//.....

• 但是这些函数其实都是一个模子里刻出来的，有没有什么办法可以实现通用的加法函数呢？

其实这就是泛型编程
不再是针对某种类型，能适应广泛的类型，跟具体的类型无关的代码
c++引入了模版解决这个问题。

❤️模版有什么用？

在没有模版之前，我们要写很多个函数，现在引入了模版就减轻了程序员的负担（类似于c里面的宏）

❤️模版怎么写？

template<class T>
//temlate中文意思是模版
//T是自定义的一个通用的类名字
T 函数名( 参数, 参数....)
{
	//....
}

• 可以看出模版和正常的函数极为相似，只是比具体的函数更通用。

---

先看看用模版解决前面的问题

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

---

❤️模版的分类

• 模版的主要作用就是避免写重复的代码，那么哪里有重复的代码，哪里就有模版。
• 需要写多个函数，于是引入了函数模版，
• 还有一种情况，比如你要是写一个栈，但是进栈的数字的类型可以不同，难道要写多个栈吗？
• 需要写多个栈，于是就引入了类模版。

🌛函数模版

下面看一个函数模版的例子

template <class T>
void swap(int& x,int& y)
{
T tmp = 0;
tmp = x;
x = y;
y = tmp;
};

🌛类模版

下面看一个类模版的例子。

template<class T>
class Stack
{
public:
	Stack(int capacity = 0)//构造函数
	{
		_a = new T[capacity];
		_capacity = capacity;
		_top = 0;
	}

	~Stack()//析构函数
	{
		cout << "~Stack()" << endl;
		delete[] _a;
		_capacity = 0;
		_top = 0;
	}

	void Push(const T& x)
	{
		//...
	}
private:
	T* _a;
	int _top;
	int _capacity;
};

❤️模版的实现原理

先给出结论：

• 编译器根据模版（函数模版/类模版）的类型，实例化出对应的函数和类。
• 然后编译器会把实例化生成的函数和类放到进程的代码段去执行。

---

这里有一段代码，用模版实现的，那么他们调用的是同一个函数吗？

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

int main()
{
	int a1 = 1, a2 = 3;
	double d1 = 9.8, d2 = 8.7;
	float f1 = 1.11, f2 = 3.98;
	Add(a1, a2);
	Add(d1, d2);
	Add(f1, f2);
	return 0;
}

先给出结论：调用的不是同一个函数
为了证明这个结论，我们在反汇编语言中看看他们具体调用的函数

由图可以看出，调用了不同地址的函数，也就是调用了不同的函数。

那么具体的函数是怎么样子呢？

🌛模版实例化

还是上面那个例子
我画了个图供大家理解。

• 在编译器编译阶段，对于函数模版的使用，编译器需要根据传入的实参类型来推演生成对应类型的函数。

• 比如当函数传入int类型时，编译器会自动生成int类型的函数，也就是把T自动识别成int。

❤️总结

当调用这样的模板函数时类型T就会被被调用时的类型所代替，比如swap(a,b)其中a和b是int
型，这时模板函数swap中的形参T就会被int 所代替，模板函数就变为swap(int &a, int
&b)。而当swap(c,d)其中c和d是double类型时，模板函数会被替换为swap(double &a, double
&b)，这样就实现了函数的实现与类型无关的代码。