c++ - std::disjunction 在标准库中的实现

Question

我看过 std::disjunction 的实现在标准库中(source):

template<class...> struct disjunction : std::false_type { };
template<class B1> struct disjunction<B1> : B1 { };
template<class B1, class... Bn>
struct disjunction<B1, Bn...>
    : std::conditional_t<bool(B1::value), B1, disjunction<Bn...>> { };

我很好奇需要专门化disjunction<B1>作为B1 .为什么它比我天真的实现更好？

template<class...>              struct or_t
    : std::false_type {};
template<class B1, class... Bn> struct or_t<B1, Bn...>
    : std::integral_constant<bool, bool(B1::value) || bool(or_t<Bn...>::value)> {};

Answer 1

你返回 std::integral_constant。

std::disjunction 返回给定类型之一(可能有其他成员)。