C++能否构造参数包的参数包？如何合并任意数量类型列表？

首先明确：C++支持处理参数包的参数包，通过模板递归或C++17引入的折叠表达式，就能实现任意数量sektyp类型列表的合并，完全满足你合并134个列表的需求。

现有代码的局限性 #

你当前的sektypmerge仅针对2个、3个列表做了特化，无法扩展到N个列表。要解决这个问题，我们需要实现通用的合并逻辑，或者利用C++17的特性简化实现。

方案1：递归模板实现（兼容C++11） #

通过递归拆解参数包，每次合并第一个列表与剩余所有列表的合并结果，最终完成所有列表的合并。

保留你原有的sektyp定义，替换原有的sektypmerge为以下通用实现：

// 类型列表定义（保留原有代码）
template <typename...> struct sektyp;
template <> struct sektyp<> {};
template <typename Head, typename... Tails> struct sektyp<Head, Tails...> {
    using head = Head;
    using tails = sektyp<Tails...>;
};

// 辅助模板：提取sektyp内部的参数包
template <typename T>
struct sektyp_traits;

template <typename... Ts>
struct sektyp_traits<sektyp<Ts...>> {
    using type = sektyp<Ts...>;
};

// 基础情况：无输入列表，返回空类型列表
template <>
struct sektypmerge<> {
    using result_type = sektyp<>;
};

// 基础情况：单个输入列表，直接返回自身
template <typename List>
struct sektypmerge<List> {
    using result_type = typename sektyp_traits<List>::type;
};

// 递归情况：合并第一个列表与剩余列表的合并结果
template <typename FirstList, typename... RestLists>
struct sektypmerge<FirstList, RestLists...> {
    // 合并剩余所有列表
    using rest_merged = typename sektypmerge<RestLists...>::result_type;
    // 合并当前第一个列表与剩余列表的结果
    using result_type = typename sektypmerge<FirstList, rest_merged>::result_type;
};

// 核心特化：合并两个类型列表（原逻辑保留）
template <typename... ST1, typename... ST2>
struct sektypmerge<sektyp<ST1...>, sektyp<ST2...>> {
    using result_type = sektyp<ST1..., ST2...>;
};

方案2：C++17折叠表达式实现（更简洁） #

如果你的项目支持C++17及以上标准，利用折叠表达式可以大幅简化代码：

// 保留你的sektyp定义
template <typename...> struct sektyp;
template <> struct sektyp<> {};
template <typename Head, typename... Tails> struct sektyp<Head, Tails...> {
    using head = Head;
    using tails = sektyp<Tails...>;
};

// 二元合并工具：合并两个类型列表
template <typename... ST1, typename... ST2>
constexpr sektyp<ST1..., ST2...> merge(sektyp<ST1...>, sektyp<ST2...>) {
    return {};
}

// 通用合并任意数量列表
template <typename... Lists>
struct sektypmerge {
    using result_type = decltype((merge(std::declval<Lists>(), ...)));
};

使用示例 #

无论哪种方案，使用方式和你原来的示例完全一致，传入任意数量的sektyp列表即可：

#include <string>

using integers = sektyp<int, unsigned>;
using reals = sektyp<float, double>;
using strings = sektyp<std::string>;

// 合并3个列表
using irs = sektypmerge<integers, reals, strings>::result_type;

// 合并134个列表，直接按顺序传入所有列表即可
using large_merged_list = sektypmerge<
    integers, reals, strings,
    sektyp<char>, sektyp<long long>,
    /* ... 此处填入剩余129个类型列表 ... */
>::result_type;

原理说明 #

• 递归版本：通过模板递归逐步拆解参数包，每次将问题简化为"合并第一个列表"和"合并剩余所有列表"，直到只剩单个列表或空列表，最终完成全量合并。
• 折叠表达式版本：利用C++17的折叠表达式特性，自动将所有输入列表按顺序执行二元合并操作，代码更简洁且编译效率更高。

内容的提问来源于stack exchange，提问作者Pedro M Areias