是否有理由使用std :: conjunction / std :: disjunction而不是在&& // |||上的折叠表达式？

Question

有没有任何具体的情况下，你不能正确地做std::conjunction/ std::disjunction和不使用更多的“根本”（即语言特性，而不是库功能）在折叠式&&/ ||？

例：

// func is enabled if all Ts... have the same type
template<typename T, typename... Ts>
std::enable_if_t<std::conjunction_v<std::is_same<T, Ts>...> >
func(T, Ts...) {
 // TODO something to show
}

与

// func is enabled if all Ts... have the same type
template<typename T, typename... Ts>
std::enable_if_t<(std::is_same<T, Ts> &&...)>
func(T, Ts...) {
 // TODO something to show
}

使用fold表达式的版本更简短，通常更易读（尽管对此可能有不同的看法）。因此，我不明白为什么将它与折叠表达式一起添加到库中。

Answer 1

std::conjunction短路::value实例化，而fold表达式则没有。这意味着，给定：

template <typename T> 
struct valid_except_void : std::false_type { };

template <> 
struct valid_except_void<void> { };

将编译以下内容：

template <typename... Ts>
constexpr auto test = std::conjunction_v<valid_except_void<Ts>...>;

constexpr auto inst = test<int, void>;

但是以下内容不会：

template <typename... Ts>
constexpr auto test = (valid_except_void<Ts>::value && ...);

constexpr auto inst = test<int, void>;

Godbolt.org上的实时示例

来自cppreference：

连词是短路：如果有一个模板类型参数Bi用bool(Bi::value) == false，然后实例conjunction<B1, ..., BN>::value不需要的实例化Bj::value的j > i。