テンプレートパラメータがゼロのテンプレートで何ができますか？

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に実引数リストが空ではないということですが、我々は唯一のHasNminOneParamsにN-1引数を使用します。

Answer 2

は、以下のクラステンプレートを考えてみましょう：

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

これは、コンテナのメタプログラミングと同等です。そして、空のvectorまたはmapを持つことが有用であるのと同じように、空のtypelistを持つと便利です。つまり、タイプがtypelist<>のものです。このような構造の2つの使用例がここにあります。

これは型再帰の終了条件とすることができる：

void foo(typelist<>) { } 

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

これは故障状態を示し、メタ関数のための「戻る」の値とすることができます。

我々はtypelistにフィルタメタ関数を書くために使用することができヘルパーです

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

：

template <typename F, typename TL> 
struct filter; 

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

はそれらの両方がtypelist<>の非常に便利な機能であり、それはちょうど1クラステンプレートです。