一个模板类使用一种算法进行内部数据结构的整理,如果这个算法被封装在内部,那么这个模板类在输入自定义类型的时候,可能就会出现问题,除非你不操作这个结构类型。
下面就是将一个全局模板函数作为模板类的接口,如果模板类的数据是自定义的数据类型,那么可以特化一种专门的全局函数模板,以适应这种结构。
template<typename Ty> auto test(Ty& a) {
a.i = 0;
}
template<typename T>
class kpl {
public:
friend auto test<>(kpl<T>& o);
kpl() { test(*this); }
private:
T i;
};
template<> auto test(kpl<std::string>& a) {
a.i = "hh";
}
int main()
{
kpl<std::string> s;
kpl<int> l;
return 0;
}
我特化了一个基于string类型的kpl类的全局接口函数,当kpl的构造函数调用test接口时,发现有匹配的string特化模板,于是便调之,对于不是string类型的统一调用通用的函数模板。