C 模板的定義 使用及特化

2021-10-08 13:14:53 字數 3901 閱讀 5154

模板函式的定義格式：

template


<


class 形參名1，class 形參名2.


..，class 形參名3


>


//這裡class也可以換為typename


返回值型別 函式名（）


template


<


class


t>


bool


isequal


(t &a, t &b)


intmain()
什麼是類模板？

乙個類模板（也稱為類屬類或類生成類）允許使用者為類定義一種模式，使得類中的某些資料成員、默寫成員函式的引數、某些成員函式的返回值，能夠取任意型別（包括系統預定義的和使用者自定義的）。

如果乙個類中資料成員的資料型別不能確定，或者是某個成員函式的引數或返回值的型別不能確定，就必須將此類宣告為模板，它的存在不是代表乙個具體的、實際的類，而是代表著一類類。類模板中的成員函式全部都是模板函式（該說法正確）。

什麼是模板類？

模板類是類模板例項化後的乙個產物。可以從類模板派生出新的類，既可以派生類模板，也可以派生非模板類。

模板類的定義格式

template


<


class 形參名1，class 形參名2...


,class 形參名n>


class 類名
下面以容器介面卡為例進行分析：

template


<


typename t>


class


seqlist


;template


<


classt,


class


container


=seqlist<


int>>


//container就是乙個模板形參，模板實參傳什麼型別，container就是什麼型別


class


stack


;int


main()


template


<


typename t>


class


seqlist


;template


<


classt,


template


<


class


>


class


container


=seqlist>


//預設引數，這裡template 表示container是乙個模板型別的模板形參


class


stack


;
c++中的模板特化不同於模板的例項化，模板引數在某種特定型別下的具體實現稱為模板的特化。模板特化有時也稱之為模板的具體化。模板的全特化和偏特化都是在已經定義的模板類之上，不能單獨存在。

特化整體上分為全特化和偏特化

根據特化的物件可分為

（1）函式模板特化：當函式中需要對某些型別進行特化處理時，稱為函式模板的特化

類模板的特化例項：

//  模版特化


template


<


class


t>


intcompare


(const t left,


const t right)


// 這個是乙個特化的函式模版


template


<


>


int compare<


const


char


*>


(const


char


* left,


const


char


* right)


// 特化的函式模版, 兩個特化的模版本質相同, 因此編譯器會報錯


// 這種寫法也可以？？


// error: redefinition of 'int compare(t, t) [with t = const char*]'|


//template < >


//int compare(const char* left, const char* right)


//// 這個其實本質是函式過載


intcompare


(char


* left,


char


* right)


intmain()
當函式呼叫 有特化函式時，會優先呼叫特化的匹配函式，而不是通過函式模板進行例項化。

（2）類模板的特化：當類中需要對某些型別進行特化處理時，稱為類模板的特化

模板引數的類模板特化有如下三種情況：

下面分別就這三種情況進行說明：

特化為絕對型別：

#include


#include


#include


// general version


template


<


class


t>


class


compare};


// specialize for float


template


<


>


class


compare


<


float


>};


// specialize for double


template


<


>


class


compare


<


double


>};


intmain


(void


)
特化為引用指標型別：

template


<


class


_iterator


>


struct iterator_traits 


;// specialize for _tp*


template


<


class


_tp>


struct iterator_traits<_tp*


>


;// specialize for const _tp*


template


<


class


_tp>


struct iterator_traits<


const _tp*


>


;
特化為另乙個模板類：

// specialize for vector


template


<


class


t>


class


compare


>


}return


true;}


};
把isequal()的引數型別定義為vector型別，這種型別叫做偏特化型別，可以把這種偏特化型別自定義為我們的模板類型別：

// specialize for any template class type


template


<


class


t1>


struct specializedtype


;template


<


class


t>


class


compare


>


};
模板是不支援分離編譯的，如下是之前總結的模板為什麼不支援分離編譯

優點：

缺點：

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

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

C 模板特化 偏特化

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

c 模板特化偏特化

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