3.3 類模板特化的應用---型別萃取
通常情況下，使用模板可以實現一些與型別無關的**，但對於一些特殊型別的可能會得到一些錯誤的結果，比如：
template
<
class
t>
bool
isequal
(t& left,t& right)
void
test()
函式模板的特化步驟：
1.必須要先有乙個基礎的函式模板
2.關鍵字template後面接一對空的尖括號<>
3. 函式名後跟一對尖括號，尖括號中指定需要特化的型別
4. 函式形參表: 必須要和模板函式的基礎引數型別完全相同，如果不同編譯器可能會報一些奇怪的錯誤。
上述**改造為：
template
<
>
bool isequal<
char
*>
(char
*& left,
char
*&right)
template
<
>
class
data
<
int,
char
>
private
:int _d1;
char _d2;
};
將模板引數類表中的一部分引數特化。
template
<
class
t>
class
data
< t,
int>
private
: t _d1;
int _d2;
};
template
<
classt1,
class
t2>
class
data
< t1*
, t2*
>
private
: t1* _d1;
t2* _d2;
};
string s1=
;string s2[3]
;
memcpy是按照位元組的方式拷貝的，將一塊記憶體中的內容原封不動的拷貝到另外一塊記憶體中，這樣會導致s2中原先內容無法找到，存在記憶體洩漏問題。
第二種方法就是用for迴圈，可是這種方法對於內建型別元素來說過於繁瑣。那麼如何將內建型別元素和自定義型別元素區分開來拷貝呢？這時就用到了型別萃取。
**如下：
//表示內建型別
struct true};
//表示自定義型別
struct false};
//用該類模板來檢測t到底是什麼型別---自定義型別
template
<
class
t>
struct typetraits
;//所有內建型別全部進行特化
template
<
>
struct typetraits <
int>
;template
<
>
struct typetraits <
char
>
;template
<
>
struct typetraits <
double
>
;//...
template
<
class
t>
void
copy
(t* dst,
const t* src, size_t size)
else
}void
testcopy()
;int array2[5]
;copy
(array2, array1,
sizeof
(array1)
/sizeof
(array1[0]
)); string s1=
; string s2[3]
;copy
(s2, s1,3)
;}
C 模板 模板特化 模板偏特化
模板是c 的乙個重要特性 使用模板 可以極大的減少類似功能 的編寫 這可以看做是c 相較於c的進步 因為這一特性在c中是不容易達到的 語言層面不支援 模板的關鍵字是 template 簡單的模板應用 template class test int main 使用模板的類在例項化時需要指明模板引數型別...
C 模板特化 偏特化
注意 特化時模板引數的先後順序不能變 特化是基於泛化版本進行的 函式模板特化過載與函式過載不衝突 函式模板只能全特化不能偏特化 模板類泛化 templateclass mytest int m func 模板類全特化 template class mytest 模板類偏特化 templateclas...
c 模板特化偏特化
模板為什麼要特化，因為編譯器認為，對於特定的型別，如果你對某一功能有更好地實現，那麼就該聽你的。模板分為類模板與函式模板，特化分為全特化與偏特化。全特化就是限定死模板實現的具體型別，偏特化就是模板如果有多個型別，那麼就只限定為其中的 一部分，其實特化細分為範圍上的偏特化與個數上的偏特化。模板的泛化 ...