我们在上一篇文章中为大家详细介绍了C++类模板的具体应用方式，相比朋友们应该可以从中对类模板有一个充份的认识。那么C++类模板特化又是如何进行的呢？其实，C++类模板特化被描述为一个和重载类似的概念。

我的理解是，特化允许我们对某些特殊的参数（这里就是类型）进行特殊的处理。C++类模板特化的处理都是在类名后面做文章的。特化分为全局特化和局部特化。对于全局特化，书中的例子是希望对于Stack< T>模板，如果参数为std::string的类型，就用deque作为容器来处理，而其他的保持不变。因此，我们需要对Stack< T>模板作std::string的特化处理。代码如下：

#include < deque> 
#include < string> 
#include < stdexcept> 
#include "Stack.h"  
template< > 
class Stack< std::string>{  
private:  
std::deque< std::string> elems;  
public:  
void push(std::string const&);  
void pop();  
std::string top() const;  
bool empty() const{  
return elems.empty();  
}  
};  
void Stack< std::string>::push(std::string const& elem)  
{  
elems.push_back(elem);  
}  
void Stack< std::string>::pop()  
{  
if(elems.empty())  
{  
throw std::out_of_range("Stack< std::string>::pop()==> empty stack.");  
}  
elems.pop_back();  
}  
std::string Stack< std::string>::top() const  
{  
if(elems.empty())  
{  
throw std::out_of_range("Stack< std::string>::pop()==> empty stack.");  
}  
return elems.back();  
} 

注意到C++类模板特化的定义和普通的类模板完全不一样了。主要区别有：#t#

特化类模板的前面加上了template< >，没有指定参数。而是在类名后面指定了类型参数。

在函数的定义里面，原来的类型T全部换成了特化的类型std::string。实际上，完全可以根据特殊需要重写成员函数。甚至可以定义另外的函数。

将上面的源代码加入到工程中，编译运行。就会发现当使用std::string去实例化stack的时候实际上调用的是StringStack文件中的"重载"版本。各个方法的调用也一样。也就是说，特化实际上是要求对特定的参数施行特殊的处理。从这个方面来说和重载确实很类似。

但是，我认为特征化和重载还是有区别的。试想有一个函数Func(int, int)，另外一个函数对它进行重载为Func(string, string)。在实际上我们也可以说int的Func重载了string的Func，这是相互的。但是特化却不能这么说。因为特化是对某种类型的特殊处理，我们可以说特化模板重载了某个模板，但是不能说某个模板重载了特化的模板。这是单方向的。另外，如果，我们不需要Func(int, int)函数，我们完全可以把它删去。但是C++类模板特化不能离开它依赖的类模板单独存在。在上面的例子中，如果删除Stack.h文件，StringStack.h文件的定义就会出错。

StringStack是Stack模板的特化。但是他们之间的联系其实不是那么紧密，除了名字上以外。例如，Stack模板中的成员函数不必非得在StringStack中出现；同理，StringStack中的函数也不必是Stack中的函数。也就是说，特化的模板类可以根据自己的需要完全重写指定的模板函数，也可以弃原来模板函数中的成员不用，另外定义成员函数。这方面没有限制。

在理解了全局的特化以后，在来看局部的特化就很容易明白了。局部特化是要求在指定的条件下使用指定的类模板的重载版本。