С++ 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: использование выражения fold делает это намного проще.

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

Или также использовать переменную шаблона, как предлагает enobayram:

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

Мне просто нужно было что-то подобное, но я могу позволить себе роскошь использовать С++ 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...})>