explicit specialization 也称显式特化,全特化,显式具体化
使用明确的类型来代替模板中的类型参数
函数:
函数在全局则可以全特化,在普通类(非模板类)内部则不能, 例如
template<typename T, typename U>
T abc(T &a, U& b)
{
std::cout<<"func template origin"<<std::endl;
return a;
}
template<>
char abc<char, int >(char &a, int &b)
{
std::cout<<"func template specialized"<<std::endl;
return a;
}
类:
类可以全特化
template<typename T>
class X{
public:
enum{
XCONST
};
X(){};
~X(){};
void func_a(T &a);
void func_b();
};
template<typename T>
void X<T>::func_a(T &a)
{
std::cout<<"I am func_a origin"<<std::endl;
}
template<typename T>
void X<T>::func_b()
{
std::cout<<"I am func_b origin"<<std::endl;
}
template<>
class X<char>{
public:
X(){};
~X(){};
void func_a(char &a);
void func_b();
};
//template<>
void X<char>::func_a(char &a)
{
std::cout<<"I am func_a specialized "<<a<<std::endl;
}
void X<char>::func_b()
{
std::cout<<"I am func_b specialized "<<std::endl;
}
特化时所有的函数都必须特化
partial specialization 也称部分特化,部分具体化
模板中的部分模板参数的类型是确定的。
函数:
不允许.
类:
可以