重庆分公司,新征程启航

为企业提供网站建设、域名注册、服务器等服务

C++模板的特化与偏特化-创新互联

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

成都创新互联专注于企业成都营销网站建设、网站重做改版、贵德网站定制设计、自适应品牌网站建设、H5网站设计商城开发、集团公司官网建设、成都外贸网站建设、高端网站制作、响应式网页设计等建站业务,价格优惠性价比高,为贵德等各大城市提供网站开发制作服务。

最近在看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;
}

上面的代码就实现了模板的偏特化

特化与偏特化的调用顺序

对于模板、模板的特化和模板的偏特化都存在的情况下,编译器在编译阶段进行匹配时,是如何抉择的呢?从哲学的角度来说,应该先照顾最特殊的,然后才是次特殊的,最后才是最普通的。编译器进行抉择也是尊从的这个道理。从上面的例子中,我们也可以看的出来,这就就不再举例说明。

另外有需要云服务器可以了解下创新互联scvps.cn,海内外云服务器15元起步,三天无理由+7*72小时售后在线,公司持有idc许可证,提供“云服务器、裸金属服务器、高防服务器、香港服务器、美国服务器、虚拟主机、免备案服务器”等云主机租用服务以及企业上云的综合解决方案,具有“安全稳定、简单易用、服务可用性高、性价比高”等特点与优势,专为企业上云打造定制,能够满足用户丰富、多元化的应用场景需求。


分享文章:C++模板的特化与偏特化-创新互联
URL链接:http://cqcxhl.com/article/dodsci.html

其他资讯

在线咨询
服务热线
服务热线:028-86922220
TOP