模板引數分為類型別形參和非型別形參。
類型別形參：出現在模板引數列表中，跟在class或者typename之類的引數型別名稱。
非型別形參：就是用乙個常量作為類（函式）模板的乙個引數，在類（函式）模板中可將該引數當成常量來使用。
示例：
定義乙個模板型別的靜態陣列。
template
<
class
t, size_t n =
10>
class
staticarray
const t&
operator
(size_t index)
const
size_t size()
const
bool
empty()
const
private
: t _arr[n]
; size_t _size;
};
浮點數、類物件以及字串是不允許作為非型別模板引數的。
非型別的模板引數必須在編譯期間就能夠確認結果。
通常情況下，使用模板可以實現一些與型別無關的**，但對於一些特殊型別的可能會得到一些錯誤的結果。
template
<
class
t>
bool
isequal
(t& left, t& right)
intmain()
else
return0;
}
函式模板的特化步驟：
必須要現有乙個基礎的函式模板。
關鍵字template後面接一對空的尖括號<>。
函式名後跟一對尖括號，尖括號中指定需要特化的型別。
函式形參表：必須要和模板函式的基礎引數型別完全相同，如果不同編譯器可能會報一些奇怪的錯誤。
template
<
>
bool isequal<
char
*>
(char
*& left,
char
*& right)
return
false
;}
bool
isequal
(char
* left,
char
* right)
return
false
;}
template
<
classt1,
class
t2>
class
data
private
: t1 _d1;
t2 _d2;
};
template
<
>
class
data
<
int,
char
>
};
我們還是以上述的模板類為例，其偏特化有以下兩種表現方式：
template
<
class
t1>
// 將第二個引數特化為int
class
data
< t1,
int>
private
: t1 _d1;
int _d2;
};
template
<
classt1,
class
t2>
// 兩個引數偏特化為指標型別
class
data
< t1*
, t2*
>
private
: t1 _d1;
t2 _d2;
};
template
<
classt1,
class
t2>
// 兩個引數偏特化為引用型別
class
data
< t1&
, t2&
>
private
:const t1& _d1;
const t2& _d2;
};
C 模板高階
模板引數分為類型別形參和非型別形參。類型別形參 出現在模板引數列表中，跟在class或者typename之後類的引數型別名稱。非型別形參 用乙個常量作為類 函式 模板的乙個引數，在類 函式 模板中可將該引數當成常量來使用。注意 通常情況下，使用模板可以實現一些與型別無關的 但一些特殊型別的可能會得到...
C 模板高階
模板引數分類型別形參與非型別形參。型別形參即 出現在模板引數列表中，跟在class或者typename之類的引數型別名稱。非型別形參，就是用乙個常量作為類 函式 模板的乙個引數，在類 函式 模板中可將該引數當成常量來使用.定義乙個模板型別的靜態陣列 template10 class array co...
C 模板高階
模板引數分為型別形參與非型別形參。型別形參 出現在模組引數列表中，跟在class或者typename之類的引數型別名稱。非型別形參 用乙個常量作為類 函式 模板的乙個引數，在類 函式 模板中可將該引數當成常量來使用。注意 浮點數 類物件以及字串是不允許作為非型別模板引數的。非型別的模板引數必須在編譯...