关于函数模板的一些不为人知的用法

admin管理员组

文章数量:1487745

关于函数模板的一些不为人知的用法

引言

关于函数模板，大家都不陌生。但是如下的函数模板，大家肯定没有见过

没有提供任何特例化的模板

不管我们传入的是什么类型的参数，都可以匹配到这个模板【所以又被称为万能模板】

代码语言：javascript代码运行次数：0运行复制

template<class T>
class Vector
{
public:
	Vector()
	{
		cout << "Vector init" << endl;
	}
};

部分特例化模板

假如我们知道传入的参数类型一定是指针类型，我们可以这样设计模板：

代码语言：javascript代码运行次数：0运行复制

template<class T>
class Vector<T*>
{
public:
	Vector()
	{
		cout << "Vector<T*> init" << endl;
	}
};

完全特例化模板

如果想针对某一特定类型的参数【比如int类型】定制一个模板，我们可以：

代码语言：javascript代码运行次数：0运行复制

template<>
class Vector<char*>
{
public:
	Vector()
	{
		cout << "Vector<char*> init" << endl;
	}
};

一些特殊的特例化

如上的几种特例化，大家指定都用过，但是接下来几种特例化的方式，大家肯定不太了解

针对函数指针的部分特例化模板

代码语言：javascript代码运行次数：0运行复制

//这个函数指针类型部分特例化  有返回值  有两个参数的（指针）
template<class R,class A1,class A2>
class Vector<R(*)(A1,A2)>
{
public:
	Vector()
	{
		cout << "Vector<R(*)(A1,A2)> init" << endl;
	}
};
int main()
{
	Vector<int(*)(int, int)>();
}

针对函数的部分特例化模板

代码语言：javascript代码运行次数：0运行复制

template<class R,class A1,class A2>
class Vector<R(A1,A2)>
{
public:
	Vector()
	{
		cout << "Vector<R(A1,A2)> init" << endl;
	}
};
int main()
{
	Vector<int(int, int)>();
}

总结

• 特例化是针对普适化而言的，在针对不同的类型做出特例化的模板之前，必须存在没有任何特例化「适用于任何的类型」的模板
• 不同模板的匹配规则是：先看有没有针对这一类型的完全特例化模板，再看有没有针对这一类型的部分特例化模板，如果这两种都不存在的情况下，再寻找适用于任何类型的模板。遵循从特殊到一般的匹配规则

本文参与 腾讯云自媒体同步曝光计划，分享自作者个人站点/博客。 原始发表：2024-10-06，如有侵权请联系 cloudcommunity@tencent 删除前往查看指针classintvector函数

本文标签： 关于函数模板的一些不为人知的用法