Traits 学习笔记（一）

Traits：一种聚合了有用的类型和常数、用以替代模板参数的类，成功地实践了“extra level of indirection（额外的中间层）”这句可以解决所有软件难题的名言。（A class used in place of template parameters. As a class, it aggregates useful types and constants; as a template, it provides an avenue for that "extra level of indirection" that solves all software problems. ）

//float double 分别对应的关系 //我在使用float参数时 我的max_exponent类型为FLT_MAX_EXP epsilion 为FLT_EPSILION //double 同理 float - FLT_MAX_EXP - FLT_EPSILION double - DBL_MAX_EXP - DBL_EPSILON template <class Type> class matrix<float> { FLT_MAX_EXP get(){} FLT_EPSILION set(){} ...... }; class matrix<double> { DBL_MAX_EXP get(){} DBL_EPSILON set(){} }; template <class numT> struct float_traits{}; //float特化 struct float_traits<float> { typedef float float_type; enum{max_exponent = FLT_MAX_EXP}; static inline float_type epsilon() { return FLT_EPSILION; } .... }; //double特化 struct float_traits<double> { typedef double float_type; enum{max_exponent = DBL_MAX_EXP}; static inline float_type epsilion() { return DBL_EPSILON; } ..... }; //使用时我们就可以忽略float和double分别对应的类型 //①编译时使用trait模板参数 template <class numT> class matrix { public: typedef numT num_type; typedef typename float_traits<num_type> traits_type; inline num_type epsilion()//使用epsilion(通过型别的定义进行自动匹配) { return traits_type::epsilion(); } traits_type::max_exponent get(){}//使用max_exponent traits_type::epsilion set(){}//使用epsilion ...... }; //②运行时使用traits模板参数 template <class numT,class traits = float_traits<numT>> class matrix { public: typedef numT num_type; typedef float_traits<num_type> traits_type; matrix(const _traits& b=traits()) :_traits(b){...} inline num_type epsilion() { return _traits.epsilion();//通过对象的方式，变成运行时使用 } public: traits _traits; };

 来自C++VIEW 第一期

如果了理解不对，敬请指出！万分感谢。