标准库中 std::d isjunction 的实现

Question

我已经在标准库中看到了std::disjunction的实现(来源(：

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返回给定类型之一(可能具有其他成员(。

Answer 2

此外，如果所有这些都是伪造的，则需要disjunction<B1,...,BN>导致最后一个给定的类型(BN((参见[meta.logical#10.2](。

一元专用化disjunction<B1>递归序列的尾部实现此行为。

例如，如果没有一元特化，如果B1::value true，disjunction<B1>会给出B1，否则std::false_type。

---

由于所有 B 可能具有不同的类型，因此 std：:d isjunction 返回其 ：：value 成员转换为 true 的第一个类型。是不是有点奇怪？做一个有趣的选择器可能会很有用

事实上，我从未使用过这个特征族，但它似乎是一个相当灵活的抽象：

template<class T>
struct some_condition: std::bool_constant</*whatever*/>
{
  using payload = T;
};
// take the first T satisfying some_condition, or last T if none does
disjunction<some_condition<T>...>::payload
// take the first T satisfying some_condition, or none
disjunction<some_condition<T>...,none_type>::payload

我唯一讨厌分离的是它的名字......