C++Traits应用技巧分享

C++中有一种比较难以理解的知识，叫做C++ Traits技术。我们在这篇文章中将会针对这一技术做一个详细的介绍。希望大家可以收藏这篇文章，作为学习参考对象，方便我们对这一技术的理解。

成都创新互联公司是一家朝气蓬勃的网站建设公司。公司专注于为企业提供信息化建设解决方案。从事网站开发，网站制作，网站设计，网站模板，微信公众号开发，软件开发，微信平台小程序开发，10余年建站对PVC花箱等多个领域，拥有丰富的网站制作经验。

C++ Traits技术可以用来获得一个 类型的相关信息的。 首先假如有以下一个泛型的迭代器类，其中类型参数 T 为迭代器所指向的类型：

 
 
 
    
  
  
  
  1. template < typename T> 
    2. 
  
  
  
  2. class myIterator  
    3. 
  
  
  
  3. {  
    4. 
  
  
  
  4. ...  
    5. 
  
  
  
  5. }; 
    6.

当我们使用myIterator时，怎样才能获知它所指向的元素的类型呢？我们可以为这个类加入一个内嵌类型，像这样：

 
 
 
    
  
  
  
  1. template < typename T> 
    2. 
  
  
  
  2. class myIterator  
    3. 
  
  
  
  3. {  
    4. 
  
  
  
  4. typedef T value_type;   
    5. 
  
  
  
  5. ...  
    6. 
  
  
  
  6. }; 
    7.

这样当我们使用myIterator类型时，可以通过 myIterator::value_type来获得相应的myIterator所指向的类型。

现在我们来设计一个算法，使用这个信息。

 
 
 
    
  
  
  
  1. template < typename T> 
    2. 
  
  
  
  2. typename myIterator< T>::value_type Foo(myIterator< T> i)  
    3. 
  
  
  
  3. {  
    4. 
  
  
  
  4. ...  
    5. 
  
  
  
  5. } 
    6.

这里我们定义了一个函数Foo，它的返回为为 参数i 所指向的类型，也就是T，那么我们为什么还要兴师动众的使用那个value_type呢？ 那是因为，当我们希望修改Foo函数，使它能够适应所有类型的迭代器时，我们可以这样写：

 
 
 
    
  
  
  
  1. template < typename I> //这里的I可以是任意类型的迭代器  
    2. 
  
  
  
  2. typename I::value_type Foo(I i)  
    3. 
  
  
  
  3. {  
    4. 
  
  
  
  4. ...  
    5. 
  
  
  
  5. } 
    6.

现在，任意定义了 value_type内嵌类型的迭代器都可以做为Foo的参数了，并且Foo的返回值的类型将与相应迭代器所指的元素的类型一致。至此一切问题似乎都已解决，我们并没有使用任何特殊的技术。然而当考虑到以下情况时，新的问题便显现出来了：

原生指针也完全可以做为迭代器来使用，然而我们显然没有办法为原生指针添加一个value_type的内嵌类型，如此一来我们的Foo()函数就不能适用原生指针了，这不能不说是一大缺憾。那么有什么办法可以解决这个问题呢？ 此时便是我们的主角：类型信息榨取机C++ Traits登场的时候了

 
 
 
    
  
  
  
  1. ....drum roll...... 
    2.

我们可以不直接使用myIterator的value_type，而是通过另一个类来把这个信息提取出来：

 
 
 
    
  
  
  
  1. template < typename T> 
    2. 
  
  
  
  2. class Traits  
    3. 
  
  
  
  3. {  
    4. 
  
  
  
  4. typedef typename T::value_type value_type;  
    5. 
  
  
  
  5. }; 
    6.

这样，我们可以通过 Traits< myIterator>::value_type 来获得myIterator的value_type，于是我们把Foo函数改写成：

 
 
 
    
  
  
  
  1. template < typename I> //这里的I可以是任意类型的迭代器  
    2. 
  
  
  
  2. typename Traits< I>::value_type Foo(I i)  
    3. 
  
  
  
  3. {  
    4. 
  
  
  
  4. ...  
    5. 
  
  
  
  5. } 
    6.

然而，即使这样，那个原生指针的问题仍然没有解决，因为Trait类一样没办法获得原生指针的相关信息。于是我们祭出C++的又一件利器--偏特化(partial specialization)：

 
 
 
    
  
  
  
  1. template < typename T> 
    2. 
  
  
  
  2. class Traits< T*> //注意 这里针对原生指针进行了偏特化  
    3. 
  
  
  
  3. {  
    4. 
  
  
  
  4. typedef typename T value_type;  
    5. 
  
  
  
  5. }; 
    6.

通过上面这个C++ Traits的偏特化版本，我们陈述了这样一个事实：一个 T* 类型的指针所指向的元素的类型为 T。

如此一来，我们的 Foo函数就完全可以适用于原生指针了。比如：

 
 
 
    
  
  
  
  1. int * p;  
    2. 
  
  
  
  2. ....  
    3. 
  
  
  
  3. int i = Foo(p); 
    4.

C++ Traits会自动推导出 p 所指元素的类型为 int，从而Foo正确返回。

当前文章：C++Traits应用技巧分享
文章起源：http://www.mswzjz.cn/qtweb/news29/536529.html

攀枝花网站建设、攀枝花网站运维推广公司-贝锐智能，是专注品牌与效果的网络营销公司；服务项目有等

广告

声明：本网站发布的内容（图片、视频和文字）以用户投稿、用户转载内容为主，如果涉及侵权请尽快告知，我们将会在第一时间删除。文章观点不代表本网站立场，如需处理请联系客服。电话：028-86922220；邮箱：631063699@qq.com。内容未经允许不得转载，或转载时需注明来源： 贝锐智能

贝锐智能技术为您推荐以下文章

品牌网站建设知识

各行业网站

网站解决方案　　 　移动服务器托管　　 　成都网站建设　　 　手机APP开发　　 　乐山服务器托管　　 　成都光华机房服务器托管　　 　域名注册　　 　成都做商城网站　　 　兴宏源活动板房　　 　青年旅行社　　 　盐亭做网站　　 　微信小程序开发　　 　四川雅安服务器托管　　 　广安迈傲建站　　 　成都LED照明　　 　企业微信定制　　 　中国（西部）云计算中心　　 　小谭网创广告　　 　域名注册　　 　成都网站制作