C 模板特化

2021-10-02 04:42:07 字數 1131 閱讀 5815

1. 非型別模板引數

1.1 模板引數分為類型別形參與非型別形參。

①型別形參即:出現在模板引數列表中,跟在class或者typename之類的引數型別名稱。

②非型別形參,就是用乙個常量作為類(函式)模板的乙個引數,在類(函式)模板中可將該引數當成常量來使用。

注意:① 浮點數、類物件以及字串是不允許作為非型別模板引數的。

② 非型別的模板引數必須在編譯期就能確認結果。

2.模板的特化

2.1 概念

通常情況下,使用模板可以實現一些與型別無關的**,但對於一些特殊型別的可能會得到一些錯誤的結果,比如

templatebool isequal(t& left, t& right)

注意:如果用以上函式比較字串,則比較的是字串的的位址大小。

此時,就需要對模板進行特化。即:在原模板類的基礎上,針對特殊型別所進行特殊化的實現方式。模板特化中分為函式模板特化與類模板特化。

2.2 函式模板特化

2.2.1函式模板的特化步驟:

必須要先有乙個基礎的函式模板

關鍵字template後面接一對空的尖括號<>

函式名後跟一對尖括號,尖括號中指定需要特化的型別

函式形參表: 必須要和模板函式的基礎引數型別完全相同,如果不同編譯器可能會報一些奇怪的錯誤。

下面是乙個模板特化的例子:

templatebool isequal(t& left, t& right)

//特化char*型

template<>

bool isequal(char*& left, char*& right)

注意:一般情況下如果函式模板遇到不能處理或者處理有誤的型別,為了實現簡單通常都是將該函式直接給出。

bool isequal(char* left, char* right)

2.3 類模板特化

2.3.1 全特化

全特化即是將模板引數類表中所有的引數都確定化

2.3.2 偏特化

偏特化:任何針對模版引數進一步進行條件限制設計的特化版本

C 模板 模板特化 模板偏特化

模板是c 的乙個重要特性 使用模板 可以極大的減少類似功能 的編寫 這可以看做是c 相較於c的進步 因為這一特性在c中是不容易達到的 語言層面不支援 模板的關鍵字是 template 簡單的模板應用 template class test int main 使用模板的類在例項化時需要指明模板引數型別...

C 模板特化 偏特化

注意 特化時模板引數的先後順序不能變 特化是基於泛化版本進行的 函式模板特化過載與函式過載不衝突 函式模板只能全特化不能偏特化 模板類泛化 templateclass mytest int m func 模板類全特化 template class mytest 模板類偏特化 templateclas...

c 模板特化偏特化

模板為什麼要特化,因為編譯器認為,對於特定的型別,如果你對某一功能有更好地實現,那麼就該聽你的。模板分為類模板與函式模板,特化分為全特化與偏特化。全特化就是限定死模板實現的具體型別,偏特化就是模板如果有多個型別,那麼就只限定為其中的 一部分,其實特化細分為範圍上的偏特化與個數上的偏特化。模板的泛化 ...