C++学习（十）：模版

一：函数模版

我们日常使用会碰到一个函数要用各种类型参数的情况，像加减法，交换等。那么C++就为此允许实现函数模版来简化我们的工作。

一：格式

template<typename T1, typename T2,......,typename Tn>

返回值类型 函数名 ( 参数列表 ){}

注意： typename 是 用来定义模板参数 关键字 ， 也可以使用 class，不能用struct代替class！

template <class T>
T add(T a, T b) {
	return a + b;
}
int main() {
	int a = 1, b = 2;
	double c = 1.0, d = 2.0;

	cout << add(a, b)<<endl;
	cout << add(c, d) << endl;
	return 0;
}

编译器会自动推演T是什么类型

二：实例化

    //add(1, 2.0); 这里编译不通过 因为编译器分不清是int 还是 double
	cout << add<int>(1,2.0 )<<endl; //显示实例化
	cout << add(1, (int)2.0) << endl;//强制转化

显示实例化：在函数名后的 <> 中指定模板参数的实际类型

三：参数匹配

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

// 专门处理int的加法函数
int Add(int left, int right) {
	return left + right;
}
// 通用加法函数
template<class T> T Add(T left, T right) {
	return left + right;
}
void Test()
{
	Add(1, 2); // 与非模板函数匹配，编译器不需要特化
	Add<int>(1, 2); // 调用编译器特化的Add版本
}

2.对于非模板函数和同名函数模板，如果其他条件都相同，在调动时会优先调用非模板函数。

// 专门处理int的加法函数
int Add(int left, int right) {
	return left + right;
}
// 通用加法函数
template<class T1, class T2>
T1 Add(T1 left, T2 right) {
	return left + right;
}
void Test()
{
	Add(1, 2); // 与非函数模板类型完全匹配，不需要函数模板实例化
	Add(1, 2.0); // 模板函数可以生成更加匹配的版本，编译器根据实参生成更加匹配的Add函数
}

二：类模版

一：格式

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

template<class T>
class Vector { // 注意：Vector不是具体的类 像Vector<int>才是类型
public: Vector(size_t capacity = 10)
    :_Data(new T[_capacity])
    , _size(0)
    ,_capacity(capacity)
    {}
    // 使用析构函数演示：在类中声明，在类外定义。
    ~Vector();
    //……
private:
    T* _Data;
    size_t _size;
    size_t _capacity;
};
template<class T>// 注意：类模板中函数放在类外进行定义时，需要加模板参数列表
Vector<T>::~Vector() {
    if (_Data) delete[] _Data;
    _size = _capacity = 0;
}

为什么用size_t：因为size和capacity不会为负数 所以用无符号整形 当然也可以用int

二：实例化

类的实例化是在类模板名字后跟<>，然后将实例化的类型放在<>中

Vector<int> s1;

感谢你看到这大家共同进步！