Boost库中的Traits(is_array, is_const)

Boost中的Traits十分完善，可分为几大类：

1. Primary Type Categorisation(初级型别分类)

2. Secondary Type Categorisation(次级型别分类)

3. Type Properties(型别属性)

4. Relationships Between Types(型别间关系)

5. Transformations Between Types(型别间转换)

6. Synthesizing Types(型别合成)

7. Function Traits(函数traits)

 

Primary Type Categorisation(初级型别分类)

1. is_array简化出来大概是这个样子

template<bool b_> struct bool_type{ static const bool value = b_; }; template<bool b_> const bool bool_type<b_>::value; template<typename T> struct is_array : bool_type<false>{ }; template<typename T> struct is_array<T[]>: bool_type<true>{ }; template<typename T, unsigned int N> struct is_array<T[N]> : bool_type<true>{ }; int main() { bool is_1 = is_array<int[]>::value; bool is_2 = is_array<int[5]>::value; bool is_3 = is_array<int>::value; }

加上const ，volitile， const volitile类型修饰符一共8个偏特化版本， 这里不一一列出

template<typename T> struct is_array<const T[]>: bool_type<true>{ }; template<typename T, unsigned int N> struct is_array<const T[N]> : bool_type<true>{ };

 

2. is_const

template<typename T> struct is_const_imp : bool_type<false>{}; template<typename T> struct is_const_imp<const T> : bool_type<true>{}; template<typename T> struct is_const_imp<const volatile T> : bool_type<true>{}; template<typename T> struct is_const : is_const_imp<T>{}; template<typename T> struct is_const<T&> : bool_type<false>{}; typedef const int* cpint; int main() { bool is_1 = is_const<int>::value; //false bool is_2 = is_const<const int>::value; bool is_3 = is_const<int&>::value; //false bool is_4 = is_const<const int* const>::value; bool is_5 = is_const<const int*>::value; //false bool is_6 = is_const<int* const>::value; bool is_7 = is_const<cpint>::value; //false bool is_8 = is_const<const cpint>::value; }

boost库里面用的是is_const_imp<T*>样子，

template<typename T> struct is_const_imp{}; template<typename T> struct is_const_imp<T*> : bool_type<false>{}; template<typename T> struct is_const_imp<const T*> : bool_type<true>{}; template<typename T> struct is_const_imp<const volatile T*> : bool_type<true>{}; template<typename T> struct is_const : is_const_imp<T*>{}; template<typename T> struct is_const<T&> : bool_type<false>{};

 我觉得这里没有什么区别（不知道我这里有没有理解错误）