【型別萃取】說白了就是對模板特化的一種應用。
1、型別萃取的作用：型別萃取使用模板技術來萃取型別(包含自定義型別和內建型別)的某些特性，用以判斷該型別是否含有某些特性，從而在泛型演算法中來對該型別進行特殊的處理用來提高效率或者其他。
我們來看一道讀型別萃取應用的題：如果我們要編寫一道通用加法的函式，但是它的返回值和引數的型別不同，也就是說，它的返回值和引數我們可以進行分開控制。來看我們怎麼做：（這個例子是實現返回值返回的是提公升乙個型別）
#includeusing namespace std;
templatestruct elemtype;
template<>
struct elemtype;
template<>
struct elemtype//我們本可以用char的但是編譯器一般會將char預設為有符號還是無符號，我們未可知，
;templatetypename elemtype::type add(t a,t b)
;
2）我們有兩種方式檢查輸出：
a、在主函式裡
//cout<
typename elemtype::type hhh;
cout<
這就是型別萃取的乙個應用，是不是茅塞頓開!!!
更多它的應用，待以後我慢慢道來。。
C 型別萃取
在c 中我們可以通過typeid來獲取乙個型別的名稱 內建型別和自定義型別都可以 但是我們不能用這種方式獲取來的名稱做變數的宣告。那麼在c 中怎樣識別物件的型別呢？我們可以通過型別萃取的方式來區分內建型別和自定義型別。例如 我們在seqlist中要用到型別萃取，因為內建型別我們可以通過memcopy...
C 型別萃取
當我們遇到這樣的場景時，我們會用到型別萃取 template void copy t dst,t str,size t n 模板函式copy void test string s2 10 int l1 10 int l2 10 copy s1,s2,10 copy l1,l2,10 for size...
C 型別萃取
型別萃取依靠的就是模版的特化，模版的特化又分為全特化和偏特化，根據不同的情況做相應的呼叫。函式模版特化 函式模版只有全特化，而沒有偏特化。沒有偏特化的原因是已經有了函式過載。通用模版並不總是正確的，在某些情況下有可能是錯誤的。例如 include using namespace std templa...