C++模板之特化與偏特化詳解
前言
說到C++模板，這個(gè)已經(jīng)不是什么新東西了，自己在實(shí)際開發(fā)中也用過；對(duì)于C++模板特化和偏特化，對(duì)于別人來說，已經(jīng)不是什么新東西了，但是對(duì)于我來說，的確是我的盲區(qū)，那天在群里討論這個(gè)問題，自己對(duì)于這部分確實(shí)沒有掌握，又聯(lián)想到在《STL源碼剖析》一書中，對(duì)于此也是有著介紹。所以，今天就對(duì)此進(jìn)行詳細(xì)的總結(jié)，以備后忘。
C++模板
說到C++模板特化與偏特化，就不得不簡要的先說說C++中的模板。我們都知道，強(qiáng)類型的程序設(shè)計(jì)迫使我們?yōu)檫壿嫿Y(jié)構(gòu)相同而具體數(shù)據(jù)類型不同的對(duì)象編寫模式一致的代碼，而無法抽取其中的共性，這樣顯然不利于程序的擴(kuò)充和維護(hù)。C++模板就應(yīng)運(yùn)而生。C++的模板提供了對(duì)邏輯結(jié)構(gòu)相同的數(shù)據(jù)對(duì)象通用行為的定義。這些模板運(yùn)算對(duì)象的類型不是實(shí)際的數(shù)據(jù)類型，而是一種參數(shù)化的類型。C++中的模板分為類模板和函數(shù)模板。
類模板如下：
#include <iostream>
using namespace std;
template <class T>
class TClass
{
public:
// TClass的成員函數(shù)
private:
T DateMember;
};
函數(shù)模板如下：
template <class T>
T Max(const T a, const T b)
{
return a > b ? a : b;
}
模板特化
有時(shí)為了需要，針對(duì)特定的類型，需要對(duì)模板進(jìn)行特化，也就是所謂的特殊處理。比如有以下的一段代碼：
#include <iostream>
using namespace std;
template <class T>
class TClass
{
public:
bool Equal(const T& arg, const T& arg1);
};
template <class T>
bool TClass<T>::Equal(const T& arg, const T& arg1)
{
return (arg == arg1);
}
int main()
{
TClass<int> obj;
cout<<obj.Equal(2, 2)<<endl;
cout<<obj.Equal(2, 4)<<endl;
}
類里面就包括一個(gè)Equal方法，用來比較兩個(gè)參數(shù)是否相等；上面的代碼運(yùn)行沒有任何問題；但是，你有沒有想過，在實(shí)際開發(fā)中是萬萬不能這樣寫的，對(duì)于float類型或者double的參數(shù)，絕對(duì)不能直接使用“==”符號(hào)進(jìn)行判斷。所以，對(duì)于float或者double類型，我們需要進(jìn)行特殊處理，處理如下：
#include <iostream>
using namespace std;
template <class T>
class Compare
{
public:
bool IsEqual(const T& arg, const T& arg1);
};
// 已經(jīng)不具有template的意思了，已經(jīng)明確為float了
template <>
class Compare<float>
{
public:
bool IsEqual(const float& arg, const float& arg1);
};
// 已經(jīng)不具有template的意思了，已經(jīng)明確為double了
template <>
class Compare<double>
{
public:
bool IsEqual(const double& arg, const double& arg1);
};
template <class T>
bool Compare<T>::IsEqual(const T& arg, const T& arg1)
{
cout<<"Call Compare<T>::IsEqual"<<endl;
return (arg == arg1);
}
bool Compare<float>::IsEqual(const float& arg, const float& arg1)
{
cout<<"Call Compare<float>::IsEqual"<<endl;
return (abs(arg - arg1) < 10e-3);
}
bool Compare<double>::IsEqual(const double& arg, const double& arg1)
{
cout<<"Call Compare<double>::IsEqual"<<endl;
return (abs(arg - arg1) < 10e-6);
}
int main()
{
Compare<int> obj;
Compare<float> obj1;
Compare<double> obj2;
cout<<obj.IsEqual(2, 2)<<endl;
cout<<obj1.IsEqual(2.003, 2.002)<<endl;
cout<<obj2.IsEqual(3.000002, 3.0000021)<<endl;
}
模板偏特化
上面對(duì)模板的特化進(jìn)行了總結(jié)。那模板的偏特化呢？所謂的偏特化是指提供另一份template定義式，而其本身仍為templatized；也就是說，針對(duì)template參數(shù)更進(jìn)一步的條件限制所設(shè)計(jì)出來的一個(gè)特化版本。這種偏特化的應(yīng)用在STL中是隨處可見的。比如：
template <class _Iterator>
struct iterator_traits
{
typedef typename _Iterator::iterator_category iterator_category;
typedef typename _Iterator::value_type value_type;
typedef typename _Iterator::difference_type difference_type;
typedef typename _Iterator::pointer pointer;
typedef typename _Iterator::reference reference;
};
// specialize for _Tp*
template <class _Tp>
struct iterator_traits<_Tp*>
{
typedef random_access_iterator_tag iterator_category;
typedef _Tp value_type;
typedef ptrdiff_t difference_type;
typedef _Tp* pointer;
typedef _Tp& reference;
};
// specialize for const _Tp*
template <class _Tp>
struct iterator_traits<const _Tp*>
{
typedef random_access_iterator_tag iterator_category;
typedef _Tp value_type;
typedef ptrdiff_t difference_type;
typedef const _Tp* pointer;
typedef const _Tp& reference;
};
看了了么？這就是模板偏特化，與模板特化的區(qū)別在于，模板特化以后，實(shí)際上其本身已經(jīng)不是templatized，而偏特化，仍然帶有templatized。我們來看一個(gè)實(shí)際的例子：
#include <iostream>
using namespace std;
// 一般化設(shè)計(jì)
template <class T, class T1>
class TestClass
{
public:
TestClass()
{
cout<<"T, T1"<<endl;
}
};
// 針對(duì)普通指針的偏特化設(shè)計(jì)
template <class T, class T1>
class TestClass<T*, T1*>
{
public:
TestClass()
{
cout<<"T*, T1*"<<endl;
}
};
// 針對(duì)const指針的偏特化設(shè)計(jì)
template <class T, class T1>
class TestClass<const T*, T1*>
{
public:
TestClass()
{
cout<<"const T*, T1*"<<endl;
}
};
int main()
{
TestClass<int, char> obj;
TestClass<int *, char *> obj1;
TestClass<const int *, char *> obj2;
return 0;
}
對(duì)于輸出結(jié)果，我這里就不寫了，大家可以試一試。
特化與偏特化的調(diào)用順序
對(duì)于模板、模板的特化和模板的偏特化都存在的情況下，編譯器在編譯階段進(jìn)行匹配時(shí)，是如何抉擇的呢？從哲學(xué)的角度來說，應(yīng)該先照顧最特殊的，然后才是次特殊的，最后才是最普通的。編譯器進(jìn)行抉擇也是尊從的這個(gè)道理。從上面的例子中，我們也可以看的出來，這就就不再舉例說明。
總結(jié)
對(duì)于模板的特化和偏特化，我的理解可能也不是很正確。希望大家和我進(jìn)行探討。我這里只是對(duì)自己的一些理解進(jìn)行了總結(jié)。最后，也希望大家對(duì)我的博客提出中肯的建議。我堅(jiān)信，分享使我們更進(jìn)步。
相關(guān)文章
在C++中只有一個(gè)字符串類，即basic_string，其管理著一個(gè) '\0' 結(jié)尾的字符數(shù)組。頭文件：#include <string>，string類支持兩種輸入方式：cin方式和getline()方式2022-06-06
QT實(shí)現(xiàn)C++數(shù)據(jù)類與json轉(zhuǎn)換
這篇文章主要為大家詳細(xì)介紹了如何使用QT實(shí)現(xiàn)C++數(shù)據(jù)類與json轉(zhuǎn)換,文中的示例代碼講解詳細(xì),感興趣的小伙伴可以跟隨小編一起學(xué)習(xí)一下2025-04-04
C++實(shí)現(xiàn)掃雷小游戲(控制臺(tái))
這篇文章主要為大家詳細(xì)介紹了C++實(shí)現(xiàn)掃雷小游戲，文中示例代碼介紹的非常詳細(xì)，具有一定的參考價(jià)值，感興趣的小伙伴們可以參考一下2022-05-05
這篇文章主要介紹了C語言中帶返回值的宏定義方式，具有很好的參考價(jià)值，希望對(duì)大家有所幫助。如有錯(cuò)誤或未考慮完全的地方，望不吝賜教2023-02-02
C++精要分析右值引用與完美轉(zhuǎn)發(fā)的應(yīng)用
C++11標(biāo)準(zhǔn)為C++引入右值引用語法的同時(shí)，還解決了一個(gè)短板，即使用簡單的方式即可在函數(shù)模板中實(shí)現(xiàn)參數(shù)的完美轉(zhuǎn)發(fā)。那么，什么是完美轉(zhuǎn)發(fā)？它為什么是C++98/03 標(biāo)準(zhǔn)存在的一個(gè)短板？C++11標(biāo)準(zhǔn)又是如何為C++彌補(bǔ)這一短板的？別急，本節(jié)將就這些問題給讀者做一一講解2022-05-05
C/C++實(shí)現(xiàn)樹操作的實(shí)例代碼
這篇文章主要介紹了C/C++實(shí)現(xiàn)樹操作的實(shí)例代碼，代碼簡單易懂，非常不錯(cuò)，具有一定的參考借鑒價(jià)值,需要的朋友可以參考下2020-02-02
淺談CMake配置OpenCV 時(shí)靜態(tài)鏈接與動(dòng)態(tài)鏈接的選擇
下面小編就為大家?guī)硪黄獪\談CMake配置OpenCV 時(shí)靜態(tài)鏈接與動(dòng)態(tài)鏈接的選擇。小編覺得挺不錯(cuò)的，現(xiàn)在就分享給大家，也給大家做個(gè)參考。一起跟隨小編過來看看吧2017-01-01
C語言中的setlinebuf()、utmpname()、rewind函數(shù)使用
這篇文章主要介紹了C語言中的setlinebuf()、utmpname()、rewind函數(shù)使用,是C語言中操作文件的一些基本函數(shù),需要的朋友可以參考下2015-08-08
一篇文章帶你了解C語言內(nèi)存對(duì)齊解決的問題
內(nèi)存對(duì)齊的目的是為了提高CPU讀寫內(nèi)存里數(shù)據(jù)的速度?，F(xiàn)代的CPU讀取內(nèi)存并不是一個(gè)一個(gè)字節(jié)挨著讀取，這樣做的效率非常低?，F(xiàn)代的CPU一般以4個(gè)字節(jié)(32bit數(shù)據(jù)總線）或者8個(gè)字節(jié)（64bit數(shù)據(jù)總線）為一組，一組一組地讀寫內(nèi)存里的數(shù)據(jù)2021-08-08
C++基礎(chǔ)學(xué)習(xí)之利用兩個(gè)棧實(shí)現(xiàn)一個(gè)隊(duì)列
這篇文章主要給大家介紹了關(guān)于C++基礎(chǔ)學(xué)習(xí)之利用兩個(gè)棧實(shí)現(xiàn)一個(gè)隊(duì)列的相關(guān)資料，文中通過示例代碼介紹的非常詳細(xì)，對(duì)大家學(xué)習(xí)或者使用C++具有一定的參考學(xué)習(xí)價(jià)值，需要的朋友們下面來一起學(xué)習(xí)學(xué)習(xí)吧2019-05-05