C 模板的特化

概念

模板的特化不同於模板的例項化，而是在原模板的基礎上，針對一些特殊型別引數所實現的特殊方式。

一、函式模板特化

模板函式特化形式如下：

1、關鍵字template後面直接接一對空的尖括號<>，不需要寫入型別

2、必須要有乙個原函式模板

3、函式名《特化型別》（特化型別 引數1， 特化型別 引數2 , …） 在函式名後跟<>其中寫要特化的型別

4、函式形參表：即函式引數要和模板函式的基礎引數型別相同

template

<
class
t>
bool
test
(t& p1, t& p2)
t//特化
template
<
>
bool test<
char
*>
(char
*& left,
char
*& right)

二、類模板的特化

1、全特化

即將模板引數列表中的所有引數都進行特化。

template

<
classt1,
class
t2>
class
test
private
:	t1 _t1;
t2 _t2;};
//全特化
template
<
>
//全特化
class
test
<
int,
double
>
private
:	t1 _t1;
t2 _t2;
};

對模板引數做了一些限制。

部分特化

//給定模板

template
<
classt1,
class
t2>
class
test
private
:	t1 _t1;
t2 _t2;};
//將第二個型別改為int
template
<
class
t1>
class
test
int>
private
:	t1 _t1;
t2 _t2;};
//偏特化為引用型別
template
<
classt1,
class
t2>
class
test
,t2&
>
;//偏特化為指標型別
template
<
classt1,
class
t2>
class
test
,t2*
>
;

１. 特例化本質上是我們頂替了編譯器的工作，我們幫編譯器做了型別推導。

２. 全特化本質上是乙個例項，而偏特化本質上還是乙個模板，相當於原來模板的乙個子集。所以全特化的函式模板，本質上是例項，從而不會與函式模板產生二義性。

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

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

C 模板特化 偏特化

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

c 模板特化偏特化

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