C ++将模板参数包从一个可变参数模板传递到另一个可变参数模板会导致编译器错误[重复]

Question

这个问题已经在这里有了答案：

• 为什么必须在何处以及为什么要放置“模板”和“类型名”关键字？ 6个答案

以下代码会导致编译器错误，但仅适用于gcc（最高5.2）和clang（最高3.7）。 VS2015编译没有问题。 （对于g ++，您必须使用-std = c ++ 14选项）

//************************************************
template <int... items>
struct Sequence {
//************************************************
public:
  enum { size = sizeof...(items) };
  operator int() const { return data[rank - 1]; }
  Sequence& operator=(const Sequence& s) { rank = s.rank; return *this; }
  int get_rank() const { return rank; }
  bool first() { rank = 1; return true; }
  bool last() { rank = size; return true; }
  bool next() { return (rank < size) ? ++rank, true : false; }
  bool prev() { return (rank > 1) ? --rank, true : false; }
  bool is_first() { return rank == 1; }
  bool is_last() { return rank == size; }
protected:
  static const int data[sizeof... (items)];
  int rank = 1;
};

template <int... items> 
const int Sequence<items...>::data[sizeof...(items)] = { items... };


//************************************************
template <unsigned N, template <unsigned> class F, int... items> 
struct generate_sequence {
//************************************************
  typedef typename generate_sequence<N - 1, F, F<N>::value, items...>::result result;
};

//************************************************
template <template <unsigned> class F, int... items> 
struct generate_sequence<0, F, items...> {
//************************************************
  typedef Sequence<F<0>::value, items...> result;
};


//************************************************
template <int... coeffs>
struct polynomial {
//************************************************
  template <int var, int a0, int... ai> struct ipoly { enum { value = a0 + var * ipoly<var, ai...>::value }; };
  template <int var, int a0> struct ipoly<var, a0> { enum { value = a0 + 0 * var }; };

  template <unsigned index>
  class number_generator { public: enum { value = ipoly<index + 1, coeffs...>::value }; };
};


//************************************************
template <unsigned N>
class NaturalNumbers : public generate_sequence<N - 1, polynomial<0,1>::number_generator>::result {};
//************************************************

//************************************************
template <unsigned N, int... coeffs>
class PolynomialNumbers : public generate_sequence<N - 1, polynomial<coeffs...>::number_generator>::result {};
//************************************************

int main() {
  NaturalNumbers<10> nn;
  PolynomialNumbers<10,0,1> pn;
}

编译器输出如下：

bug.cpp:59:98: error: type/value mismatch at argument 2 in template parameter list for 'template<unsigned int N, template<unsigned int <anonymous> > class F, int ...items> struct generate_sequence'
 class PolynomialNumbers : public generate_sequence<N - 1, polynomial<coeffs...>::number_generator>::result {};
                                                                                                  ^
bug.cpp:59:98: note:   expected a class template, got 'polynomial<coeffs ...>::number_generator'
bug.cpp:59:101: error: expected '{' before 'result'
 class PolynomialNumbers : public generate_sequence<N - 1, polynomial<coeffs...>::number_generator>::result {};
                                                                                                     ^
bug.cpp: In function 'int main()':
bug.cpp:64:27: error: non-template type 'PolynomialNumbers' used as a template
   PolynomialNumbers<10,0,1> pn;
                           ^

这是编译器错误还是代码有误？ 对我而言，关键在于排队

需要一个类模板，得到了'polynomial :: number_generator'

编译器输出。 显然，编译器没有意识到'polynomial :: number_generator'实际上是模板。 你什么意思？

Answer 1

由于number_generator是从属名称，因此必须在其number_generator加上template关键字：

template <unsigned N, int... coeffs>
class PolynomialNumbers 
: public generate_sequence<
      N - 1, 
      polynomial<coeffs...>::template number_generator
                          // ^^^^^^^^
      >::result 
{};

附带说明一下，最好避免将模板模板传递到任何地方，并尝试重写number_generator使其更像是元函数类：

class number_generator {
public: 
    template <unsigned index>
    using apply = ipoly<index + 1, coeffs...>;
};

这将使您的所有代码变得更容易，因为类型是一等公民，而非类型的任何内容（即模板模板或值）都将更难处理。