前言
大家好吖，欢迎来到 YY 滴C++系列 ，热烈欢迎！ 本章主要内容面向接触过C++的老铁
主要内容含：
欢迎订阅 YY滴C++专栏！更多干货持续更新！以下是传送门！
目录
- 一. 模板参数与模板参数列表
- 1)模板参数&模板参数列表
- 2)非类型模板参数
- 二.函数模板
- 1)函数模板概念
- 2)函数模板的格式
- 3)函数模板的实例化
- 1.【隐式实例化】
- 2.【显式实例化 】
- 3.【模板参数的匹配原则 】
- 4)函数模板的特化
- 1.【特化的使用场景】
- 2.【特化的步骤】
- 3.【结论：函数模板不建议特化】
- 三.类模板
- 1)类模板的格式
- 2)类模板的实例化
- 3)区分访问类模板时用【类型】而非【类名】
- 4)使用类模板内相关时的注意事项【假设场景：取类模板内的迭代器】
- 5) 类模板的特化【全特化&偏特化】
- [1]简单介绍
- [2]全特化
- [3]偏特化
- [4]偏特化运用场景
- 四. 模板的分离编译报错【声明定义要放在一个源（头）文件中】
- 1）分离编译模式
- 2）程序运行步骤简述
- 3）报错内容：“无法解析的外部符号”
- 4）类模板在C++11支持声明定义分离
一. 模板参数与模板参数列表
模板参数分类类型形参与非类型形参：
- 类型形参：出现在模板参数列表中，跟在class(typename)后面的参数类型名称
- 非类型形参：就是用一个常量作为类(函数)模板的一个参数，在类(函数)模板中可将该参数当成常量来使用
1)模板参数&模板参数列表
2)非类型模板参数
- 非类型模板参数主要用于定义一个【静态栈】例如array
- 要注意非类型模板参数只能用于整型 【浮点数、类对象以及字符串是不允许作为非类型模板参数的】
- 非类型的模板参数必须在编译期就能确认结果
// 静态栈
// 非类型模板参数
// 1、常量
// 2、必须是整形
template<class T, size_t N>
class Stack
{
public:
void func()
{
// 常量，不能修改(调用func会报错)
N = 0;
}
private:
T _a[N];
int _top;
};
二.函数模板
1)函数模板概念
- 函数模板代表了一个函数家族，该函数模板与类型无关，在使用时被参数化， 根据实参类型产生函数的特定类型版本 ;
2)函数模板的格式
template<typename T>
void Swap( T& left, T& right)
{
T temp = left;
left = right;
right = temp;
}
//可识别不同的同种类型交换（例：char与char，int与int，double与double）
PS:typename是用来定义模板参数关键字，也可以使用class(切记：不能使用struct代替class) ;
3)函数模板的实例化
引入：
- 用不同类型的参数使用函数模板时，称为 函数模板的实例化 。模板参数实例化分为： 隐式实例化 和 显式实例化
- PS:实例化实现的任务是交给编译器的
1.【隐式实例化】
引入：
- 隐式实例化的机制是让编译器 根据实参推演模板参数的实际类型 ，而这往往会出现一些问题
- 适用情况：其交换的两者是同一类
- 不适用情况：其交换的两者 不是同一类
template<class T> T Add(const T& left, const T& right) { return left + right; } int main() { int a1 = 10; double d1 = 10.0; Add(a1, d1); //解决方式：Add(a1, (int)d1);强制类型转换 } }
分析：
- 该语句不能通过编译，因为在编译期间，当编译器看到该实例化时，需要推演其实参类型
- 通过实参a1将T推演为int类型 ，通过实参d1将T推演为double类型 ，但模板参数列表中只有一个T，
- 编译器无法确定此处到底该将T确定为int 或者 double类型而报错
解决方式：
- 用户自己强制类型转换
Add(a1, (int)d1);- 显式实例化
2.【显式实例化 】
显式实例化：在函数名后的<>中 指定 模板参数的实际类型
int main(void) { int a = 10; double b = 20.0; // 显式实例化 Add<int>(a, b); return 0; }
3.【模板参数的匹配原则 】
- 一个非模板函数可以和一个 同名 的函数模板同时存在，而且该函数模板还可以被实例化为这个非模板函数
- 对于非模板函数和同名函数模板，如果其他条件都相同，在调动时会优先调用非模板函数而不会从该模板产生出一个实例。如果模板可以 产生一个具有更好匹配的函数， 那么将选择模板
- 模板函数不允许自动类型转换 ，但普通函数可以进行自动类型转换
4)函数模板的特化
1.【特化的使用场景】
- 特化有其使用需求与场景，但对于一些特殊类型的可能会得到一些错误的结果，比如：实现了一个专门用来进行小于比较的函数模板
- 用于比较【整型】【日期类Date】时，可以正常比较，但要用于比较【日期类指针】指向的【日期类】的大小时，需求无法完成
// 函数模板 -- 参数匹配
template<class T>
bool Less(T left, T right)
{
return left < right;
}
int main()
{
cout << Less(1, 2) << endl; // success
Date d1(2022, 7, 7);
Date d2(2022, 7, 8);
cout << Less(d1, d2) << endl; // success
Date* p1 = &d1;
Date* p2 = &d2;
cout << Less(p1, p2) << endl; // 比较的是指针的大小，需求无法完成
return 0;
}
2.【特化的步骤】
步骤:
- 必须要先有一个基础的函数模板
- 关键字template后面接一对空的尖括号< >
- 函数名后跟一对尖括号，尖括号中指定需要特化的类型 【当传入参数类型是特化类型时，则不走模板生成】
- 函数形参列表: 必须要和模板函数的基础参数类型完全相同 (如果不同，编译器可能会报一些奇怪的错误)
//基础的函数模板
template<class T>
bool Less(T left, T right)
{
return left < right; //步骤1：先有一个基础的函数模板
}
// 对Less函数模板进行特化
template<> //步骤2：关键字template后面接一对空的尖括号
bool Less<Date*> //步骤3：函数名后跟一对尖括号，尖括号中指定需要特化的类型
(Date* left, Date* right) //步骤4：函数形参列表要和模板函数的基础参数类型完全相同
{
return *left < *right;
}
int main()
{
cout << Less(1, 2) << endl; // success
Date d1(2022, 7, 7);
Date d2(2022, 7, 8);
cout << Less(d1, d2) << endl; // success
Date* p1 = &d1;
Date* p2 = &d2;
cout << Less(p1, p2) << endl; // 比较的是指针的大小，需求无法完成
return 0;
}
3.【结论：函数模板不建议特化】
- 注意：一般情况下如果函数模板遇到不能处理或者处理有误的类型，为了实现简单通常都是将该函数直接给出
bool Less(Date* left, Date* right)
{
return *left < *right;
}
三.类模板
1)类模板的格式
template<class T1, class T2, ..., class Tn>
class xxx//(类模板名)
{
// 类内成员定义
};
2)类模板的实例化
- 类模板实例化与函数模板实例化不同，
类模板实例化需要在类模板名字后跟<>，然后将实例化的类型放在<>中即可，类模板名字不是真正的类，而实例化的结果才是真正的类 ;Vector<int> s1; Vector<double> s2;
3)区分访问类模板时用【类型】而非【类名】
注意区分：
- 在类中：类名等同于类型
- 在类模板中：类型是类型，类名是类名
例如：
- 在下面代码中，类模板中函数放在类外进行定义时，需要加模板参数列表；在访问类模板时，用的是Vector（类型），而不是Vector（类名）;
template<class T> class Vector { public : Vector(size_t capacity = 10) : _pData(new T[capacity]) , _size(0) , _capacity(capacity) {} // 使用析构函数演示：在类中声明，在类外定义。 ~Vector(); void PushBack(const T& data)； void PopBack()； // ... size_t Size() { return _size; } T& operator[](size_t pos) { assert(pos < _size); return _pData[pos]; } private: T* _pData; size_t _size; size_t _capacity; }; // 注意：类模板中的函数放在类外进行定义时，需要加模板参数列表 template <class T> Vector<T>::~Vector()//这里是用类型访问类模板 { if(_pData) delete[] _pData; _size = _capacity = 0; }
4)使用类模板内相关时的注意事项【假设场景：取类模板内的迭代器】
- 当我们想要实现一个打印任意容器元素的print函数，我们需要遍历容器，于是设置了模板参数
Container- 如果我们直接写成
Container::const_iterator it = v.begin();形式，其中的const_iterator可能是静态变量，内部类名等等- 所以我们要在前面加上
typename，确保编译器能够识别到其是类型，等模板实例化再去找
//template<typename Container>
template<class Container>
void Print(const Container& v)
{
// 编译不确定Container::const_iterator是类型还是对象
// typename就是明确告诉编译器这里是类型，等模板实例化再去找
// Container::const_iterator it = v.begin();
typename Container::const_iterator it = v.begin();
auto it = v.begin();
while (it != v.end())
{
cout << *it << " ";
++it;
}
cout << endl;
}
5) 类模板的特化【全特化&偏特化】
[1]简单介绍
- 全特化即是将模板参数列表中的所有参数都确定化
- 偏特化即是【任何针对模版参数进一步进行条件限制设计的特化版本】：部分参数确定化，增加限定条件（指针/引用）
- 特化后的类是新的类，不用带上原类所有的成员变量或者函数，编译器会处理这块问题
- 特化后的类不能独立于原类存在
[2]全特化
template<>
class Data<int, char>
[3]偏特化
template <typename T1>
class Data<T1, char>//部分特化——————————>特化的char模板
template <typename T1, typename T2>
class Data <T1*, T2*>//两个参数偏特化为指针类型
class Data <T1&, T2&>//两个参数偏特化为引用类型
Data<double , int> d1; // 调用特化的char模板
Data<int , double> d2; // 调用基础的模板
Data<int *, int*> d3; //调用特化的指针模板
[4]偏特化运用场景
#include<vector>
#include <algorithm>
template<class T>
struct Less
{
bool operator()(const T& x, const T& y) const
{
return x < y;
}
};
// 对Less类模板按照指针方式特化
template<>
struct Less<Date*>
{
bool operator()(Date* x, Date* y) const
{
return *x < *y;
}
};
int main()
{
Date d1(2022, 7, 7);
Date d2(2022, 7, 6);
Date d3(2022, 7, 8);
vector<Date> v1;
//场景1
v1.push_back(d1);
v1.push_back(d2);
v1.push_back(d3);
// 可以直接排序，结果是日期升序
sort(v1.begin(), v1.end(), Less<Date>());
//场景2
vector<Date*> v2;
v2.push_back(&d1);
v2.push_back(&d2);
v2.push_back(&d3);
// 可以直接排序，结果错误日期还不是升序，而v2中放的地址是升序
// 此处需要在排序过程中，让sort比较v2中存放地址指向的日期对象
// 但是走Less模板，sort在排序时实际比较的是v2中指针的地址，因此无法达到预期
sort(v2.begin(), v2.end(), Less<Date*>());
return 0;
}
四. 模板的分离编译报错【声明定义要放在一个源（头）文件中】
1）分离编译模式
- 定义：一个程序（项目）由若干个源文件共同实现，而每个源文件单独编译生成目标文件，最后将所有目标文件链
接起来形成单一的可执行文件的过程称为分离编译模式。
2）程序运行步骤简述
- 要经过：预处理–>编译–>汇编–>链接
- 编译：对程序进行一些分析&错误检查后生成汇编代码；
- 头文件不参与编译，编译器对工程中的多个源文件是单独分开编译【把.c文件编译成.obj文件】
- 链接：将多个obj文件合并成一个，处理没有解决的地址问题
3）报错内容：“无法解析的外部符号”
- 如下所示：
报错原因分析:
- 由于模板声明和定义是分离的，模板定义部分是在.c文件中，经过编译阶段变成.obj文件
- 在.c文件中，编译器没有看到到对模板函数的实例化，因此不会生成对应函数
- 最后编译器在链接阶段会去找函数的地址，但是在上一步中函数没有实例化没有生成具体的代码，因此报错
4）类模板在C++11支持声明定义分离
在 C++中，类模板的声明和定义必须放在一起，因为编译器在编译时需要检查类模板的具体实现。如果将声明和定义分离，编译器就无法检查类模板的具体实现，这将导致编译错误。
在 C++11 中引入了模板具体化 (template specialization 的概念，允许程序员在另一个文件中声明和定义模板的一个特殊版本，但这只适用于模板具体化，对于普通的类模板而言，声明和定义仍然必须放在一起。
