“模板模板参数的模板参数必须是类模板或类型别名模板”

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*/ 

出现了什么问题？我正在使用铛++ 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, typename... TArgs> struct ListHelper<List> { }; 
//        only the template itself ^^^^ 

如果你想通过List<T,TArgs...>，这是一类，你需要

template<typename T> struct ListHelper;