为什么我们不能在模板专业化的开始/中间使用可变参数模板（以及如何模拟）？

Question

我想知道如何模拟以下内容：

template<class> struct foo; 

template<template<class..., int..., class...> class list,
class... clist1, int... ilist1, class... clist2>
struct foo<list<clist1..., ilist1..., clist2...>> {

};

这个特化（假设）接受一个class，它有任意数量的类，然后是整数，然后是类。目前似乎没有办法直接实现这一点。 （如果您可以评论为什么标准不支持这一点，则可以加分）

Eigen 的线性代数库中的一个例子说明了这种情况何时可行，其中大多数类的结构如下：

Vector<class Scalar_type, int rows, class... options>
Mstrix<class Scalar_type, int rows, int cols, class... options>

启用上述功能后，可以使用接受任何这些基类的元模板函数。因为它不受支持，所以您必须为每个类编写专业。

有没有办法模拟一个模板函数，支持接受上述类？

我正在寻找通用解决方案。 （为每个类写特化不是通用的，我也不是直接在寻找Eigen的库的解决方案，这只是一个例子）

---

说明示例

假设我想获得template class 的第一类。 不知何故，我从其他一些元模板函数中获得了原始类类型。因此我不知道它的模板参数是什么样的。

也许是：

Vector1<class Scalar_type, int rows, class... others> 或者

Vector2<class Scalar_type, class... others>

因为我没有直接使用类型，所以我的元模板函数必须是 template<class> struct foo; 之类的类型，具有各种专业化。

在这种情况下，getFront 是一个很好的例子，因为我需要 2 个专业：

template<class> struct getFront; 

template<template<class...,int...,class...> class param, 
class... l1, int... l2, class... l3, class first> 
struct getFront<param<first, l1..., l2... l3....> { 
using type = first; };

和

template<template<class...> class param, class first, class... others>
struct getFront<param<first, others...>> {
using type = first;
};

Answer 1

有没有办法模拟一个模板函数，支持接受上述类？

如下使用模板特化怎么样？

template <typename...>
struct foo;

template <typename ... Ts1, int ... Is, typename ... Ts2>
struct foo<std::tuple<Ts1...>,
           std::integer_sequence<int, Is...>,
           std::tuple<Ts2...>>
 {
 };

或者，如果您更喜欢参数化模板容器，例如

template <template <typename...> class Ct1, typename ... Ts1,
          template <int...> class Ci, int ... Is,
          template <typename...> class Ct2, typename ... Ts2>
struct foo<Ct1<Ts1...>, Ci<Is...>, Ct2<Ts2...>>
 { };