C++ Variadic шаблон И и ИЛИ

Не искате value да бъде typedef.

template<bool head, bool... tail>
struct var_and {
    static constexpr bool value = head && var_and<tail...>::value;
};

template<bool b> struct var_and<b> {
    static constexpr bool value = b;
};

Очевидно същото може да се направи за ||.

Оценката на късо съединение няма значение, защото това се занимава само с постоянни изрази, които няма да имат странични ефекти.

Ето още един метод, който спира рекурсивно генериране на типове веднага щом намери невярна стойност, емулиращ вид късо съединение:

template<bool head, bool... tail>
struct var_and { static constexpr bool value = false; };

template<bool... tail> struct var_and<true,tail...> {
    static constexpr bool value = var_and<tail...>::value;
};

template<> struct var_and<true> {
    static constexpr bool value = true;
};

Актуализация за C++17: Използването на израз на сгъване прави това много по-лесно.

template<bool...v> struct var_and {
    static constexpr bool value = (v && ...);
};

Или също така да използвате променлива на шаблон, както предлага enobayram:

template<bool... b> constexpr bool var_and = (b && ...);

Просто имах нужда от нещо подобно, но имам лукса да използвам C++14, така че накрая избрах следното, което вероятно е по-бързо (за компилиране) от приетия отговор:

template <size_t N>
constexpr bool and_all(const bool (&bs) [N]) {
  for(bool b: bs) if(!b) return false;
  return true;
}

Сега, това е constexpr, така че може да се използва в контексти на времето за компилиране, както и по време на изпълнение. Така че можем, например, да го използваме в контекст като some_struct<and_all({true, false, arg_pack...})>