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

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，然后是整数，然后是类。目前似乎没有办法直接实现这一点。(如果您可以评论为什么标准不支持此功能，则可以获得奖励积分)

这实用的一个例子是在本征的线性代数库中，其中大多数类的结构如下：

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...>>
{ };