欢迎来到 破晓的历程的 博客

⛺️不负时光，不负己✈️

---

引言

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

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

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

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

部分特例化模板

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

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

完全特例化模板

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

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

一些特殊的特例化

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

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

//这个函数指针类型部分特例化  有返回值  有两个参数的（指针）
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)>();
}

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

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)>();
}

总结

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