C++ 11 constexpr VARIADIC логика выражения

Question

Я пытался использовать шаблоны variadics для тестирования некоторых propierties (type_trait) во время компиляции, но, кажется, следующий код не может скомпилировать

template<typename test> 
constexpr bool trait_test(){ 
    return test::value; 
} 

template<typename test, typename... Others> 
constexpr bool trait_test(){ 
    return test::value&&trait_test<Others...>(); 
} 

template<typename A, typename... Deriveds> 
constexpr bool commonBaseClass{ 
    return trait_test<std::is_base_of<A,Deriveds>...>(); 
} 

Проблема, как представляется, что, когда «Другие» имеет длину от 0 есть 2 возможных вызовы

trait_test<typename test> 
trait_test<typename test, typename... Others={}> 

и компилятор не знает, которым один выглядывать. Я хочу, конечно, заглянуть первым (и сохранить все constexpr)

Answer 1

Минимальное изменение, чтобы получить код компиляция будет заменить вторую test_trait перегрузки с:

template<typename T0, typename T1, typename... Others> 
constexpr bool trait_test(){ 
    return T0::value&&trait_test<T1, Others...>(); 
} 

, что означает 1 аргумент только совпадает с первым, и 2 или более соответствуют второму.

Answer 2

Действительно, это неоднозначно. Шаблон функции, принимающий один аргумент шаблона, не является более специализированным, чем шаблон функции, принимающий 1 или более аргументов шаблона, поскольку частичный порядок шаблонов функций выполняется по аргументам - и оба шаблона функций имеют нулевые аргументы функции.

Если я могу предложить альтернативный подход:

#include <type_traits> 

template<typename... Ts> 
struct all_of; 

template<typename T> 
struct all_of<T> : std::integral_constant<bool, T::value> { }; 

template<typename T, typename... Ts> 
struct all_of<T, Ts...> : std::integral_constant<bool, 
    T::value && all_of<Ts...>::value> { }; 

template<typename A, typename... Deriveds> 
constexpr bool commonBaseClass() 
{ 
    return all_of<std::is_base_of<A, Deriveds>...>(); 
} 

Вы бы затем использовать commonBaseClass() таким образом:

struct X { }; 
struct Y : X { }; 
struct Z : X { }; 

int main() 
{ 
    static_assert(commonBaseClass<X, Y, Z>(), "!"); 
} 

Вот является live example.