Как уменьшить значения значений параметра вариационного шаблона до одного значения?

Question

При экспериментировании с вариативными шаблонами я подошел к точке, где было бы полезно сделать некоторое уменьшение значений признаков до одного конечного значения с помощью некоторой операции. Вариант использования для меня:

constexpr bool and(bool lhs, bool rhs){return lhs && rhs;} 

struct Foo 
{ 
    template< 
     typename ...Ts> 
    Foo(
     Ts&&... args) 
      noexcept(TraitReduction<std::is_nothrow_move_constructible, and, Ts...>::value) 
    {/*...*/} 
} 

Проблема заключается в том, что в свойствах STL заданы только один шаблон. Мой текущий рабочий раствор:

template< 
    template<typename> class TraitT, 
    bool (*Operator)(bool,bool), 
    typename T1, 
    typename ...Ts> 
struct TraitReduction 
{ 
    static bool const value = TraitT<T1>::value; 
}; 

template< 
    template<typename> class TraitT, 
    bool (*Operator)(bool,bool), 
    typename T1, 
    typename T2, 
    typename ...Ts> 
struct TraitReduction< 
    TraitT, 
    Operator, 
    T1, 
    T2, 
    Ts...> 
{ 
    static bool const value = (*Operator)(
     TraitT<T1>::value, 
     TraitReduction<TraitT, Operator, T2, Ts...>::value); 
}; 

Мой вопрос, если STL дает некоторые стандартизированные (вероятно, более удобно) solutionfor эту задачу? И, конечно, я был бы рад получить некоторые комментарии к моему текущему решению, что плохо или что может быть лучше.

Answer 1

Ваше решение является линейным в срок конкретизации (и без преимущества короткого замыкания)

Вы можете сделать это менее конкретизации (и до сих пор без короткого замыкания)

template <bool...> struct bools{}; 

template <template <typename> Trait, typename ... Ts> 
struct all_of : std::is_same<bools<true, Trait<Ts>::value...>, 
          bools<Trait<Ts>::value..., true>> {}; 

Вы можете используйте std::conjunction, который является линейным, но с коротким замыканием.

C++ 1z и складывание выражение имеет приятный синтаксис, имеет меньше инстанцирований (но без короткого замыкания (для конкретизации)):

(Trait<Ts>::value && ...)