前置依赖:

1. integral_constant
2. conditional

实现源码:

// 类型逻辑运算 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
    { };

• SFINAE 技术, _or 是内部模板, 只接受 type_traits 萃取文件中的类型判断类
• 当 接受为空的时候结果为 false_type ( 在 integral_constant 中
• 当只有一个 B1 的时候, 结果为 B1 的返回, 同样为 true_type 或者 false_type
• 当接受 B1 和 B2 两个值时, 使用 conditional 模板类进行判断, 条件为 B1 的 bool 值, 得到 B1 或 B2 的结果, 同样为 true_type 和 false_type
• 当接受多个条件的时候, 进行嵌套判断, 返回结果同样为 true_type 和 false_type

再次强调, 返回结果是 integral_constant 对象实例, 为 true_type 或者 false_type, 而不是简单的 bool 类型, 这里就是使用了 integral_constant 中的 type 接口