我看过 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)> {};
最佳答案
你返回 std::integral_constant。
std::disjunction 返回给定类型之一(可能有其他成员)。
关于c++ - std::disjunction 在标准库中的实现，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/47310536/