成对bool和c ++模板

Question

我正在编写一个模板,它接受任意数量的参数,并在这些值上找到布尔AND.

template <bool... Vs> struct meta_bool_and;

template <bool V> struct meta_bool_and : std::integral_constant<bool, V> {}; 

template <bool V, bool... Vs> 
struct meta_bool_and : std::integral_constant<bool, V && meta_bool_and<Vs...>::value> {}; 

但是,我无法通过以下消息进行编译

 error: redeclared with 2 template parameters
 struct meta_bool_and : std::integral_constant<bool, V && meta_bool_and<Vs...>::value> {}; 

我该如何解决这个问题？

Answer 1

作为替代方案,您可以编写它:

template <bool ... Bs>
using meta_bool_and = std::is_same<std::integral_sequence<bool, true, Bs...>,
                                   std::integral_sequence<bool, Bs..., true>>;

或者在c ++ 1z中:

template <bool ... Bs>
using meta_bool_and = std::integral_constant<bool, (Bs && ...)>;