泛型编程、模版（一）：

1.泛型编程：

void Swap(int& left, int& right)
{
	int temp = left;
	left = right;
	right = temp;
}
void Swap(double& left, double& right)
{
	double temp = left;
	left = right;
	right = temp;
}

【思考】

原本的函数重载，我只是改了函数参数个数和参数类型，我们需要为不同的重载函数写同样的代码

❓我们可以将他们写在一起吗？

可以的，用泛型编程！template<class T>后面就写正常的函数就可以了

template<class T>
void Swap(T& x, T& y)
{
	T tmp = x;
	x = y;
	y = tmp;
}
int main()
{
	int a = 1, b = 2;
	Swap(a, b);
	return 0;
}

❓为什么不能直接函数重载，而要弄一个泛型编程呢？

• 就拿swap函数为例，当参数类型变为char类型，我们需要写一个重载函数，而当参数类型为int类型又要写一个重载函数。
• 代码的可维护性比较低，一个出错可能所有的重载均出错

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

如果在C++中，也能够存在这样一个模具，通过给这个模具中填充不同材料(类型)，来获得不同材料的铸件

(即生成具体类型的代码），那将会节省许多头发。巧的是前人早已将树栽好，我们只需在此乘凉。

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

1.1调用泛型编程时，不同参数的地址是否一样？

template<class T>
void Swap(T& x, T& y)
{
	T tmp = x;
	x = y;
	y = tmp;
}
int main()
{
	int a = 1, b = 2;
	Swap(a, b);

	double c = 1.1, d = 1.2;
	Swap(c, d);
	return 0;
}

❓这两个swap函数是不是调用同一个函数呢？

显然，这两个函数的地址不一样，这两个并不是同一个函数

1.2泛型编程的底层原理：

编译器会帮我们实例化出代码，该有两份还是有两份，三份代码还是三份

---

2.模版：

模版分为两种：一种是函数模版，一种是类模板

2.1函数模版：

函数模板概念：

函数模板代表了一个函数家族，该函数模板与类型无关，在使用时被参数化，根据实参类型产生函数的特定
类型版本。

2.1.1函数模板的语法：

template<typename T1, typename T2,......,typename Tn>
返回值类型 函数名(参数列表){}

模版有多个参数

template<class x,class y>
void swap(x& a, y& b)
{
	;
}

❓template<class T>这里的class可以用什么替代？

可以用typename，但是不可以用struct替代（报错）

只要是模版中定义的参数，函数都可以使用

Swap这个函数库里面有写了一个函数模版

template<typename T>
T Add(const T& left, const T& right)
{
	return left + right;
}
int main()
{
	int a = 1, b = 2;
	double c = 1.1, d = 1.2;
	cout<<Add(a, (int)d)<<endl;
	cout<<Add((double)a, d)<<endl;
	cout << Add<int>(a ,d) << endl;
	cout << Add<double>(a ,d) << endl;
	return 0;
}

❓ Swap(a, d);这个能不能编译通过？

答案是不可以的，编译器不能准确的推演类型，如何解决呢？

1.强制类型转换

2.显示实例化

当函数同时存在，他会调用哪一个呢？

显然，编译器回调我们写的

template<typename T>
T Add(const T& left, const T& right)
{
	return left + right;
}
int Add(int left, int right)
{
	return left + right;
}
int main()
{
	int a = 1, b = 2;
	Add(a, b);
	return 0;
}

那如果我们想要调用模版怎么办？

Add<int>(a, b);这样就可以了

2.2类模板：

2.2.1类模板的语法：

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

template <class T>
class Stack
{
public:
	Stack(int capacity = 4)
	{
		_a = new T[capacity];
		_top = 0;
		_capacity = capacity;
	}
	~Stack()
	{
		delete[] _a;
		_capacity = _top = 0;
	}
private:
	T* _a;
	size_t _top;
	size_t _capacity;
};
int main()
{
	Stack <int>st1;//int
	Stack<double> st2;//double
	return 0;
}

类模版中的函数如果要类外写，怎么写

// 注意：类模板中函数放在类外进行定义时，需要加模板参数列表
template <class T>
Vector<T>::~Vector()
{
if(_pData)
delete[] _pData;
_size = _capacity = 0;
}

Stack <int>st1;//int
Stack<double> st2;//double
return 0;

}

类模版中的函数如果要类外写，怎么写

```cpp
// 注意：类模板中函数放在类外进行定义时，需要加模板参数列表
template <class T>
Vector<T>::~Vector()
{
if(_pData)
delete[] _pData;
_size = _capacity = 0;
}