最新【C++】非类型模板参数、模板特化，2024年最新我在美团网络安全研发岗工作的那5年

2401_84298087

于 2024-05-14 01:39:58 发布

阅读量309

点赞数 3

分类专栏：程序员文章标签：网络安全学习面试

本文链接：https://blog.csdn.net/2401_84298087/article/details/138827424

版权

程序员专栏收录该内容

160 篇文章 0 订阅

订阅专栏

给大家的福利

零基础入门

对于从来没有接触过网络安全的同学，我们帮你准备了详细的学习成长路线图。可以说是最科学最系统的学习路线，大家跟着这个大的方向学习准没问题。

同时每个成长路线对应的板块都有配套的视频提供：

在这里插入图片描述

因篇幅有限，仅展示部分资料

网上学习资料一大堆，但如果学到的知识不成体系，遇到问题时只是浅尝辄止，不再深入研究，那么很难做到真正的技术提升。

需要这份系统化资料的朋友，可以点击这里获取

一个人可以走的很快，但一群人才能走的更远！不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人，都欢迎加入我们的的圈子（技术交流、学习资源、职场吐槽、大厂内推、面试辅导），让我们一起学习成长！

模板参数分类类型形参与非类型形参。
类型形参：出现在模板参数列表中，跟在class或者typename之类的参数类型名称。

#define N 10;
//静态数组
template <class T>
class Array
{
private:
    T _a[N];
}

如果是这样的话，我们无法去灵活控制大小

int main()
{
    Array<int> a1;
    Array<int> a2;
    return 0;
}

这都是固定的了，写死的了，所以这时候我们可以使用非类型模板参数

非类型形参：就是用一个常量作为类(函数)模板的一个参数，在类(函数)模板中可将该参数当成常量来使用。注意是常量，可以给缺省

//非类型模板参数——常量
template<class T,size_t N>
class Array
{
private:
    T _a[N];
}
int main()
{
    Array<int,10> a1;
    Array<double,100>a2;
    return 0;
}

注意：

非类型模板参数只支持整型（浮点数、类对象以及字符串是不允许作为非类型模板参数的）
非类型的模板参数必须在编译期就能确认结果

实际上库里面的array也是非类型模板：

库里面的array与C语言的数组相比：

int main()
{
    int a1[10];
    array<int,10> a2;
    array<double,10> a3;
    return 0;
}

区别在于：array可以对越界进行检查，C语言数组对于越界读是不检查的，而对于越界写是抽查的(不同平台不一样)。而array可以assert检查是否越界。

二、模板特化

1.函数模板特化

通常情况下，使用模板可以实现一些与类型无关的代码，但对于一些特殊类型的可能会得到一些错误的结果

我们来以日期类为例子：

class Date
{
public:
	Date(int year = 1900,int month = 1,int day = 1)
		:_year(year)
		,_month(month)
		,_day(day)
	{}

	bool operator<(const Date& d) const
	{
		return (_year < d._year) ||
			(_year == d._year && _month < d._month) ||
			(_year == d._year && _month == d._month && _day < d._day);
	}

	bool operator>(const Date& d) const
	{
		return (_year > d._year) ||
			(_year == d._year && _month > d._month) ||
			(_year == d._year && _month == d._month && _day > d._day);
	}

	friend ostream& operator<<(ostream& _cout, const Date& d)
	{
		_cout << d._year << "-" << d._month << "-" << d._day;
		return _cout;
	}

private:
	int _year;
	int _month;
	int _day;
};
template<class T>
bool Less(T left, T right)
{
	return left < right;
}

int main()
{
	cout << Less(1, 2) << endl;
	Date d1(2023, 1, 6);
	Date d2(2023, 1, 9);
	cout << Less(d1, d2) << endl;

	Date* p1 = &d1;
	Date* p2 = &d2;
	cout << Less(p1, p2) << endl;
	return 0;
}

所以我们要去对Date*进行特殊化处理——Date*

函数模板的特化步骤：

必须要先有一个基础的函数模板
关键字template后面接一对空的尖括号<>
函数名后跟一对尖括号，尖括号中指定需要特化的类型
函数形参表: 必须要和模板函数的基础参数类型完全相同，如果不同编译器可能会报一些奇怪的错误

//针对某些类型进行特殊处理——Date*
template<>
bool Less<Date*>(Date* left, Date* right)
{
	return *left < *right;
}

函数模板也可以不写成模板，直接写成函数也是可以的，因为函数模板支持重载

2.类模板特化

1.全特化

全特化即是将模板参数列表中所有的参数都确定化

类模板的全特化将模板参数列表中的所有参数我们都将其写出来：

如果此时的数据类型是我们自己定义的，比如我们之前所说的Date*之时，比较的是地址，所以我们之前是通过自己写一个仿函数来实现比较大小的，代码如下：

