C++模板(初阶)

模板(初阶)

C++提出了泛型编程

函数模板

函数模板的用法

template<class T> // template<typename T> --模板参数列表--->定义的类型
//template<class T1,class T2>可以定义多个类型
void Swap(T& x1,T& x2)//函数参数列表-->定义的是对象
{ 
   T temp=x1;
   x1=x2;
   x2=temp;
}
int main()
{
    int x1=10,x2=20;
    char y1='a',y2='b';
    double t1=1.0,t2=2.0;
    Swap(x1,x2);
    Swap(y1,y2);
    Swap(t1,t2);
    return 0;
}

函数模板的用法就是这个样子，在main函数中调用的三个Swap函数是同一个函数吗？—>很显然不是的，因为它们的参数类型都不一样，可以用vs的调试转到反汇编观察，会发现它们三个call的地址都是不一样的，函数模板实际上就是编译器根据我们写好的模板，实例化出我们所需要的函数，这些函数都是生成了的，只是不需要我们手动实现了，编译器会根据我们写的函数模板自动实例化。

注意

函数模板可以显示实例化，就是可以指定函数实例化的类型；当普通函数和函数模板同时存在时，如果普通函数符合会优先调用普通函数

template<typename T>
T Add(const T& x1, const T& x2)
{
	T sum = x1 + x2;
	return sum;
}
int main()
{
	int x1 = 10, x2 = 20;
	double y1 = 1.1, y2 = 2.22;
	cout<<Add(x1, x2) << endl;
    cout<<Add(y1, y2) << endl;
    //因为发生了隐式类型转换，会形成临时变量，引用引的是这个临时变量，它是不可修改的左值，所以函数参数列表需要用const修饰
	//否则就是权限的扩大
	cout<<Add<double>(x1, y2) << endl;
    //cout<<Add(x1,y1)<<endl; --->这会报错
	return 0;
}

---

类模板

用法其实跟函数模板相似,不过因为类不能传参所以类模板不能像函数模板那样自动推导类型，需要使用显示实例化

#include<iostream>
using namespace std;
//以栈为例
template<class T>
class Stack 
{
public:
	Stack(int capacity = 4)
		:_capacity(capacity)
        ,_top(0)
	{
		_a = new T[_capacity];
	}
	~Stack()
	{
		delete[] _a;
		_top = _capacity = 0;
		_a = nullptr;
	}
private:
    T* _a;
	int _capacity;
	int _top;
};
int main()
{
	//因为类不能传参所以类模板不能像函数模板那样自动推导类型
	//需要显示实例化
	Stack<int> st1;
	Stack<double> st2;
	return 0;
}

需要注意一下，当函数的声明跟定义分离的时候需要这样写

template<class T>//默认函数在类模板中声明了，在类外实现
void Stack<T>::Push(const T& x)
{//需要指定类域，并且带上显示实例化的类型
    //......
}