重庆分公司,新征程启航
为企业提供网站建设、域名注册、服务器等服务
C++模板的特化与偏特化
成都创新互联专注于企业成都营销网站建设、网站重做改版、贵德网站定制设计、自适应品牌网站建设、H5网站设计、商城开发、集团公司官网建设、成都外贸网站建设、高端网站制作、响应式网页设计等建站业务,价格优惠性价比高,为贵德等各大城市提供网站开发制作服务。最近在看STL的过程中,发现自己对于模板这里的知识有所生疏,因此今日将这部分内容再做整理,以备后忘。
关于C++模板的概念这里不再赘述,默认读者已经具备基础知识。
模板的特化
先看一段代码:
#includeusing 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类型,我们需要进行特殊处理,处理如下:
#includeusing 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中是随处可见的。比如:
templatestruct 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。我们来看一个实际的例子:
#includeusing 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