C++模板之特化與偏特化詳解。本站提示廣大學習愛好者：（C++模板之特化與偏特化詳解）文章只能為提供參考，不一定能成為您想要的結果。以下是C++模板之特化與偏特化詳解正文
媒介
說到C++模板，這個曾經不是甚麼新器械了，本身在現實開辟中也用過；關於C++模板特化和偏特化，關於他人來講，曾經不是甚麼新器械了，然則關於我來講，切實其實是我的盲區，那天在群裡評論辯論這個成績，本身關於這部門確切沒有控制，又聯想到在《STL源碼分析》一書中，關於此也是有著引見。所以，明天就對此停止具體的總結，以備後忘。
C++模板
說到C++模板特化與偏特化，就不能不扼要的先說說C++中的模板。我們都曉得，強類型的法式設計迫使我們為邏輯構造雷同而詳細數據類型分歧的對象編寫形式分歧的代碼，而沒法抽取個中的個性，如許明顯晦氣於法式的擴大和保護。C++模板就應運而生。C++的模板供給了對邏輯構造雷同的數據對象通用行動的界說。這些模板運算對象的類型不是現實的數據類型，而是一種參數化的類型。C++中的模板分為類模板和函數模板。
類模板以下：
#include <iostream>
using namespace std;
template <class T>
class TClass
{
public:
// TClass的成員函數
private:
T DateMember;
};
函數模板以下：
template <class T>
T Max(const T a, const T b)
{
return a > b ? a : b;
}
模板特化
有時為了須要，針對特定的類型，須要對模板停止特化，也就是所謂的特別處置。好比有以下的一段代碼：
#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;
}
類外面就包含一個Equal辦法，用來比擬兩個參數能否相等；下面的代碼運轉沒有任何成績；然則，你有無想過，在現實開辟中是切切不克不及如許寫的，關於float類型或許double的參數，相對不克不及直接應用“==”符號停止斷定。所以，關於float或許double類型，我們須要停止特別處置，處置以下：
#include <iostream>
using namespace std;
template <class T>
class Compare
{
public:
bool IsEqual(const T& arg, const T& arg1);
};
// 曾經不具有template的意思了，曾經明白為float了
template <>
class Compare<float>
{
public:
bool IsEqual(const float& arg, const float& arg1);
};
// 曾經不具有template的意思了，曾經明白為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;
}
模板偏特化
下面對模板的特化停止了總結。那模板的偏特化呢？所謂的偏特化是指供給另外一份template界說式，而其自己仍為templatized；也就是說，針對template參數更進一步的前提限制所設計出來的一個特化版本。這類偏特化的運用在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;
};
看了了麼？這就是模板偏特化，與模板特化的差別在於，模板特化今後，現實上其自己曾經不是templatized，而偏特化，依然帶有templatized。我們來看一個現實的例子：
#include <iostream>
using namespace std;
// 普通化設計
template <class T, class T1>
class TestClass
{
public:
TestClass()
{
cout<<"T, T1"<<endl;
}
};
// 針對通俗指針的偏特化設計
template <class T, class T1>
class TestClass<T*, T1*>
{
public:
TestClass()
{
cout<<"T*, T1*"<<endl;
}
};
// 針對const指針的偏特化設計
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;
}
關於輸入成果，我這裡就不寫了，年夜家可以試一試。
特化與偏特化的挪用次序
關於模板、模板的特化和模板的偏特化都存在的情形下，編譯器在編譯階段停止婚配時，是若何決定的呢？從哲學的角度來講，應當先照料最特別的，然後才是次特別的，最初才是最通俗的。編譯器停止決定也是尊從的這個事理。從下面的例子中，我們也能夠看的出來，這就就不再舉例解釋。
總結
關於模板的特化和偏特化，我的懂得能夠也不是很准確。願望年夜家和我停止商量。我這裡只是對本身的一些懂得停止了總結。最初，也願望年夜家對我的博客提出中肯的建議。我深信，分享使我們更提高。
