源码如下:
template<typename> struct __is_pointer_helper : public false_type { }; template<typename _Tp> struct __is_pointer_helper<_Tp*> : public true_type { }; /// is_pointer template<typename _Tp> struct is_pointer : public integral_constant<bool, (__is_pointer_helper<typename remove_cv<_Tp>::type>::value)> { };
首先,定义了两个类型,一个true_type和一个false_type这两个值均继承integral_constant。这两个类型几乎被所有的is_xxx复用啦。而且标准库也提供给我们使用。
然后,模板偏特化,指针类型的版本继承true_type,非指针类型的版本继承了false_type。
1 /// integral_constant 2 template<typename _Tp, _Tp __v> 3 struct integral_constant 4 { 5 static constexpr _Tp value = __v; 6 typedef _Tp value_type; 7 typedef integral_constant<_Tp, __v> type; 8 constexpr operator value_type() { return value; } 9 }; 10 11 template<typename _Tp, _Tp __v> 12 constexpr _Tp integral_constant<_Tp, __v>::value; 13 14 /// The type used as a compile-time boolean with true value. 15 typedef integral_constant<bool, true> true_type; 16 17 /// The type used as a compile-time boolean with false value. 18 typedef integral_constant<bool, false> false_type; 19 template<typename> 20 struct __is_member_function_pointer_helper 21 : public false_type { }; 22 23 template<typename _Tp, typename _Cp> 24 struct __is_member_function_pointer_helper<_Tp _Cp::*> 25 : public integral_constant<bool, is_function<_Tp>::value> { }; 26 27 /// is_member_function_pointer 28 template<typename _Tp> 29 struct is_member_function_pointer 30 : public integral_constant<bool, (__is_member_function_pointer_helper< 31 typename remove_cv<_Tp>::type>::value)> 32 { };
成员指针,稍微复杂一点,和一般指针类似,成员指针的偏特化要写成这样_Tp _Cp::*。
// Primary template. /// Define a member typedef @c type to one of two argument types. template<bool _Cond, typename _Iftrue, typename _Iffalse> struct conditional { typedef _Iftrue type; }; // Partial specialization for false. template<typename _Iftrue, typename _Iffalse> struct conditional<false, _Iftrue, _Iffalse> { typedef _Iffalse type; };
conditional机制类似于loki中的Select,根据boolean值来选择类型,如果_Cond为true,则选择_Iftrue类型,否则选择另一个。
/// is_reference template<typename _Tp> struct is_reference : public __or_<is_lvalue_reference<_Tp>, is_rvalue_reference<_Tp>>::type { };
is_reference通过or结合左值引用和右值引用判断。
template<typename...> struct __or_; template<> struct __or_<> : public false_type { }; template<typename _B1> struct __or_<_B1> : public _B1 { }; template<typename _B1, typename _B2> struct __or_<_B1, _B2> : public conditional<_B1::value, _B1, _B2>::type { }; template<typename _B1, typename _B2, typename _B3, typename... _Bn> struct __or_<_B1, _B2, _B3, _Bn...> : public conditional<_B1::value, _B1, __or_<_B2, _B3, _Bn...>>::type { };
1.or继承conditional所提供的类型而不是conditional本身。
2.conditional通过or中第一类型boolean来提供不同的类型,如果B1的boolean是true则继承(也表明B1继承了true_type),不是则继承剩余参数or(递归继承下去)。
3.递归下去,就剩下一个类型时,则直接继承B1,B1的boolean就是整个or的结果
4.递归到末尾空参数,继承false_type,整个or的结果即为false。