如何优化网站排名,哪里有做app开发的,python网站开发学习,郑州网站建设排行转自#xff1a;http://blog.csdn.net/my_business/article/details/7891687介绍traits的文章很多#xff0c;但感觉大部分文章的说明都很晦涩难懂#xff0c;把一个并不很复杂的C模板的应用描述的过于复杂。忍不住想把自己的理解跟大家分享一下#xff0c;或许我也只是掌握…转自http://blog.csdn.net/my_business/article/details/7891687介绍traits的文章很多但感觉大部分文章的说明都很晦涩难懂把一个并不很复杂的C模板的应用描述的过于复杂。忍不住想把自己的理解跟大家分享一下或许我也只是掌握了一点traits的皮毛而已但也希望这些皮毛能略微抓住你的眼球带给你一些启发。首先介绍traits前回味一下C的模板及应用如果你脑海里浮现出的只是为实现一些函数或类的重用的简单模板应用那我要告诉你你out了。最近在整理一些模板的应用方式有时间的话会写出来分享给大家本文不会去详细讨论traits以外的模板的各种高级应用。那么言归正传什么是traits其实它并不是一个新的概念上个世纪90年代中期就已经被提出只是到了这个世纪才在各个C库中被广泛使用而我也是在这个概念诞生十多年后才接触到它。C之父Bjarne Stroustrup对traits有如下的描述Think of a trait as a small object whose main purpose is to carry information used by another object or algorithm to determine policy or implementation details.我不知道官方或一些书上是如何去解释traits的我的理解是当函数类或者一些封装的通用算法中的某些部分会因为数据类型不同而导致处理或逻辑不同而我们又不希望因为数据类型的差异而修改算法本身的封装时traits会是一种很好的解决方案。本以为能很简单的描述它谁知道还是用了如此长的句子才说明清楚相当的惭愧。大家只要有个大概的概念就ok了甚至即使完全没概念也没关系下面会通过实际代码来说明。先看这样一个例子。如果有一个模板类Test[cpp] view plaincopy template typename T class Test { ...... }; 假设有这样的需求类Test中的某部分处理会随着类型T的不同而会有所不同比如希望判断T是否为指针类型当T为指针类型时的处理有别于非指针类型怎么做模板里再加个参数如下?[cpp] view plaincopy template typename T, bool isPointer class Test { ......// can use isPointer to judge whether T is a pointer }; 然后用户通过多传一个模板类型来告诉Test类当前T是否为指针。(Testint*, true)很抱歉所有的正常点的用户都会抱怨这样的封装因为用户不理解为什么要让他们去关心自己的模板类型是否为指针既然是Test类本身的逻辑为什么麻烦用户呢由于我们很难去限制用户在使用模板类时是使用指针还是基本数据类型还是自定义类型而用常规方法也没有很好的方法去判断当前的T的类型。traits怎么做呢定义traits结构[cpp] view plaincopy template typename T struct TraitsHelper { static const bool isPointer false; }; template typename T struct TraitsHelperT* { static const bool isPointer true; }; 也许你会很困惑结构体里就一个静态常量没有任何方法和成员变量有什么用呢解释一下第一个结构体的功能是定义所有TraitsHelper中isPointer的默认值都是false而第二个结构体的功能是当模板类型T为指针时isPointer的值为true。也就是说我们可以如下来判断当前类型TraitsHelperint::isPointer值为false 可以得出当前类型int非指针类型TraitsHelperint*::isPointer值为true 可以得出当前类型int*为指针类型也许看到这里部分人会认为我简直是在说废话请再自己品味下这样是否就可以在上面Test类的定义中直接使用TraitsHelperT::isPointer来判断当前T的类型了。[cpp] view plaincopy if (TraitsHelperT::isPointer) ...... else ...... 再看第二个例子还是一个模板类Test[cpp] view plaincopy template typename T class Test { public: int Compute(int d); private: T mData; }; 它有一个Compute方法来做一些计算具有int型的参数并返回int型的值。现在需求变了需要在T为int类型时Compute方法的参数为int返回类型也为int当T为float时Compute方法的参数为float返回类型为int而当T为其他类型Compute方法的参数为T返回类型也为T怎么做呢还是用traits的方式思考下。[cpp] view plaincopy template typename T struct TraitsHelper { typedef T ret_type; typedef T par_type; }; template struct TraitsHelperint { typedef int ret_type; typedef int par_type; }; template struct TraitsHelperfloat { typedef float ret_type; typedef int par_type; }; 然后我们再把Test类也更新下[cpp] view plaincopy template typename T class Test { public: TraitsHelperT::ret_type Compute(TraitsHelperT::par_type d); private: T mData; }; 可见我们把因类型不同而引起的变化隔离在了Test类以外对用户而言完全不需要去关心这些逻辑他们甚至不需要知道我们是否使用了traits来解决了这个问题。到这里再让我们回过来取品味下开始我说的那句话当函数类或者一些封装的通用算法中的某些部分会因为数据类型不同而导致处理或逻辑不同时traits会是一种很好的解决方案。是不是有点感觉了如果还不明白的麻烦你留言我会再解释再说明直到你明白为止呵呵。最后让我们记住它吧traits一种模板的应用非常有用的东东。
