Item 44:将与参数无关的代码抽离templates

最新推荐文章于 2024-03-03 20:24:47 发布

NvRom

最新推荐文章于 2024-03-03 20:24:47 发布

阅读量265

点赞数

分类专栏： thinking in c++ effective c++读书笔记文章标签： templates effective-c++

本文链接：https://blog.csdn.net/forlove_you/article/details/67640383

版权

effective c++读书笔记同时被 2 个专栏收录

9 篇文章 0 订阅

订阅专栏

thinking in c++

6 篇文章 0 订阅

订阅专栏

template为每一个模板参数生成一份代码，可能会造成代码膨胀。模板参数分为类型参数和非类型参数，通常非类型参数比较容易造成代码膨胀，例如下面一个例子：

template<typename T, std::size_t n>
class SquareMatrix{
  public:
    ...
      void invert();    //求逆矩阵
};
SquareMatrix<double, 5> sm1;
SquareMatrix<double, 10> sm2;
sm1.invert();   //调用SquareMatrix<double, 5>::invert
sm2.invert();   //调用SquareMatrix<double, 10>::invert

非类型参数就是这样轻易地造成了代码膨胀。
正确的做法类似这么一种思想：当你编写某一个函数时，而你明白其中的某一部分实现和另一个函数的代码本质相同，你会抽取出两个函数的共同部分，把它放入第三个函数里，然后令原先的两个函数调用这个新的函数
不过其实类型参数也会导致代码膨胀。例如在许多平台上，int和long有相同的二进制表述，所以像vector和vector的成员函数有可能完全相同，这正是膨胀的定义。又如，在大多数平台上，所有指针类型都有相同的二进制表述，因此凡template持有指针者（例如list