C 模板高階

2021-10-04 04:37:10 字數 2401 閱讀 5900

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

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

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

注意:

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

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

1、模板特化的概念

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

//這個例子應該是比較p1和p2是否相同,但事實上下面**是按p1和p2的位址比較的

template

<

class

t>

bool

isequal

(t& left, t& right)

void

test()

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

2、函式模板特化

函式模板的特化步驟:

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

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

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

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

//特殊化處理,顯示指定引數

template

<

>

bool isequal<

char

*>

(char

*& left,

char

*& right)

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

bool

isequal

(char

* left,

char

* right)

3、類模板特化

(1)全特化

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

template

<

classt1,

class

t2>

class

data

private

: t1 _d1;

t2 _d2;};

template

<

>

class

data

<

int,

char

>

private

: t1 _d1;

t2 _d2;};

void

test()

(2)偏特化

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

偏特化有以下兩種表現方式:

template

<

class

t1>

class

data

int>

private

: t1 _d1;

t2 _d2;

};

//兩個引數偏特化為指標型別

template

<

typename t1,

typename t2>

class

data

, t2*

>

private

: t1 _d1;

t2 _d2;};

//兩個引數偏特化為引用型別

template

<

typename t1,

typename t2>

class

data

, t2&

>

private

:const t1& _d1;

const t2& _d2;};

void

test()

優點:

模板復用了**,節省資源,更快的迭代開發,c++的標準模板庫(stl)因此而產生

增強了**的靈活性

缺陷:

模板會導致**膨脹問題,也會導致編譯時間變長

出現模板編譯錯誤時,錯誤資訊非常凌亂,不易定位錯誤

C 模板高階

模板引數分為類型別形參和非型別形參。類型別形參 出現在模板引數列表中,跟在class或者typename之後類的引數型別名稱。非型別形參 用乙個常量作為類 函式 模板的乙個引數,在類 函式 模板中可將該引數當成常量來使用。注意 通常情況下,使用模板可以實現一些與型別無關的 但一些特殊型別的可能會得到...

C 模板高階

模板引數分為類型別形參和非型別形參。類型別形參 出現在模板引數列表中,跟在class或者typename之類的引數型別名稱。非型別形參 就是用乙個常量作為類 函式 模板的乙個引數,在類 函式 模板中可將該引數當成常量來使用。示例 定義乙個模板型別的靜態陣列。template class t,size...

C 模板高階

模板引數分類型別形參與非型別形參。型別形參即 出現在模板引數列表中,跟在class或者typename之類的引數型別名稱。非型別形參,就是用乙個常量作為類 函式 模板的乙個引數,在類 函式 模板中可將該引數當成常量來使用.定義乙個模板型別的靜態陣列 template10 class array co...