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>{};

 我覺得這裏沒有什麼區別（不知道我這裏有沒有理解錯誤）