Co można zrobić z szablonami z zerowymi parametrami szablonu?

Question

Nauczyłem się jakiś czas temu, że możesz tworzyć szablony z zerowymi parametrami. Chociaż nie jest to możliwe, aby utworzyć je bezpośrednio, można użyć szablonów członków

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

Maker<>::HasNParams<> hnp; 

Zastanawiam się, czy to ma być dobrze wykształcona i co można zrobić z tymi zwierzętami. Czy możesz przekazać je jako argumenty szablonu i utworzyć wyraźne specjalizacje (domyślam się, że jedynym scenariuszem jest wtedy pusta sprawa)?

Answer 1

Istnieje ryzyko, że brzmi to w sposób oczywisty, kończąc tworzenie rekursywne.

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

Chodzi o to, że rzeczywista lista argument Maker nie jest pusta, ale używamy tylko N-1 argumenty HasNminOneParams.

Answer 2

rozważyć następujące klasy szablonu:

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

Jest to odpowiednik metaprogramowanie z pojemnika. I w ten sam sposób, w jaki użyteczne jest posiadanie pustego vector lub map, przydatne jest posiadanie pustego typelist. To znaczy coś w rodzaju typelist<>. Oto dwa przykładowe przypadki użycia dla takiej konstrukcji.

To może być warunek zakończenia dla typu rekursji:

void foo(typelist<>) { } 

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

To może być „powrót” wartość dla metafunkcji, wskazując stan awarii.

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

Który jest pomocnikiem mogliśmy korzystać napisać metafunkcji filtra typelist:

template <typename F, typename TL> 
struct filter; 

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

Oba te są bardzo użyteczne cechy typelist<>, a to tylko jeden szablon klasy.