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

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

创新互联专注于龙门网站建设服务及定制，我们拥有丰富的企业做网站经验。 热诚为您提供龙门营销型网站建设，龙门网站制作、龙门网页设计、龙门网站官网定制、重庆小程序开发服务，打造龙门网络公司原创品牌,更为您提供龙门网站排名全网营销落地服务。

最近在看STL的过程中，发现自己对于模板这里的知识有所生疏，因此今日将这部分内容再做整理，以备后忘。

关于C++模板的概念这里不再赘述，默认读者已经具备基础知识。

模板的特化

先看一段代码：

#include 
using namespace std;
 
template 
class TClass
{
public:
     bool Equal(const T& arg, const T& arg1);
};
 
template 
bool TClass::Equal(const T& arg, const T& arg1)
{
     return (arg == arg1);
}
 
int main()
{
     TClass obj;
     cout<
类里面就包括一个Equal方法，用来比较两个参数是否相等；上面的代码运行没有任何问题；但是，如果你传入一个float和一个double类型的参数，那么得到的结果有可能不是你想要的。所以，对于float或者double类型，我们需要进行特殊处理，处理如下：
#include 
using namespace std;
 
template 
class Compare
{
public:
     bool IsEqual(const T& arg, const T& arg1);
};
 
// 已经不具有template的意思了，已经明确为float了
template <>
class Compare
{
public:
     bool IsEqual(const float& arg, const float& arg1);
};
 
// 已经不具有template的意思了，已经明确为double了
template <>
class Compare
{
public:
     bool IsEqual(const double& arg, const double& arg1);
};
 
template 
bool Compare::IsEqual(const T& arg, const T& arg1)
{
     cout<<"Call Compare::IsEqual"<::IsEqual(const float& arg, const float& arg1)
{
     cout<<"Call Compare::IsEqual"<::IsEqual(const double& arg, const double& arg1)
{
     cout<<"Call Compare::IsEqual"< obj;
     Compare obj1;
     Compare obj2;
     cout<
这样就实现了模板的特化，对于float和double的特化版本，甚至可以做一些与非特化的不一样的事情，这也是模板特化的初衷，使得特化的模板具有与非特化模板一同的行为。
模板偏特化
上面对模板的特化进行了总结。那模板的偏特化呢？所谓的偏特化是指提供另一份template定义式，而其本身仍为templatized；也就是说，针对template参数更进一步的条件限制所设计出来的一个特化版本。这种偏特化的应用在STL中是随处可见的。比如：
template 
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 
struct iterator_traits {
  typedef random_access_iterator_tag iterator_category;
  typedef T                          value_type;
  typedef ptrdiff_t                  difference_type;
  typedef T*                         pointer;
  typedef T&                         reference;
};

template 
struct iterator_traits {
  typedef random_access_iterator_tag iterator_category;
  typedef T                          value_type;
  typedef ptrdiff_t                  difference_type;
  typedef const T*                   pointer;
  typedef const T&                   reference;
};
模板的偏特化与模板特化的区别在于，模板特化以后，实际上其本身已经不是templatized，而偏特化，仍然带有templatized。我们来看一个实际的例子：
#include 
using namespace std;
 
// 一般化设计
template 
class TestClass
{
public:
	TestClass()
	{
		cout << "T1, T2" << endl;
	}
};

// 针对普通指针的偏特化设计
template 
class TestClass
{
public:
	TestClass()
	{
		cout << "T1*, T2*" << endl;
	}
};

// 针对const指针的偏特化设计
template 
class TestClass
{
public:
	TestClass()
	{
		cout << "const T1*, T2*" << endl;
	}
};


int main()
{
    TestClass obj;				//T1,T2
    TestClass obj1;			//T1*,T2*
    TestClass obj2;	//const T1*,T2*
 
    return 0;
}
上面的代码就实现了模板的偏特化
特化与偏特化的调用顺序
对于模板、模板的特化和模板的偏特化都存在的情况下，编译器在编译阶段进行匹配时，是如何抉择的呢？从哲学的角度来说，应该先照顾最特殊的，然后才是次特殊的，最后才是最普通的。编译器进行抉择也是尊从的这个道理。从上面的例子中，我们也可以看的出来，这就就不再举例说明。
            
            
                            

                文章题目：C++模板的特化与偏特化                

                网站地址：http://dzwzjz.com/article/gjhiho.html