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