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 才会在模板基类里找名称
}