16.9 函数模板是可以实例化出特定函数的模板,类模板是可以实例化出特定类的模板。
16.10 当类模板被实例化时,编译器会根据提供的模板实参列表来绑定模板参数,替换类模板定义中模板参数出现的地方,这样就实例化出一个特定的类。
16.11 类模板的名字不是类型,只有实例化后才能形成类型。在class List代码中不能直接使用ListItem,应该使用ListItem<elemType>;在类模板作用域中,可以不提供实参,因此class List代码中可以用List代替List<elemType>。
16.12 Blob和BlobPtr模板代码:
#ifndef BLOB_H
#define BLOB_H
#include <iostream>
#include <vector>
#include <stdexcept>
#include <memory>
using namespace std;
template <typename> class BlobPtr;
template <typename T> class Blob {
friend class BlobPtr<T>;
public:
typedef typename vector<T>::size_type size_type;
Blob();
Blob(initializer_list<T> il);
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();
BlobPtr<T> begin() { return BlobPtr<T>(*this); }
BlobPtr<T> end()
{
auto ret = BlobPtr<T>(*this, data->size());
return ret;
}
T& front();
T& back();
T& operator[](size_type i);
const T& front() const;
const T& back() const;
const T& operator[](size_type i) const;
private:
shared_ptr<vector<T>> data;
void check(size_type i, const string &msg) const;
};
template <typename T>
void Blob<T>::check(size_type i, const string &msg) const
{
if (i >= data->size())
throw out_of_range(msg);
}
template <typename T>
Blob<T>::Blob(): data(make_shared<vector<T>>()) { }
template <typename T>
Blob<T>::Blob(initializer_list<T> il):
data(make_shared<vector<T>>(il)) { }
template <typename T>
void Blob<T>::pop_back()
{
check(0, "pop back on empty Blob");
data->pop_back();
}
template <typename T>
T& Blob<T&