1. 分类
1.1 定义在类模板内的成员函数
被隐式声明为内联函数。
1.2. 类模板外部的成员函数，
类模板的成员函数本身是一个普通函数。但是，类模板的每个实例都有其自己版本的成员函数。因此，类模板的成员函数具有和模板相同的模板参数。因而，定义在类模板之外的成员函数就必须以关键字template开始，后接类模板参数列表。
在类外定义一个成员时，必须说明成员属于哪个类。从一个模板生成的类的名字中必须包含其模板实参。
2. 特性
当我们定义一一个成员函数时，模板实参与模板形参相同。
对于StrBlob的一个给定的成员函数
ret-type StrB1ob: :member-name(parm-ist)
对应的Blob的成员应该是这样的: .
template <typename T:ret-type Blob: : member-name(parm-list)
2.1 check和元素访问成员
template <typename T>void Blob<T>: :check(size_ type i, const std: :string &msg) const{if (i >= data->size())throw std: :out_ _of_ range (msg) ;}
2.2 下标运算符和back函数用模板参数指出返回类型
template <typename T>T& Blob<T>: :back(){check(0，"back on empty Blob") ;return data->back() ;}
template <typename T> T& B1ob<T>: :operator[] (size_ type i){//如果i太大，check会抛出异常，阻止访问一个不存在的元素check(i, "subscript out of range") ;return (*data) [i];}
在原StrBlob类中，这些运算符返回string&。而模板版本则返回一个引用，指向用来实例化Blob的类型。
2.3 Blob构造函数
构造函数的定义要以模板参数开始:
template <typename T> B1ob<T>: :Blob() : data (std: :make_ shared<std: :vector<T>>()){}
此构造函数分配-一个空vector,并将指向vector的指针保存在data中。如前所述，我们将类模板自己的类型参数作为vector的模板实参来分配vector。
类似的，接受一个initializer_ list参数的构造函数将其类型参数T作为initializer_ list参数的元素类型:
template <typename T> Blob<T>: :Blob(std: :initializer_ list<T> il) :data(std: :make_ shared<std: :vector<T>> (il) ) {}
类似默认构造函数，此构造函数分配一个新的vector。在本例中，我们用参数il来初始化此vector. 为了使用这个构造函数，我们必须传递给它一一个 initializer_ list, 其中的元素必须与Blob的元素类型兼容:
Blob<string> articles = {"a", "an", "the"};
这条语句中，构造函数的参数类型为initializer_ list. 列表中的每个字符串字面常量隐式地转换为一个 string。
