C++模板介绍

目录

1.前言：

2.模板的概念：

3.函数模板格式：

4.模板的原理：

5.类模板的实例化

5.1显示实例化

5.2隐式实例化

6. 模板参数的匹配原则

7.类模板

7.1类模板格式

7.2类模板的实例化

---

1.前言：

在介绍模板之前，现提出个问题，有函数重载，为什么要引入模板呢？

其实在使用的时候也可以发现，函数重载只要新增一个类型，就需要重新写一个函数，非常的不方便，而且如果一个重载写出现问题，其他的重载函数也可能跟着遭殃，非常的不人性，所以就有了模板，我们给参数让编译器生成一份代码，非常的人性。

2.模板的概念：

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

3.函数模板格式：

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

typename 是用来定义模板类型的关键字，也可以使用class,不可以使用struct代替class

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

template<typename T>
void Swap( T& left, T& right)
{
 T temp = left;
 left = right;
 right = temp;
}

4.模板的原理：

在使用模板的时候，编译器会根据你传的参数，推导出类型，然后实例化出该类型的函数。

5.类模板的实例化

5.1显示实例化

  直接在函数模板后加上< 需要的类型>，编译器会直接生成，该类型的参数。

swap<int>()

5.2隐式实例化

直接传参数，让编译器自己推导所需的类型

6. 模板参数的匹配原则

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

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版本
}

这里 Add(1, 2)会优先调用，自己定义的函数，Add<int>(1, 2)只会调用模板函数。

7.类模板

7.1类模板格式

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

class 类模板名

{

// 类内成员定义

}；                                        

7.2类模板的实例化

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

// Vector类名，Vector<int>才是类型
Vector<int> s1;
Vector<double> s2;