Effective C++ Item 44 将与参数无关的代码抽离 templates

本文为senlie原创，转载请保留此地址：http://blog.csdn.net/zhengsenlie

经验：Templates 生成多个 classes 和多个函数，所以任何 template 代码都不该与某个造成膨胀的 template 参数产生相依关系

因非类型模板参数(non-type template parameters) 而造成的代码膨胀，往往可消除，做法是以函数参数或 class 成员变量替换 template 参数

示例：

template<typename T, std::size_t> //size_t 是非类型模板参数
class SquareMatrix{
public:
	//...
	void invert();
};
SquareMatrix<double, 5> sm1;
sm1.invert();
SquareMatrix<double, 10> sm2;
sm2.invert();

解析：具体化了两份 invert 。除了常量5和10外，其他部分完全相同

纠正：

template<typename T>
class SquareMatrixBase {
protected:
	void insert(std::size_t matrixSize);
};

template<typename T, std::size_t n> //？不太懂。这里不也用了非类型模板参数吗？
class SquareMatrix: private SquareMatrixBase<T>{
private:
	using SquareMatrixBase<T>::invert; //Item 33: 避免遮掩 base 版的 invert
public:
	void invert() {this->invert(n);} // Item 34: 使用 this，derived class 才会在模板基类里找名称
}

Effective C++ Item 44 将与参数无关的代码抽离 templates