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)。
《Modern C++ Design》摘要
最新推荐文章于 2014-11-04 20:07:00 发布