C++模板的特化與偏特化

創(chuàng)新互聯(lián)專注于龍門網(wǎng)站建設(shè)服務(wù)及定制，我們擁有豐富的企業(yè)做網(wǎng)站經(jīng)驗(yàn)。 熱誠為您提供龍門營銷型網(wǎng)站建設(shè)，龍門網(wǎng)站制作、龍門網(wǎng)頁設(shè)計(jì)、龍門網(wǎng)站官網(wǎng)定制、重慶小程序開發(fā)服務(wù)，打造龍門網(wǎng)絡(luò)公司原創(chuàng)品牌,更為您提供龍門網(wǎng)站排名全網(wǎng)營銷落地服務(wù)。

最近在看STL的過程中，發(fā)現(xiàn)自己對(duì)于模板這里的知識(shí)有所生疏，因此今日將這部分內(nèi)容再做整理，以備后忘。

關(guān)于C++模板的概念這里不再贅述，默認(rèn)讀者已經(jīng)具備基礎(chǔ)知識(shí)。

模板的特化

先看一段代碼：

#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)行沒有任何問題；但是，如果你傳入一個(gè)float和一個(gè)double類型的參數(shù)，那么得到的結(jié)果有可能不是你想要的。所以，對(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;
}

這樣就實(shí)現(xiàn)了模板的特化，對(duì)于float和double的特化版本，甚至可以做一些與非特化的不一樣的事情，這也是模板特化的初衷，使得特化的模板具有與非特化模板一同的行為。

模板偏特化

上面對(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;
};



template <class T>
struct iterator_traits<T*> {
  typedef random_access_iterator_tag iterator_category;
  typedef T                          value_type;
  typedef ptrdiff_t                  difference_type;
  typedef T*                         pointer;
  typedef T&                         reference;
};

template <class T>
struct iterator_traits<const T*> {
  typedef random_access_iterator_tag iterator_category;
  typedef T                          value_type;
  typedef ptrdiff_t                  difference_type;
  typedef const T*                   pointer;
  typedef const T&                   reference;
};

模板的偏特化與模板特化的區(qū)別在于，模板特化以后，實(shí)際上其本身已經(jīng)不是templatized，而偏特化，仍然帶有templatized。我們來看一個(gè)實(shí)際的例子：

#include <iostream>
using namespace std;
 
// 一般化設(shè)計(jì)
template <class T1, class T2>
class TestClass
{
public:
	TestClass()
	{
		cout << "T1, T2" << endl;
	}
};

// 針對(duì)普通指針的偏特化設(shè)計(jì)
template <class T1, class T2>
class TestClass<T1*, T2*>
{
public:
	TestClass()
	{
		cout << "T1*, T2*" << endl;
	}
};

// 針對(duì)const指針的偏特化設(shè)計(jì)
template <class T1, class T2>
class TestClass<const T1*, T2*>
{
public:
	TestClass()
	{
		cout << "const T1*, T2*" << endl;
	}
};


int main()
{
    TestClass<int, char> obj;				//T1,T2
    TestClass<int *, char *> obj1;			//T1*,T2*
    TestClass<const int *, char *> obj2;	//const T1*,T2*
 
    return 0;
}

上面的代碼就實(shí)現(xiàn)了模板的偏特化

特化與偏特化的調(diào)用順序

對(duì)于模板、模板的特化和模板的偏特化都存在的情況下，編譯器在編譯階段進(jìn)行匹配時(shí)，是如何抉擇的呢？從哲學(xué)的角度來說，應(yīng)該先照顧最特殊的，然后才是次特殊的，最后才是最普通的。編譯器進(jìn)行抉擇也是尊從的這個(gè)道理。從上面的例子中，我們也可以看的出來，這就就不再舉例說明。

本文標(biāo)題：C++模板的特化與偏特化
鏈接分享：http://www.rwnh.cn/article40/gjhiho.html

成都網(wǎng)站建設(shè)公司_創(chuàng)新互聯(lián)，為您提供微信公眾號(hào)、網(wǎng)站建設(shè)、品牌網(wǎng)站設(shè)計(jì)、品牌網(wǎng)站建設(shè)、網(wǎng)站設(shè)計(jì)公司、靜態(tài)網(wǎng)站

廣告

聲明：本網(wǎng)站發(fā)布的內(nèi)容（圖片、視頻和文字）以用戶投稿、用戶轉(zhuǎn)載內(nèi)容為主，如果涉及侵權(quán)請(qǐng)盡快告知，我們將會(huì)在第一時(shí)間刪除。文章觀點(diǎn)不代表本網(wǎng)站立場(chǎng)，如需處理請(qǐng)聯(lián)系客服。電話：028-86922220；郵箱：631063699@qq.com。內(nèi)容未經(jīng)允許不得轉(zhuǎn)載，或轉(zhuǎn)載時(shí)需注明來源： 創(chuàng)新互聯(lián)