本節條款的標題是：將與參數無關的代碼抽離templates

學習本節條款首先須要明確一件事情，那就是模板實例化的過程會不會反復？
我們來舉個樣例：

#include<iostream> using namespace std;template <typename T> T Try(T m) {return m; }int main() {Try(10);Try(1); }

我們看以上簡單的代碼。每一個人都知道模板被調用了兩次，是的，這顯而易見。但是模板也被實例化了兩次嗎？其實，模板僅僅實例化了一次。
我們再舉個樣例：

#include<iostream> using namespace std;template <typename T> T Try(T m) {return m; }int main() {Try(10);Try(1.01);//注意！此時是一個double型 }

這個時候每一個人都知道模板被調用了兩次。模板也被實例化了兩次嗎？其實，模板確實實例化了兩次。

比較以上兩個樣例。大家明確了什么？那就是，模板函數的實例化次數和調用次數沒有直接關系，而是和調用類型的種類有關。同種類型假設已經調用，模板函數會反復利用上次的實例化樣例。而不會又一次分配內存實例化。假設，大家明確這一點本節條款就能理解了。

我們利用template就是為了讓代碼編寫更簡短。利用內存更小。但是，普通情況下非常多程序猿僅僅能做到第一步，而不能充分在內存中發揮代碼的復用性。

例如以下書上樣例：

template<typename T, std::size_t n>//T為數據類型，n為矩陣大小class SquareMatrix{public:……void invert();//求逆運算};SquareMatrix<double,5> sm1;sm1.invert();//調用SquareMatrix<double,5>::invertSquareMatrix<double,10> sm2;sm2.invert();//調用SquareMatrix<double,10>::invert

上面的代碼會在運行的過程中，詳細化兩份invert()函數。這兩份函數差點兒全然同樣，所以對于內存來說是種浪費。假設想要彌補這樣的缺點，我們能夠用下面對照樣例：

template<typename T> class SquareMatrixBase { public:SquareMatrixBase(T* p) : DataPointer(p){}void Invert(size_t n){} private:T* DataPointer; };template <typename T, size_t n> class SquareMatrix: private SquareMatrixBase<T> { public:SquareMatrix() : SquareMatrixBase(Data){}void Invert(){SquareMatrixBase::Invert(n);} private:T Data[n * n]; };SquareMatrix<double,5> sm1;sm1.invert();SquareMatrix<double,10> sm2;sm2.invert();

當我們再次調用以上語句時，SquareMatrixBase類的實例在內存中僅僅生成一次。由于每次調用都是double 型的SquareMatrixBase。

然后矩陣數據是用指針訪問，同一種數據不會被拷貝多份，這樣也降低了內存利用。

總之。下面三條非常重要：
1. Template生成多個classes與多個函數。所以不論什么template代碼都不該與某個造成膨脹的template參數產生相依關系。
2. 因非類型模板參數而造成的代碼膨脹，往往能夠消除，做法是以函數參數或者class成員變量替換template參數。
3. 因類型而造成的代碼膨脹，也能夠降低，做法是讓帶有全然同樣二進制表述的具現類型共享實現碼。

轉載于:https://www.cnblogs.com/mengfanrong/p/5109474.html

總結

以上是生活随笔為你收集整理的Effective C++ 条款44的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。