本節(jié)條款的標(biāo)題是：將與參數(shù)無關(guān)的代碼抽離templates

學(xué)習(xí)本節(jié)條款首先須要明確一件事情，那就是模板實(shí)例化的過程會(huì)不會(huì)反復(fù)？
我們來舉個(gè)樣例：

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

我們看以上簡單的代碼。每一個(gè)人都知道模板被調(diào)用了兩次，是的，這顯而易見。但是模板也被實(shí)例化了兩次嗎？其實(shí)，模板僅僅實(shí)例化了一次。
我們?cè)倥e個(gè)樣例：

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

這個(gè)時(shí)候每一個(gè)人都知道模板被調(diào)用了兩次。模板也被實(shí)例化了兩次嗎？其實(shí)，模板確實(shí)實(shí)例化了兩次。

比較以上兩個(gè)樣例。大家明確了什么？那就是，模板函數(shù)的實(shí)例化次數(shù)和調(diào)用次數(shù)沒有直接關(guān)系，而是和調(diào)用類型的種類有關(guān)。同種類型假設(shè)已經(jīng)調(diào)用，模板函數(shù)會(huì)反復(fù)利用上次的實(shí)例化樣例。而不會(huì)又一次分配內(nèi)存實(shí)例化。假設(shè)，大家明確這一點(diǎn)本節(jié)條款就能理解了。

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

例如以下書上樣例：

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

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

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();

當(dāng)我們?cè)俅握{(diào)用以上語句時(shí)，SquareMatrixBase類的實(shí)例在內(nèi)存中僅僅生成一次。由于每次調(diào)用都是double 型的SquareMatrixBase。

然后矩陣數(shù)據(jù)是用指針訪問，同一種數(shù)據(jù)不會(huì)被拷貝多份，這樣也降低了內(nèi)存利用。

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

轉(zhuǎn)載于:https://www.cnblogs.com/mengfanrong/p/5109474.html

總結(jié)

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

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。