Pairwise bool и в шаблоне C++

Question

Я пишу шаблон, который принимает произвольное количество аргументов и находит Boolean 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

Вы написали повторное определение вместо частичной специализации. Чтобы предоставить специализацию, вы должны указать, какие свойства вы специализируетесь.

Это будет работать:

#include <type_traits> 

template <bool... Vs> struct meta_bool_and; 

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

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

Как улучшения, подумайте, хотите ли вы поддерживать пустую конъюнкцию (обычно определяются как верно). Если да, не специализируйтесь на meta_bool_and<bool>, а на meta_bool_and<> (производный от std::true_type).

Answer 2

Поскольку это специализации, их необходимо объявить таковыми. Вы можете также сделать один базовый вариант

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

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

Answer 3

В качестве альтернативы, вы можете написать его:

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 && ...)>;