"テンプレートテンプレートパラメータのテンプレート引数はクラステンプレートまたはエイリアステンプレートでなければなりません"

Question

template<typename... TArgs> struct List { }; 
template<template<typename...> class> struct ListHelper; 
template<typename T, typename... TArgs> struct ListHelper<List<T, TArgs...>> { }; 
                 ^
    /*Error: Template argument for template template parameter 
      must be a class template or type alias template*/ 

何が問題なのですか？私はclang ++ SVNを使用しています。

Answer 1

テンプレートテンプレートパラメータがあります。テンプレートを引数として渡す必要があります。代わりにテンプレートのインスタンス化を引数として渡します。これは具体的なクラスであり、テンプレートではありません（すべてのパラメータがバインドされています）。

は考えてみましょう：

template <template<typename> typename X> 
class WantsTemplate {}; 

template <typename> 
class ATemplate {}; 

WantsTemplate<ATemplate> wt1; // OK 
WantsTemplate<ATemplate<int> > wt2; // not OK 

Answer 2

テンプレートテンプレートパラメータは、テンプレートではなく、それのインスタンス化を期待しています。この：クラスは、あなたが

template<typename T> struct ListHelper;