Что вы можете сделать с шаблонами с нулевыми параметрами шаблона?

Question

Я узнал, что вы можете создавать шаблоны с нулевыми параметрами. Хотя это не представляется возможным создавать их непосредственно, вы можете использовать шаблоны членов

template<typename ...T> 
struct Maker { 
    template<T...> 
    struct HasNParams { }; 
}; 

Maker<>::HasNParams<> hnp; 

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

Answer 1

С риском озвучивания очевидной конечной рекурсивной инстанцирования.

template<typename Arg, typename ...T> 
struct Maker : public Maker<T...> 
{ 
    template<T...> 
    struct HasNmin1Params { }; 
}; 

Дело в том, что фактический список аргументов в Maker не является пустым, но мы используем только N-1 аргументы в HasNminOneParams.

Answer 2

Рассмотрим следующий шаблон класса:

template <typename... > struct typelist { }; 

Это метапрограммированием эквивалент контейнера. И так же, как полезно иметь пустой vector или map, полезно иметь пустой typelist. То есть что-то типа typelist<>. Вот два примера прецедентов для такой конструкции.

Это может быть условие завершения для типа рекурсии:

void foo(typelist<>) { } 

template <typename T, typename... Ts> 
void foo(typelist<T, Ts...>) { 
    bar<T>(); 
    foo(typelist<Ts...>{}); 
} 

Это может быть «возвращение» значение для metafunction, что указывает на состояние отказа.

template <typename F, typename T> 
struct filter_one 
: std::conditional_t<F::template apply<T>::value, 
        typelist<T>, 
        typelist<>> 
{ }; 

Какой помощник мы могли бы использовать, чтобы написать TypeList фильтр metafunction:

template <typename F, typename TL> 
struct filter; 

template <typename F, typename... Ts> 
struct filter<F, typelist<Ts...>> 
: concat_t<filter_one<F, Ts>...> 
{ }; 

Оба эти очень полезные особенности typelist<>, и это только один шаблон класса.