第C++深入淺出探索模板目錄非類型模板參數(shù)模板特化函數(shù)模板特化類模板特化全特化偏特化模板分離編譯模板的分離編譯解決方法總結

非類型模板參數(shù)

模板參數(shù)分類類型形參與非類型形參。

類型形參：出現(xiàn)在模板參數(shù)列表中，跟在class或者typename之類的參數(shù)類型名稱。

非類型形參，就是用一個常量作為類（函數(shù)）模板的一個參數(shù)，在類（函數(shù)）模板中可將該參數(shù)當成常量來使用。

注意：

浮點數(shù)，類對象以及字符串是不允許作為非類型模板的。非類型的模板參數(shù)必須在編譯期就能確認結果。

模板特化

有時候，編譯默認函數(shù)模板或者類模板不能正確處理需要邏輯，需要針對一些情況特殊化處理，就要做模板特化。

通常情況下，使用模板可以實現(xiàn)一些與類型無關的代碼，但對于一些特殊類型的可能會得到一些錯誤的結果，例如：

templateclassT

boolIsEqual(constTleft,constTright)

returnleft==right;

//針對字符串類型要特殊化處理--寫一份函數(shù)模板的特殊化出來

template

boolIsEqualchar*(constchar*left,constchar*right)

returnstrcmp(left,right)==0;

intmain()

coutIsEqual(1,2)endl;//0

coutIsEqual(1.1,1.1)endl;//1

charp1[]="hello";

charp2[]="hello";

coutIsEqual(p1,p2)endl;//0

constchar*p3="hello";

constchar*p4="hello";

coutIsEqual(p3,p4)endl;//1

}

此時，就需要對模板進行特化。即：在原模板類的基礎上，針對特殊類型所進行特殊化的實現(xiàn)方式。模板特化中分為函數(shù)模板特化與類模板特化。

特化的本質：顯示指定實例化的模板

函數(shù)模板特化

函數(shù)模板特化步驟

必須要先有一個基礎的函數(shù)模板關鍵字template后面接一對空的尖括號函數(shù)名后跟一對尖括號，尖括號中指定需要特化的類型函數(shù)形參表:必須要和模板函數(shù)的基礎參數(shù)類型完全相同，如果不同編譯器可能會報一些奇怪的錯誤

template

boolIsEqualconstchar*const(constchar*constleft,constchar*right)

if(strcmp(left,right)0)

returntrue;

returnfalse;

}

注意：一般情況下如果函數(shù)模板遇到不能處理或者處理有誤的類型，為了實現(xiàn)簡單通常都是將該函數(shù)直接給出。

類模板特化

全特化

全特化既是將模板參數(shù)列表中所有的參數(shù)都確定化

templatecalssT1,classT2

classData

public:

Data(){cout"DataT1,T2"endl;}

private:

T1_d1;

T2_d2;

template

classDataint,char

public:

Data(){cout"Dataint,char"endl;}

private:

int_d1;

char_d2;

voidTestVector()

Dataint,int

Dataint,char

}

偏特化

針對任何模板參數(shù)進一步進行條件限制設計的特化版本，比如對于一下模板類：

templateclassT1,classT2

classData

public:

Data(){cout"DataT1,T2"endl;}

private:

T1_d1;

T2_d2;

//偏特化有以下兩種表現(xiàn)方式：

//1、部分特化：將函數(shù)中的一部分參數(shù)特化。

templateclassT1

classDataT1,int

public:

Data(){cout"DataT1,int"endl;}

private:

T1_d1;

int_d2;

//2、參數(shù)進一步的限制:偏特化并不僅僅是指特化部分參數(shù)，而是針對模板參數(shù)更進一步的條件限制所設計出來的一個特化版本

//兩個參數(shù)偏特化為指針類型

templatetypenameT1,typenameT2

classDataT1*,T2*

public:

Data(){cout"DataT1*,T2*"endl;}

private:

T1*_d1;

T2*_d2;

//兩個參數(shù)偏特化為引用類型

templatetypenameT1,typenameT2

classDataT1,T2

public:

Data(){cout"DataT1,T2"endl;}

private:

constT1_d1;

constT2_d2;

voidtest2()

Datadouble,int//調用特化的int版本

Dataint,double//調用基礎模板

Dataint*,int*//調用特化的指針版本

Dataint,intd4(1,2);//調用特化的引用版本

}

模板分離編譯

分離編譯就是指一個程序由若干個源文件共同實現(xiàn)，而每個源文件單獨編譯生成目標文件，最后將目標文件連接起來形成單一的可執(zhí)行文件的過程稱為分離編譯模式。

模板的分離編譯

//a.h

templateclassT

TAdd(constTleft,constTright);

//a.cpp

templateclassT

TAdd(constTleft,constTright)

returnleft+right;

//main.cpp

#include"a.h"

intmain()

Add(1,2);

Add(1.0,2.0);

return0;

}

分析：

解決方法

將聲明和定義放到一個