是否有理由在 "&&"/"||" 上使用 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
}

使用折疊表達式的版本更簡潔，通常更易讀（盡管對此意見可能有所不同）。 所以我不明白為什么它與折疊表達式一起添加到庫中。

Answer 1

std::conjunction短路::value實例化，而折疊表達式則不然。 這意味着，給定：

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 ：

連接是短路的：如果有一個帶有bool(Bi::value) == false的模板類型參數Bi ，那么實例化conjunction<B1, ..., BN>::value不需要實例化Bj::value j > i Bj::value 。