为什么我收到错误“参数包'F'必须位于模板参数列表的末尾”

Question

我有使用可变参数模板的代码，我试图了解省略号的放置位置。在下面的代码中，我把它们放在模板参数列表的 end 中，就像错误所说的那样。但我仍然会遇到错误。我做错了什么？

template <typename T> struct S {

    void operator << (const T &) {}

};

template <template <typename, typename...> class ... F, typename T = int>
struct N : S<F<T>> ... {};

  

prog.cpp:10:82: error: parameter pack 'F' must be at the end of the template parameter list

Answer 1

T之后的列表末尾还有另一个参数F。正如错误消息所示，可变参数包必须在最后。不幸的是，这使得在同一模板中同时具有可变参数和默认参数变得尴尬。