类模板
类模板(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