《Modern C++ Design》摘要

1. 你無法特化結構。單單使用templates，你無法特化「class 的結構」（我的意思是其資料成
員），你只能特化其成員函式。
2. 成員函式的特化並不能「依理擴張」。你可以對「單㆒template 參數」的class template 特
化其成員函式，卻無法對著「多個template 參數」的class template 特化其個別成員函式。
例如 :
template <class T> class Widget
{
void Fun() { .. generic implementation ... }
};
// OK: specialization of a member function of Widget
template <> void Widget<char>::Fun() // 譯註：原文少了 void
{
... specialized implementation ...
}
template <class T, class U> class Gadget
{
void Fun() { .. generic implementation ... }
};
// Error! Cannot partially specialize a member class of Gadget
// 譯註 : 因為這是 member function 的 Explicit specialization 並無 partial
// specialization機制。注意這和class templates 不同! 參閱 C++ Primer,16.9 節
template <class U> void Gadget<char，U>::Fun()
{
... specialized implementation ...
}
3. 程式庫撰寫者不能夠提供多筆預設值。理想情況㆘class template 的作者可以對每個成員函
式提供㆒份預設實作品，卻不能對同㆒個成員函式提供多份預設實作品。
現在讓我們比較㆒㆘多重繼承和templates 之間的缺點。有趣的是兩者互補。多重繼承欠缺技
術（mechanics），templates 有豐富的技術。多重繼承缺乏型別資訊，而那東西在templates 裡
頭大量存在。Templates 的特化無法擴張（scales），多重繼承卻很容易擴張。你只能為template
成員函式寫㆒份預設版本，但你可以寫數量無限的base classes。
根據以㆖分析，如果我們將templates 和多重繼承組合起來，將會產生非常彈性的裝置（device），
應該很適合用來產生程式庫㆗的「設計元素」（design elements）。