[C++] 模板与泛型编程（2）

类模板

类模板（class template）是用来生成类的蓝图的。与函数模板的不同之处是，编译器不能为类模板推断模板参数类型

实现strblob的模板版本，提供对元素的共享(且核查过的）访问能力。

template <typename T> class Blob{
public:
    typedef T value_type;
    typedef typename std::vector<T>::size_type size_type;
    //构造函数
    Blob();
    Blob(std::initializer_list<T> il);
    //Blob中的元素数目
    size_type size() const { return data->size();}
    bool empty() const {return data->empty();}
    //添加和删除元素
    void push_back(const T &t){ data->push_back(t);}
    //移动版本
    void push_back(T &&t) {data->push_back(std::move(t));}
    void pop_back();
    //元素访问
    T& back();
    T& operator[](size_type i);
private:
    std::shared_ptr<vector<T>> data;
    //若data[i]无效，则抛出msg
    void check(size_type i, const std::string &msg) const;

};

实例化类模板

实例化类模板时，我们必须提供额外的信息，这些额外的信息就是显示模板实参，它们被绑定到模板参数，编译器使用这些模板实参来实例化出特定的类。

在模板作用域中引用模板类型

一个类模板中的代码如果使用了另外一个模板，通常不是将一个实际类型（或值）的名字用作其模板参数。相反的，我们通常将模板自己的参数当做使用模板的实参。如在上面代码中data成员的定义
std::shared_ptr

类模板的成员函数

与普通的类一样，定义在类模板内部的成员函数被隐式的声明为内联函数。
类模板的成员函数本身是一个普通函数，只是每个实例都有其自己版本的成员函数。因此，类模板的成员函数具有和模板相同的模板参数。因而，定义在类模板外部的成员函数必须以关键字template开始。

template <typename T>
ret-type Blob<T>::member-name(param-list)

类模板成员函数的实例化

默认情况下，一个类模板的成员函数只有当程序用到它时才进行实例化。例如，

Blob<int> squares={1,2,3};

实例化了Blob类和它的构造函数。

类代码内和代码外使用模板类名

当我们使用类模板类型是必须提供模板实参，有一个例外就是在类模板自己的作用域中。

template <typename T> class BlobPtr{
public:
    BlobPtr():curr(0) {}
    //递增和递减
    BlobPtr& operator++();  //前置
    BlobPtr& operator--();   
}

在类模板的作用域中，递增递减成员返回的是BlobPtr&而不是BlobPtr&。
但是在类模板外定义其成员时，

//后置：递增/递减对象但返回原值
template <typename　T>
BlobPtr<T> BlobPtr<T>::operator++(int){
    //此处无需检查；调用前置递增时会进行检查
    BlobPtr ret = *this;
    ++*this;
    return ret;
}

模板类型别名

typedef Blob<string> StrBlob;

由于模板不是类型，所以不能用typedef引用一个模板

但是在新标准下，允许下面的做法

//将twin定义为成员类型相同的pair类型
template<typename T> using twin = pair<T,T>;
//可以固定一个或多个模板参数
template<typename T> using partNo = pair<T,unsigned>;

类模板的static成员

模板类的每个static成员必须且有且仅有一个定义。但是，类模板的每一个实例都有一个独有的static对象。因此，与定义模板的成员函数类似，我们将static数据成员也定义为模板。

template <typename T>
size_t Foo<T>::ctr=0;   //定义并初始化ctr