模板【初阶】

一、泛型编程：

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

 ✨✨如下：者写交换函数的实现逻辑都是一样的，除了类型的不同，并无差别

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;
}
void Swap(char& left, char& right)
{
  char temp = left;
  left = right;
  right = temp;
}

🪰有一个模具，然后需要不同颜色该金属物件，可以注入不同颜色的材料液即可

🪰🪰交换函数可以通过模板来写泛型编程：这样的函数能够通用多种类型的数据

//通过模板写交换函数
template<class T>
void Swap(T& left, T& right)
{
	T tmp = left;
	left = right;
	right = tmp;
}

二、模板：

1、定义：

template关键字 模板的意思

<>里面叫模板参数列表，里面和写函数参数列表类似的写法，类型+名字构成一个模板参数。

typename也是用来定义模板参数关键字，当然使用class也行(切记：不能使用struct代替）

这2个关键字随便用都可以。用的比较多的还是typename

 2、函数模板：

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

✨✨ 格式如下：

 2.1、函数模板的原理：

🪰🪰函数模板是一个蓝图，它本身并不是函数，是编译器使用方式产生特定具体类型函数的模具。 所以其实模板就是将本来应该我们做的重复的事情交给了编译器

在编译器编译阶段，对于模板函数的使用，编译器需要根据传入的实参类型来推演生成对应 类型的函数以供调用。比如：当用double类型使用函数模板时，编译器通过对实参类型的推演， 将T确定为double类型，然后产生一份专门处理double类型的代码，对于字符类型也是如此。

 2.2、函数模板实列化：

用不同类型的参数使用函数模板时，称为函数模板的实例化。模板参数实例化分为：隐式实例化 和显式实例化

✨ 隐式实列化（推导实例化）：

让编译器根据实参推演模板参数的实际类型

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

👉编译器会去推导模板参数，这里是int型，会推导出对应类型的参数T，从而生成相应的函数

 注意的是这里传参不会像普通函数传参那样自动进行类型转换再传参,而是直接传过去让编译器推导T的类型

 🐸传了一个double、和int型的实参，匹配不了，因为模板参数只有一个T，这里有2个参数，编译器无法确定T是int 还是 double 类型。

注意：在模板中，编译器一般不会进行类型转换操作，因为一旦转化出问题，编译器就需要 背黑锅🤔🤔

改成如下即可：

①模板参数列表再增加一个参数

template<typename T1,typename T2>
T1 Add(const T1& left, const T2& right)
{
	return left + right;
}

但是这个返回类型这里只能写一个，T1、T2自己选；

②强转类型，根据需求可以将一个参数转成同类型参数

 ③显示实列化

---

✨显示实例化：

🪰在函数名后的<>中指定模板参数的实际类型 ；直接告诉编译器这里的T是什么类型；函数里面所有T都会变成该类型

 函数名后面加<类型>

🪰如果类型不匹配，编译器会尝试进行隐式类型转换，如果无法转换成功编译器将会报错。

---

2.3、模板参数的匹配原则：

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

//加法函数模板
template<typename T>
T Add(const T& left, const T& right)
{
	return left + right;
}
//普通函数（非模板）
int Add(const int& left, const int& right)
{
	return left + right;
}

✨✨此时当加法是int类型的函数调用时，优先调用普通函数，因为编译器对于模板要先进行推导，推导出来才能使用，而这里有现成的肯定是要现成的。

---

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

 // 专门处理int的加法函数
  int Add(const int& left, const int& right)
 {
      return left + right;3. 模板函数不允许自动类型转换，但普通函数可以进行自动类型转换
 
3. 类模板 
3.1 类模板的定义格式 
 
 }
  
  // 通用加法函数
  template<class T1, class T2>
  T1 Add(const T1& left,const T2& right)
 {
      return left + right;
 }
  
  void Test()
 {
      Add(1, 2);     // 与非函数模板类型完全匹配，不需要函数模板实例化
      Add(1, 2.0);   // 模板函数可以生成更加匹配的版本，编译器根据实参生成更加匹配的Add函数
 }

---

 3. 模板函数不允许自动类型转换，但普通函数可以进行自动类型转换

---

3、类模板：

✨✨格式：

 3.1、类模板（模板类）

template<typename T>//比typedef 更好，可以定义多个栈，但是typedef只能用一个
class Stack
{
public:
	//构造:
	Stack(int n = 4)
		:_array(new T[n])
		,_capacity(n)
		,_size(0)
	{
	}
	~Stack()
	{
		delete[] _array;
		_array = nullptr;
		_size = _capacity = 0;
	}
	void Push(const T& x)
	{
		//模拟realloc
		if (_size == _capacity)
		{
			T* tmp = new T[_capacity * 2];
			memcpy(tmp, _array, sizeof(T) * _size);//将_arryar拷贝过啦
			delete[] _array;//销毁原空间；
			_array = tmp;//指向tmp指向的空间；
		}
		_array[_size++] = x;
	}
	void Print();
	int Size();
private:
	T* _array;
	size_t _capacity;
	size_t _size;

};
//得单独定义一个类模板
template<typename T>
void Stack<T>::Print()
{
	for (int i = 0; i < _size;i++)
	{
		cout << _array[i] << " ";
	}
	cout << endl;//换行
}
template<typename T>
int Stack<T>::Size()
{
	return _size;
}
int main()
{
	Stack<int>a;
	a.Push(1);
	a.Push(2);
	a.Size();
	a.Print();

	Stack<double>b;
	b.Push(1.2);
	b.Push(2.4);
	b.Print();
	return 0;
}

 ①都是显示化实例化：

②当单独进行声明和定义时，在成员函数定义处在定义一个模板:

 ③类模板实例化与函数模板实例化不同，类模板实例化需要在类模板名字后跟<>，然后将实例化的类型放在<>中即可，类模板名字不是真正的类，而实例化的结果才是真正的类。

// Stack是类名，Stack<int>才是类型
Stack<int> st1;    // int
Stack<double> st2; // double

④不支持定义和声明分离到2个文件；

 4、写模板时，对应下面紧跟着的函数/类：

 一个模板对应一个类或者函数

 下面的函数就不能使用模板参数了，要在其前一行写一个模板来对应

---

同理，类也是如此；

三、总结：

继  续  加  油