模板分為函式模板和類模板，特化分為全特化和偏特化（partial specialization）。其中，類模板有全特化和偏特化，函式模板只能全特化。使用模板的時候，我們的目的就是希望可以不用每個型別實現一遍，而是用乙個模板代替這個型別。如果所有型別的實現都是乙個統一的一樣的實現，就不需要模板特化或者偏特化了，但是大多數情況是肯定有特殊版本需要特殊處理的，有兩個典型例子：
1、hash<_kty>：模板全特化
2、vector：模板偏特化
文章分為 3 部分：
1、模板全特化（函式模板只能全特化）
1.1 類模板全特化
1.2 函式模板全特化
2、模板偏特化
2.1 個數上偏特化
2.2 範圍上偏特化
3、總結
一、模板全特化
1.1 類模板全特化
c++11中新加入的容器unordered_set、unordered_map以及他們的 multi 版本，底層都是雜湊表，模板引數如下：
template
<
class
_kty
,class
_hasher
= hash<_kty>
,class
_keyeq
= equal_to<_kty>
,class
_alloc
= allocator<_kty>>
unordered_set要存放的元素的型別，第二個引數就是 hash 函式，預設使用hash<_kty>，我們跳到hash<_kty>實現部分可以看到：
除了模板形式的hash<_kty>，還有很多特化版本，比如hash。模板版本就是template：
template
<
class
_kty
>
struct hash : __blalbla // 一大堆，省略掉先
};
template<>，告訴編譯器，下邊這個是特化版本，而且後邊寫的時候要明確寫出struct hash，告訴編譯器特化的版本的模板型別：
template
<
>
struct hash<
float
>
};
c++不允許函式模板偏特化，可能是因為函式可以直接過載？。
//模板函式
template
<
typename t1,
typename t2>
void
fun(t1 a, t2 b)
//全特化
template
<
>
void fun<
int,
char
>
(int a,
char b)
模板偏特化是指模板列表中一部分特化，一部分不特化，比如vector。我們知道vector和其他的 vector 不一樣，他使用乙個 bit 來儲存乙個元素，因為只有true和false（c++ stl 裡邊所有容器，只有 vector 對 bool 進行了這樣的特化）。
模板偏特化分為：範圍上偏特化，個數上偏特化。
2.1 個數上偏特化
正常的 vector 如下（比如乙個vectorvi;，我們跳過去）：
// class template vector
template
<
class
_ty,
class
_alloc
= allocator<_ty>>
class
vector
// : blabla // 繼承這裡不關心，省略掉
vectorvi;是有兩個模板引數的，第乙個是元素型別，第二個是儲存方式，預設是allocator<_ty>，我們在宣告乙個vectorvb;，跳過去看：
// class vector
template
<
class
_alloc
>
class
vector
<
bool
, _alloc>
:public _vb_val<_alloc>
template，而在下邊寫明了class vector，這樣編譯器就知道是偏特化了。這種模板引數個數變化的，就是個數上的偏特化。
2.1 範圍上偏特化
下邊這樣，模板引數個數沒有變化，而是從值變成指標，就是範圍上偏特化。
template
<
typename t>
classc;
template
<
typename t>
class
c>
;int
main()
C 模板特化 偏特化
注意 特化時模板引數的先後順序不能變 特化是基於泛化版本進行的 函式模板特化過載與函式過載不衝突 函式模板只能全特化不能偏特化 模板類泛化 templateclass mytest int m func 模板類全特化 template class mytest 模板類偏特化 templateclas...
c 模板特化偏特化
模板為什麼要特化，因為編譯器認為，對於特定的型別，如果你對某一功能有更好地實現，那麼就該聽你的。模板分為類模板與函式模板，特化分為全特化與偏特化。全特化就是限定死模板實現的具體型別，偏特化就是模板如果有多個型別，那麼就只限定為其中的 一部分，其實特化細分為範圍上的偏特化與個數上的偏特化。模板的泛化 ...
C 模板 模板特化 模板偏特化
模板是c 的乙個重要特性 使用模板 可以極大的減少類似功能 的編寫 這可以看做是c 相較於c的進步 因為這一特性在c中是不容易達到的 語言層面不支援 模板的關鍵字是 template 簡單的模板應用 template class test int main 使用模板的類在例項化時需要指明模板引數型別...