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

本文为senlie原创，转载请保留此地址： http://blog.youkuaiyun.com/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 才会在模板基类里找名称 }