c++中的偏特化的大概意思是:如果某个class template拥有一个以上的template的参数,我们就可以针对其中某个或数个(不实全部)template参数进行特化工作。也就是说,我们可以 在泛化设计中提供一个特化版本(也就是将泛化版本中的某些template参数赋予明确的制定)
假设有一个class template如下:
partial spectialization 的意思是提供另外一份template定义是,而且其本身还是templatized。
另外一种定义是:针对(任何)template参数更进一步的条件限制所设计出来的一个特化版本。
错误理解:是针对template参数U,V或者T(或者某种组合)指定某个参数值。
针对上面的example,设计一个偏特化的example:
template<typename T>
class C{
........
};
template<typename T>
class C<T*>{ //这个特化版本仅适用于“T为原生指针”的情况
........ //T为原生指针便是T为任何类型的一个更进一步的条件限制
};
template<typename T>
class C{
........
};
template<typename T>
class C<const T*>{
........
};