C 模板高階

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

型別形參：出現在模組引數列表中，跟在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()