C++模板特化
一 、“函数模板”与“模板函数”
下面几行代码就是一个“函数模板”
template <class T>
T abs(T x)
{
return x < 0 ? -x : x;
}
根据“函数模板”可以生成不同的函数，这些“实例化”的函数被称之为“模板函数”。
如：abs(0.1f); 编译器将根据函数模板生成模板函数abs<float> ，并调用abs<float>(0.1f)
如：abs(0.1); 编译器将根据函数模板生成模板函数abs<double>，并调用abs<double>(0.1)
二、函数模板的特例化
template <>
const char* abs<const char*>(const char*s)
{
if(s && s[0] == '-')
{
return s + 1;
}
return NULL;
}
代码 abs("-5") 将调用特化后的 abs<const char*> 函数。
三、函数模板的匹配
template <class T>
T abs(T x)
{
return x < 0 ? -x : x;
}
int abs(int x)
{
return x < 0 ? -x : x;
}
代码 abs(1) 将调用 abs，而不是模板函数 abs<int>，也就是说：非模板函数具有优先权
下面再考虑函数模板被特化后的匹配问题：增加如下代码
template <>
int abs<int>(int x)
{
return x < 0 ? -x : x;
}
同样的代码 abs(1)，将调用什么呢？答案是：不确定。具体来说，对于 VC++6.0 而言，abs
函数和模板函数 abs<int> 被当做同一函数，谁先定义谁就有效。对于 VC++2008 而言，abs
函数和模板函数 abs<int> 是两个函数，但 abs 的优先级高于 abs<int>。
总结：对于VC++2008而言，始终是非模板函数具有优先权。对于VC++6.0而言，函数模板被
特化时要特别小心。
四、 类模板与特化
下面是一个类模板的例子
template <class T1,class T2>
class CTest
{
public:
T1 m_a;
T2 m_b;
};
1、全特化
template <>
class CTest<int,double>
{
public:
T1 m_a; //编译器自动将 T1 替换为 int
T2 m_b; //编译器自动将 T2 替换为 double
};
2、偏特化（VC++6.0 至 VC++2003不支持偏特化）
template <class T1>
class CTest<T1,int>
{
public:
T1 m_a;
int m_b; //这里不能再使用 T2
};
五、成员函数模板、模板成员函数、特化
class CTest
{
public:
template<class T>
T Add(T x) const
{//成员函数模板
return (T)m_a + x;
};
public:
int m_a;
};
CTest::Add 就是一个成员函数模板，编译器将根据不同的参数生成不同的模板成员函数。
下面是成员函数模板的特化：
class CTest
{
public:
template<class T>
T Add(T x) const
{
return (T)m_a + x;
};
template<>
double Add<double>(double x) const
{//这个就是特化后的成员函数
return (double)m_a + x;
};
public:
int m_a;
};
VC++6.0 不允许特化成员函数模板的声明、定义分离，如下面的代码在 VC++6.0 里无法编译
class CTest
{
public:
... ... ...
template<>
double Add<double>(double x) const; //特化函数声明
... ... ...
};
//特化函数实现
template<>
double CTest::Add<double>(double x) const;
{
return (double)m_a + x;
};
