C++ 基础——类模板特化

一、typename 关键字的作用

• 同 class 关键字 一样 typename 用于引入模板参数（如下例 1）；
• 显式地告诉编译器形如 T::X 的代码片段一个类型名(如下例2)；

/// 例 1
template <class T1, typename T2>
class Class {
private:
    T1 _member;
    T2 _member2;
};

/// 例 2
本例 typename 的作用就是告诉 c++ 编译器，typename 后面的字符串为一个类型名称，
如果前面没有 typename，编译器无法知道 T::X 是一个类型还是一个成员名称(静态数据成员
或者静态函数)，使用typename 便可消除歧义。

二、 类模板特化（Specialization）

• 全特化  （full Specialization） 特化后的类，其模板参数列表为为空即template<>,其类名后边的<>里列出模板参数（如下例子）；

/// 例_全特化

template<class T>
struct __type_traits {
    /**< 最初泛化版本 */
};

template<>
struct __type_traits<int> {
    /**< 全特化-1 */
};

template<>
struct __type_traits<double>{
    /**< 全特化-2 */
};

• 偏特化（partial Specialization，分为个数偏特化、范围偏特化）

【个数偏特化】语法为：特化后的类模板参数列表中移除了特化的参数项，特化后类模板
                     名后的<>里列出新的参数项（包含特化的类型）。

/// 例_个数偏特化
template<class T, class Allocator>
class vector {
    /**< 泛化版本 */
};

template<class Allocator>
class vector<bool, Allocator> {
    /**< 偏特化版本，T 特化为 bool */
};


【范围偏特化】 特化后类模板名后的<>里是任意的指针类型，即在其模板参数列表里
              必须有对应的项表示任意类型。因为泛化版本声明的是任意类型，而
              特化版本声明的是任意的指针类型，所以叫范围偏特化。

/// 例-范围偏特化
template<class It>
class traits_it{
    /**< 泛化版本 */
};

template <class T>
class traits_it<T*> {
    /**< 特化版本 */

};

template <class T>
class traits_it<const T*> {
    /**< 特化版本 */
};

上述的模板特化对STL的迭代器很重要，之后章节将详述它们。