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;//falsebool is_2 = is_const<const int>::value;bool is_3 = is_const<int&>::value;//falsebool is_4 = is_const<const int* const>::value;bool is_5 = is_const<const int*>::value;//falsebool is_6 = is_const<int* const>::value;bool is_7 = is_const<cpint>::value;//falsebool 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>{};

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