C++小白的逆袭之路——初阶（第十二章：模版进阶）
1. 非类型模版参数
1. 模板参数分类型模版参数与非类型模版参数：
- 类型模版参数：出现在模板参数列表中，跟在
class或者typename之类的参数类型名称。 - 非类型模版参数：就是用一个常量作为类(函数)模板的一个参数，在类(函数)模板中可将该参数当成常量来使用。
2. 问题引入：
- 现在有一个需求，要求创建两个静态栈，一个栈定长为10，一个栈定长为10000。如何设计？
#define N 10000
template<class T>
class Stack
{
// ...
private:
T _a[N];
};
- 一种方式是用
#define定义的宏来设置栈的大小，为了兼容定长为10000的栈，N的大小设置为10000，但是这样做会让定长为10的栈浪费大量空间。
3. 引入非类型模版参数：
// 非类型模版参数 -- 只支持整型家族
template<class T, int N>
class Stack
{
// ...
private:
T _a[N];
};
int main()
{
Stack<int, 10> st1; // 大小为10
Stack<double, 10000> st2; // 大小为10000
return 0;
}
N在这里是非类型模版参数，我们传10这个栈就是10大小，传10000这个栈就是10000大小，完美解决上述问题。
4. 非类型模版参数的特点：
- 非类型模版参数只支持整型类型，也就是只支持
char，int，long，long long这些类型；不支持浮点数类型、字符串类型等等其他类型。 - 非类型模版参数只能传常量，不能传变量；非类型模版参数必须在编译期间就能确定。
5. 非类型模版参数在C++11中的运用：
- C++11中引入了一个新容器
array，其实就是一个定长数组。
array相较于普通静态数组的优势是可以防止越界。
int main()
{
int arr1[10];
array<int, 10> arr2;
arr1[15] = 1; // 不一定报错
arr2[15] = 1; // 直接报错
return 0;
}
- 但是实际上
array设计的非常鸡肋，C++委员会的初衷是想让array替代静态数组，但是很多人用习惯了C语言的那套东西，嫌麻烦，也就不会选择array。更重要的原因是，array<int, 10> arr2;完全可以被vector<int> v(10, 0);替换，并且vector也会检查越界。
2. 模版的特化
2.1 概念
通常情况下，使用模板可以实现一些与类型无关的代码，但对于一些特殊类型的可能会得到一些错误的结果，需要特殊处理。
// 模版特化：针对某些类型做特殊化处理
template<class T1, class T2>
class Data
{
public:
Data()
{
cout << "Data<T1, T2>" << endl;
}
private:
T1 _d1;
T2 _d2;
};
// 特化 -- 全特化，所有参数都特化
template<>
class Data<int, double>
{
public:
Data()
{
cout << "Data<int, double>" << endl;
}
private:
int _d1;
double _d2;
};
int main()
{
Data<int, int> d1; // 走模版
Data<int, double> d2; // 走模版特化
return 0;
}
/*
输出：
Data<T1, T2>
Data<int, double>
*/
上面的例子中，特化出的类是class Data<int, double>，Data<int, int> d1;会匹配模版，Data<int, double> d2;会匹配模版特化，做特殊处理。特化的前面必须加上template<>，这是语法规定。
2.2 类模版特化
1. 全特化：
- 全特化即将模板参数列表中所有的参数都确定化。2.1例子中的特化就是全特化。
template<class T1, class T2>
class Data
{
public:
Data()
{
cout << "Data<T1, T2>" << endl;
}
private:
T1 _d1;
T2 _d2;
};
// 特化 -- 全特化，所有参数都特化
template<>
class Data<int, double>
{
public:
Data()
{
cout << "Data<int, double>" << endl;
}
private:
int _d1;
double _d2;
};
2. 偏特化（两种表现形式）：
- 对以下模版类进行特化：
template<class T1, class T2>
class Data
{
public:
Data() { cout << "Data<T1, T2>" << endl; }
private:
T1 _d1;
T2 _d2;
};
- 第一种形式：部分特化，将模版参数列表中的部分参数特化。
// 将第二个参数特化为int
template <class T1>
class Data<T1, int>
{
public:
Data() { cout << "Data<T1, int>" << endl; }
private:
T1 _d1;
int _d2;
};
- 第二种形式：对参数进行更一步的限制。偏特化并不仅仅是指特化部分参数，而是针对模板参数进行更一步的限制，比如限制模版参数为指针类型。
// 限制模版参数为指针类型
template<class T1, class T2>
class Data<T1*, T2*>
{
public:
Data()
{
cout << "Data<T1*, T2*>" << endl;
}
private:
T1* _d1;
T2* _d2;
};
// 限制模版参数为引用类型
template<class T1, class T2>
class Data<T1&, T2&>
{
public:
Data(const T1& a, const T2& b)
:_d1(a)
,_d2(b)
{
cout << "Data<T1&, T2&>" << endl;
}
private:
const T1& _d1;
const T2& _d2;
};
int main()
{
Data<int*, int*> d4;
Data<int&, int&> d5(1, 2);
return 0;
}
/*
输出：
Data<T1*, T2*>
Data<T1&, T2&>
*/
- 模版的特化也遵循最匹配原则。
3. 类模版特化实际应用：
- 创建一个专门用于比较小于的仿函数
Less。
template<class T>
class Less
{
public:
bool operator()(const T& left, const T& right) const
{
return left < right;
}
};
- 在
sort中使用这个比较方法。
void test()
{
int a = 0;
int b = 20;
int c = 13;
vector<int> v;
v.push_back(a);
v.push_back(b);
v.push_back(c);
sort(v.begin(), v.end(), Less<int>());
for (auto e : v)
{
cout << e << " ";
}
cout << endl;
vector<int*> v2;
v2.push_back(&a);
v2.push_back(&b);
v2.push_back(&c);
sort(v2.begin(), v2.end(), Less<int*>()); // 结果是随机的
for (auto e : v2)
{
cout << *e << " ";
}
cout << endl;
}
- 发现如果是直接比较
a,b,c的值，结果正确；但是如果要通过a,b,c的指针对其指向内容进行排序，结果错误。 - 之前我们的做法是自定义一个比较方法
Compare，然后传给sort。如今也可以通过特化Less解决。
template<class T>
class Less
{
public:
bool operator()(const T& left, const T& right) const
{
return left < right;
}
};
// 特化Less
template<class T>
class Less<T*>
{
public:
bool operator()(T* left, T* right)
{
return *left < *right;
}
};
- 之后我们再执行之前的
sort，就可以比较出正确的结果了。
2.3 函数模版特化
1. 函数模板的特化步骤：
- 必须要先有一个基础的函数模板；
- 关键字
template后面接一对空的尖括号<>； - 函数名后跟一对尖括号，尖括号中指定需要特化的类型；
- 函数形参表，必须要和模板函数的基础参数类型完全相同，不然不同编译器可能会报一些奇怪的错误。
template<class T>
bool Less(T left, T right)
{
return left < right;
}
// 特化一个int类型的Less函数
template<>
bool Less<int>(int left, int right)
{
return left < right;
}
int main()
{
cout << Less(1.1, 2.2) << endl; // 走函数模版
cout << Less(1, 2) << endl; // 走函数模版特化
}
2. 函数模版特化的注意事项：
- 在上面的示例中，
Less传形参时会发生数据拷贝，我们为了提高效率，一般选择传引用，并且用const修饰引用。
template<class T>
bool Less(const T& left, const T& right)
{
return left < right;
}
// 特化一个int类型的Less函数
template<>
bool Less<int>(const int& left, const int& right)
{
return left < right;
}
int类型的特化就需要稍作改动，保持跟模版函数的基础参数类型完全相同。但是如果我们使用指针特化Less就会出问题。
template<class T>
bool Less(const T& left, const T& right)
{
return left < right;
}
template<>
bool Less<int*>(const int* &left, const int* &right) // 报错
{
return *left < *right;
}
- 如果单从替换的角度去看这个特化函数，
T被替换为了int*，和模版函数参数列表保持一致，好像没什么问题。但是这样写却会直接报错，因为语义发生了改变。 const int* p中，const修饰的是*p，表示*p不能改变，p指向的内容不能改变。const int* &left也是如此，const修饰*left，表示left指向的内容不会改变。但是原模版函数参数列表中，语义是left本身不能被改变，特化的函数就出现了歧义。- 为了解决这一问题，我们需要改变一下特化函数中
const的位置，改为int* const &left，就可以了。和原模版函数参数列表语义相同，left不允许被改变。
template<class T>
bool Less(const T& left, const T& right)
{
return left < right;
}
template<>
bool Less<int*>(int* const &left, int* const &right) // 编译通过
{
return *left < *right;
}
3. 经验：
- 类模板特化建议使用，函数模版特化不建议使用，因为函数模版特化完全可以被函数重载代替。
template<class T>
bool Less(const T& left, const T& right)
{
return left < right;
}
bool Less(const int* const left, const int* const right)
{
return *left < *right;
}
Less(const int* const left, const int* const right)，是原模版函数实例化后的一个重载，这样写不香吗，不用非要写一个函数模版特化。
3. 模版分离编译
1. 什么是分离编译：
- 一个程序（项目）由若干个源文件共同实现，而每个源文件单独编译生成目标文件，最后将所有目标文件链接起来形成单一的可执行文件的过程称为分离编译模式。
2. 模版的分离编译：
- 假如有以下场景，模板的声明与定义分离开，在头文件中进行声明，源文件中完成定义：
// a.h
template<class T>
T Add(const T& left, const T& right);
// a.cpp
template<class T>
T Add(const T& left, const T& right)
{
return left + right;
}
// main.cpp
#include"a.h"
int main()
{
Add(1, 2);
Add(1.0, 2.0);
return 0;
}
- 分析：
3. 解决方法：
- 将声明和定义统一放到一个文件
xxx.hpp里或者xxx.h也是可以的。推荐使用这种方式。.hpp表示文件里既有声明也有定义。 - 模板定义的位置显式实例化。这种方法很鸡肋，不推荐使用。显示实例化例子如下：
// a.h
template<class T>
T Add(const T& left, const T& right);
template<class T>
class Stack
{
void Push(const T& x);
... // 只有声明
};
// a.cpp
template<class T>
T Add(const T& left, const T& right)
{
return left + right;
}
int Add<int>(const int& left, const int& right); // 函数显示实例化
double Add<double>(const double& left, const double& right); // 函数显示实例化
template<class T>
void Stack<T>::Push(const T& x)
{
...
}
...
/*
等等类方法的定义
*/
template
class Stack<int> // 类的显示实例化
// main.cpp
#include"a.h"
int main()
{
Add(1, 2);
Add(1.0, 2.0);
Stack<int> st;
return 0;
}
4. 模版总结
1. 优点：
- 模板复用了代码，节省资源，更快的迭代开发，C++的标准模板库(STL)因此而产生；
- 增强了代码的灵活性。
2. 缺陷：
- 模板会导致代码膨胀问题，也会导致编译时间变长；
- 出现模板编译错误时，错误信息非常凌乱，不易定位错误。
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