struct PDateLess
{
	bool operator()(const Date* d1, const Date* d2)
	{
		return *d1 < *d2;
	}
};

struct PDateGreater
{
	bool operator()(const Date* d1, const Date* d2)
	{
		return *d1>*d2;
	}
};
void TestPriorityQueue()
{
    //大堆
	priority_queue <Date*, vector<Date*>, PDateLess> q3;
	q3.push(new Date(2018, 10, 29));
	q3.push(new Date(2018, 10, 28));
	q3.push(new Date(2018, 10, 30));
	cout << *q3.top() << endl;
	//小堆
	priority_queue<Date*, vector<Date*>, PDateGreater> q4;
	q4.push(new Date(2018, 10, 29));
	q4.push(new Date(2018, 10, 28));
	q4.push(new Date(2018, 10, 30));
	cout << *q4.top() << endl;
}

现在，我们如果不写仿函数，这时候就可以通过针对Date*实现特化了：

template <class T>
class Greater
{
public:
    bool operator()(const T& x, const T& y) const
    {
        return x > y;
    }
};
//特化
template<>
class Greater<Date*>
{
    public:
    bool operator()(Date* const& d1, Date* const& d2) const
    {
        return *d1 > *d2;
    }
};
int  main()
{
    hwc::priority_queue<Date*, vector<Date*>, Greater<Date*>> q4;
	q4.push(new Date(2018, 10, 29));


**先自我介绍一下，小编浙江大学毕业，去过华为、字节跳动等大厂，目前阿里P7**

**深知大多数程序员，想要提升技能，往往是自己摸索成长，但自己不成体系的自学效果低效又漫长，而且极易碰到天花板技术停滞不前！**

**因此收集整理了一份《2024年最新网络安全全套学习资料》，初衷也很简单，就是希望能够帮助到想自学提升又不知道该从何学起的朋友。**
![img](https://img-blog.csdnimg.cn/img_convert/b1ab0d055da8bd38f3e5b8500656eb9d.png)
![img](https://img-blog.csdnimg.cn/img_convert/a512640959b15292923ebe4cd9472e8b.png)
![img](https://img-blog.csdnimg.cn/img_convert/277a9199284185674b5a80fcb6d5abc5.png)
![img](https://img-blog.csdnimg.cn/img_convert/284e7bc68533ee628e278b0c396e2582.png)
![img](https://img-blog.csdnimg.cn/img_convert/704ba203e252a2b795e4d0f4a50edb24.png)
![img](https://img-blog.csdnimg.cn/img_convert/f283a842bc41e1d2bf7924287117d2a8.png)

**既有适合小白学习的零基础资料，也有适合3年以上经验的小伙伴深入学习提升的进阶课程，涵盖了95%以上网络安全知识点，真正体系化！**

**由于文件比较多，这里只是将部分目录截图出来，全套包含大厂面经、学习笔记、源码讲义、实战项目、大纲路线、讲解视频，并且后续会持续更新**

**[需要这份系统化资料的朋友，可以点击这里获取](https://bbs.csdn.net/forums/4f45ff00ff254613a03fab5e56a57acb)**

[外链图片转存中...(img-KyGOrkao-1715621975219)]
[外链图片转存中...(img-PfU3hp8g-1715621975219)]

**既有适合小白学习的零基础资料，也有适合3年以上经验的小伙伴深入学习提升的进阶课程，涵盖了95%以上网络安全知识点，真正体系化！**

**由于文件比较多，这里只是将部分目录截图出来，全套包含大厂面经、学习笔记、源码讲义、实战项目、大纲路线、讲解视频，并且后续会持续更新**

**[需要这份系统化资料的朋友，可以点击这里获取](https://bbs.csdn.net/forums/4f45ff00ff254613a03fab5e56a57acb)**

2401_84298087

关注

3
点赞
踩
9

收藏

觉得还不错? 一键收藏
0
评论
最新【C++】非类型模板参数、模板特化，2024年最新我在美团网络安全研发岗工作的那5年

区别在于：array可以对越界进行检查，C语言数组对于越界读是不检查的，而对于越界写是抽查的(不同平台不一样)。对于从来没有接触过网络安全的同学，我们帮你准备了详细的学习成长路线图。可以说是最科学最系统的学习路线，大家跟着这个大的方向学习准没问题。作为类(函数)模板的一个参数，在类(函数)模板中可将该参数当成常量来使用。函数模板也可以不写成模板，直接写成函数也是可以的，因为函数模板支持重载。如果此时的数据类型是我们自己定义的，比如我们之前所说的。这都是固定的了，写死的了，所以这时候我们可以使用。
复制链接

扫一扫