C++ Primer(第五版) 16.1.2节练习

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&