IT评测·应用市场-qidao123.com

标题: C++模版(进阶) [打印本页]

作者: 曂沅仴駦 时间: 2025-3-21 20:23
标题: C++模版(进阶)
一、非类型模版参数

1.模板参数分为类类型形参与非类型形参。
类型形参即: 出现在模板参数列表中，跟在class或者typename之后的参数类型名称。
非类型形参：就是用一个常量作为类(函数)模板的一个参数，在类(函数)模板中可将该参数当成常量来使用。

namespace bite
{
// 定义一个模板类型的静态数组
//非类型模版参数N
template<class T, size_t N = 10>
class array
{
public:
T& operator[](size_t index) { return _array[index]; }
const T& operator[](size_t index)const { return _array[index]; }
size_t size()const { return _size; }
bool empty()const { return 0 == _size; }
private:
T _array[N];
size_t _size;
};
}

复制代码

【留意】
(1) 浮点数、类对象以及字符串是不允许作为非类型模板参数的。(非类型模版——只支持传整型(整型家族))
(2) 非类型的模板参数必须在编译期就能确认效果。
二、模版的特化

2.1 概念

通常环境下，使用模板可以实现一些与类型无关的代码，但对于一些特殊的类型，可能会得到一些错误的效果，必要特殊处理。比如: 实现了一个专门用来进行小于比较的函数模板：(模版特化：即针对某些类型进行特殊化处理)

// 函数模板 -- 参数匹配
template<class T>
bool Less(T left, T right)
{
return left < right;
}
int main()
{
cout << Less(1, 2) << endl; // 可以比较,结果正确
Date d1(2022, 7, 7);
Date d2(2022, 7, 8);
cout << Less(d1, d2) << endl; // 可以比较,结果正确(Date类重载<的情况下)
Date* p1 = &d1;
Date* p2 = &d2;
cout << Less(p1, p2) << endl; // 可以比较,结果错误
return 0;
}

复制代码

可以看到，Less绝大多数环境下都可以正常比较，但是在特殊场景下就会得到错误的效果。上述示例中，p1指向的d1显然小于p2指向的d2对象，但是Less内部并没有比较p1和p2指向对象的内容，而比较的是p1和p2指针的地址，这就无法达到预期而出现错误。此时，就必要对模板进行特化。即: 在原模板类的基础上，针对特殊类型进行特殊化的实现方式。模板特化分为函数模板特化与类模板特化。
2.2 函数模版特化

函数模板的特化步调：

欢迎光临 IT评测·应用市场-qidao123.com (https://dis.qidao123.com/)