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

Question

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

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

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