能否实现含可变参数的可变模板模板？如何特化该模板？

一、核心问题澄清 #

你最初期望的示例代码存在本质错误：

// 错误示例：实参与模板参数不匹配
SomeClass <int, std::vector<int>, std::tuple<int, char, float, double, short>> var;

你的SomeClass模板参数定义为template <typename...> typename... Containers，这要求每个实参必须是带可变参数的模板本身（比如std::vector、std::tuple），而非模板实例（如std::vector<int>）或具体类型（如int）。这是你代码无法通过编译的首要原因。

二、两种合法的实现场景 #

场景1：接受多个“带可变参数的模板”（模板模板参数） #

如果目标是接受多个模板本身，可以这样实现：

// 主模板：任意数量的带可变参数的模板
template <template <typename...> typename... Containers>
class SomeClass {};

// 显式特化：0个模板参数的终止版本
template <>
class SomeClass<> {};

// 部分特化：第一个模板为std::vector的情况
template <template <typename...> typename... Rest>
class SomeClass<std::vector, Rest...> {
    // 自定义逻辑，比如关联std::vector的特性
};

// 合法使用：传入模板本身而非实例
SomeClass<std::vector, std::tuple> var;

场景2：接受多个“带可变参数的模板实例”（普通可变参数模板） #

这才是你最初示例想要的效果——接受具体类型或模板实例，只需用普通可变参数模板即可：

// 主模板：任意数量的类型（含模板实例）
template <typename... Types>
class SomeClass {};

// 显式特化：针对int + std::vector<int>的组合
template <>
class SomeClass<int, std::vector<int>> {
    // 自定义逻辑
};

// 部分特化：第一个参数是std::tuple实例的情况
template <typename... TupleArgs, typename... Rest>
class SomeClass<std::tuple<TupleArgs...>, Rest...> {
    // 可以在这里提取std::tuple的内部参数做处理
};

// 合法使用：匹配你最初的示例期望
SomeClass<int, std::vector<int>, std::tuple<int, char, float>> var;

三、你的CVarMap代码问题修正 #

你尝试的递归继承写法混淆了模板模板参数和普通类型参数，正确的递归展开模板实例的写法如下：

// 递归终止特化：无参数的基类版本
template <>
class CVarMap<> {};

// 递归主模板：逐个处理每个类型参数
template <typename First, typename... Rest>
class CVarMap<First, Rest...> : public CVarMap<Rest...> {
    // 可在此处对First进行操作，比如判断是否为std::tuple并处理其内部参数
};

// 使用示例
CVarMap<std::tuple<int, char>, std::vector<float>, int> obj;

你之前的代码错误在于：

1. 模板参数使用了template <typename...> typename... Tuples，要求传入模板而非实例，不符合递归展开需求；
2. 缺少递归终止的特化版本，导致无限递归。

内容的提问来源于stack exchange，提问作者SKNB