条款44：将与参数无关的代码剥离template

使用template时，不小心的时候可能就会带来代码膨胀的问题：

 template<typename T,
             std::size_t n>
 class SquareMatrix{
 public:
     void invert();
 };
 //而对于下面两份模版实例化
 SquareMatrix<double, > ma10;
 SquareMatrix<double,  > ma5;

这两个实例化除了特殊的数字之外，其他的所有参数代码都是一样的，这就带来了所谓的代码膨胀，而避免上面这种状况的一个有效办法就是，让这个带有typename的template作为基类：

 template<typename T>
 class SquareMatrixBase{
 protected:
     void invert(std::size_t matrixSize);//这里的size_t相当于减少了代码实例化的机会
 };

 template<typename T,
 std::size_t n>
 class SquareMatrix : private SquareMatrixBase<T>{
 private:
     using SquareMatrixBase<T>::invert;
 public:
     ...
     void invert(){this->invert(n);}//这里制造了inline调用，降低调用的开销，使用this是为了访问这个成员被模板的影响所遮盖
 }

但是这里还有个问题，就是derived class中使用的数据T 是存在与base class中的。

一种方法是给基类的数据一个private指针:

 template<typename T>
 class SquareMatrixBase{
 protected:
     SquareMatrixBase(std::size_t n, T *pMem):
     size(n), pData(pMem){}
     void setDataPtr(T * ptr){pData =ptr;}
     ...
 private:
     T data[n*n];
 };

还有一种就是动态分配内存，不过大体的过程是一样的。

使用这些方法，就使得不同大小的矩阵只是拥有者单一版本的invert。

这个问题讨论的主要是非类型模板参数带来的代码膨胀

小结：

    Template生成多个函数以及多个class,所以template的代码都不应该与某个造成依赖的参数产生关系

    上面讨论的是非类型模板参数带来的膨胀，往往可以正常消除