如何将带有参数包的模板类作为参数传递给其他模板类？

Question

我有类似的东西：

template<int ... args>
class X{};

并希望将该类作为参数传递给第二个模板类。 现在我有：

template<class X<int... args1> el1, class X<int... args2> el2>
class Y{};

编译器向我抛出错误Pack expansion does not contain any unexpanded parameter packs，我真的不知道我该怎么办...我已经尝试了很多int ... 和args 的可能顺序，但它仍然不是在职的。我怎样才能让它工作？

我想做这样一段代码编译

Y<X<1,2>,X<3,4>> el;

Answer 1

您似乎正在寻找template template parameters，其语法如下：

template<template <int... args1> typename el1, 
         template <int... args2> typename el2>
class Y{};

请注意，在 c++17 之前，您必须在此处使用关键字 class 而不是 typename。