【C++】模板函数 + 模板类

关于一些函数，因为类型不同，需要写多个函数来满足类型不同带来的麻烦

一、函数模板

1. 定义模板类型

• typename是用来定义模板参数关键字，也可以使用class(切记：不能使用struct代替class)

template<typename T>  //模板参数列表  - 参数类型
T& Add(T& x, T& y)    //函数参数列表  - 参数对象
{
    return (x + y);
}

真正调用时候是模板实例化，该实例化是通过模板推演出来的，类似于类的对象实例化

---

2. 函数模板实例化

• 显式实例化

给它类型

#include <iostream>
using namespace std;

template<class T>

T& Add(T& x, T& y)
{
	return (x + y);
}

int main()
{
	int a = 1;
	int b = 2;
	int c = 0;
	 
	c = Add<int>(a, b);

	return 0;
}

• 隐式实例化

编译器自己推演，当普通函数和函数模板同时出现，优先调用普通函数

---

二、类模板

1. 类模板定义

类模板是一个类家族，模板类是通过类模板实例化的具体类

C++中类模板的声明格式为template＜模板形参表声明＞＜类声明＞，并且类模板的成员函数都是模板函数

template<class T1, class T2, ..., class Tn>
class 类模板名
{
 // 类内成员定义
}; 

但类没法推算，因为没有参数，所以只能显式实例化

类模板名<类型名> st1;

---

2. 类模板实例化

试图在类里面声明，类外面定义

仅仅是这样不行

#include <iostream>
using namespace std;

template<class T>
class A
{
public:
	T& Add(T& x, T& y);
private:
	T _a;
};

template<class T>
T& A<T>::Add(T& x, T& y)
{
	return (x + y);
}

模板的定义距离函数太远了识别不来，模板类的函数模板也要进行相对应的声明，类型<模板列表>