Item 44 与模板参数无关的代码

模板可以节省时间，减少代码的重复。
假设有20个类，每个类15个成员函数。那么可以用一个类模板来定义，然后由编译器去实例化所需要的类。
模板类的成员函数只在用到的时候才实例化。

过度使用模板会导致目标代码的膨胀。要通过共性/异性分析防止这种事情发生。

// n*n矩阵，元素类型为T
template<typename T, std::size_t n>
class SquareMatrix {
public:
	...
	void invert();  // 求逆矩阵
};
SquareMatrix<double, 5> sm1;
sm1.invert();
SquareMatrix<double, 10> sm2;
sm2.invert();

两份invert，很明显的代码重复。修改之后：

template<typename T>
class SquareMatrixBase {           // 尺寸无关的矩阵基类
protected:
	SquareMatrixBase(std::size_t n, T *pMem)
	: size(n), pData(pMem) {}
	void setDataPtr(T *ptr) { pData = ptr; }
	...
	void invert(std::size_t size); // 通用的求逆矩阵算法
private:
	std::size_t size;
	T *pData;
};
template<typename T, std::size_t n>
class SquareMatrix: private SquareMatrixBase<T> {
private:
	using SquareMatrixBase<T>::invert;   // 避免隐藏基类的invert。见Item 33
public:
	...
	void invert() { this->invert(n); }   // 内联函数，调用基类的invert
	SquareMatrix()
	: SquareMatrixBase<T>(n, data) {}
private:
	T data[n*n];
};

1> SquareMatrixBase是为了避免代码膨胀而定义的，所以其invert声明为protected，而非public。
2> 因为使用了内联，所以派生类调用基类的invert时间成本为零。
3> 必须使用this指针去调用基类的invert。详见Item 43。
4> 继承关系使用private，表示基类只是为了辅助实现而设计的。
5> 存储数据的指针，要传给基类，以操作数据。
6> 如果觉得 data[n*n] 会让类变大，可以使用 boost::scoped_array<T> pData 来申请堆上内存。

● 讨论
1> 把size写死到invert里可能会有编译器优化；把size当参数传给invert可以减小目标代码，从而提高执行效率。哪一个更好，这个要都试过才知道。
2> 把invert移到基类，会增大对象的体积。比如上面的例子，至少每个基类要有个指针吧。对指针的生存期的管理又增加了使用复杂度。


● 对type parameter的优化
1> 前面讨论的都是non-type parameter，而如int、long这些所谓的type parameter也可能导致代码膨胀。比如某些平台int和long一样，一些linker却不理会，于是制造出两份，造成了重复。
2> 大多数平台，对于不同类型的指针，其实二进制表示是完全相同的。这也可以用来优化：成员函数使用强类型指针，内部实现使用void无类型指针函数完成工作。