[原創文章歡迎轉載，但請保留作者信息]
Justin 于 2010－04－06
對于一般的函數或類來說，要做到類似下面的事情很簡單：
如果兩個函數有相同的實現部分，就把這共同的部分提出來放在第三個函數中供前兩者調用；
如果兩個類有相同的成員，就把這共同的部分提出來放在第三個類中供前兩者繼承或是組合(composition)。
但對于模板來說，就沒有那么明顯了。因為對于模板而言，一些重復的代碼并沒有那么直觀。
template<typename?Item,?int?price>
class?Shop
{
???public:
??????void?SellIt();
???//..
};
class?Apple;
Shop?<Apple,?50>?AShop;
Shop?<Apple,?50.5>?AnotherShop;
AShop.SellIt();
AnotherShop.SellIt();
以上程序粗看沒什么問題(當然看出來的都是好同學)，而實際上SellIt()在編譯后出現了兩個版本，僅僅因為AShop和AnotherShop的price不一樣。
非類型模板參數(non-type template parameter，在這里就是price)會導致編譯時生成重復的代碼(在這里是兩個SellIt)。
編譯器是傻孩子，只要看到模板參數有不一樣就會生成分別為不同的參數生成相應的類或者函數，于是SellIt就悄悄地有了兩個版本。
解決方案之一在下面：
template<typename?Item>
class?ShopBase
{
???protected:
??????void?SellIt(int?price);
//..
};
template<typename?Item,?int?price>
class?NewShop?:?private?ShopBase<Item>
{
???private:
??????using?ShopBase<Item>::SellIt;
???public:
??????void?SellIt()?{?SellIt(price);?}
???//..
};
SellIt被提出來放到基類ShopBase中實現，不會因為price的不同而生成不同的函數，這樣重復部分就被去除了。
另外例子中有需要注意的地方還不少：
?? - ShopBase中的SellIt是保護類型(protected)，因為它只是為了被子類調用，不希望被其他人直接調用。
?? - 子類在使用模板基類前，需要用到Item43中提到的三種方法之一，否則編譯器找不到所指的函數。
(原文中大師同時用了using和this->的方法，我覺得是多余的，用了using就不必要再用this->了。跑去看侯捷的譯作，除了翻譯過來的中文，無解@#￥%)
?? - 從Shop::SellIt中調用ShopBase::SellIt幾乎沒有增加調用成本，因為Shop::SellIt是在類的聲明中定義的，實際上是內聯函數。(有可能根本就沒有額外代價，編譯器會優化掉的)
Item44的前半段就是這些了。注意看了后半段有點唏噓：（誰說寫代碼是體力活？）
大師說，類型模板參數(type template parameter，如上例中的Item)也有可能造成重復的代碼生成。
NewShop?<int,?32>?intShop;
NewShop?<long,?32>?longShop;
上面的代碼雖然模板參數Item的輸入不一樣(int和long)，但是由于很多平臺上long和int是一樣長度的，就使得傻乎乎的編譯器又一次為了實際上一樣的類型生成了重復的函數(兩個SellIt)
這個時候就要求程序員能夠意識到不同類型的數據是否為一樣的存儲長度(binary representation)，如果是，就用對付非類型模板參數相同的方法來解決。