std::tuple_cat用于编译期拼接tuple，要求参数均为明确类型的tuple且通常需右值引用；不支持运行时、variant/any、左值直接传入、链式调用；需#include ；拼接结果类型全新，宜封装为命名struct。
std::tuple_cat 的基本用法和限制
它只能在编译期拼接 std::tuple，不能用于运行时动态元组或 std::variant、std::any 等类型。传入的每个参数都必须是明确类型的 tuple，且不能是右值引用以外的临时对象（比如不能传函数返回的 tuple&& 但未加 std::move）。
常见错误现象：error: no matching function for call to 'tuple_cat'，通常是因为某个参数不是 tuple 类型，或模板推导失败（比如混用了 std::pair 或数组）。
- 必须显式包含头文件：
#include - 所有输入 tuple 的元素类型会原样保留，不会自动转换（例如
int和long不会升格） - 空 tuple（
std::tuple{}）合法，可作为占位或默认分支使用
如何安全地拼接多个 tuple（3 个及以上）
std::tuple_cat 只接受可变参数包，不支持链式调用语法（如 a.cat(b).cat(c)），但可以嵌套调用。关键是确保每一层返回的都是具名类型或立即转发的右值。
示例：拼接三个 tuple
立即学习“C++免费学习笔记（深入）”；
auto t1 = std::make_tuple(1, "a"); auto t2 = std::make_tuple(3.14); auto t3 = std::make_tuple(true, 'x'); // 正确：嵌套调用，最内层先求值 auto result = std::tuple_cat(t1, std::tuple_cat(t2, t3)); // 错误：t2 和 t3 是左值，tuple_cat 默认不接受左值 tuple& // auto bad = std::tuple_cat(t1, t2, t3); // 编译失败
- 若变量是左值，需用
std::move显式转为右值才能参与多层拼接 - 更清晰的做法是统一用
std::move包裹所有非首参数：std::tuple_cat(t1, std::move(t2), std::move(t3)) - 注意移动后原变量处于有效但未定义状态，不可再读取其元素
与结构化绑定、解包配合使用的典型场景
拼接后的 tuple 常用于构造新结构或透传参数，这时结构化绑定能大幅简化访问。但要注意：绑定变量名数量和类型必须与拼接结果完全一致，否则编译失败。
示例：把配置项和运行时数据合并后一次性初始化对象
auto config = std::make_tuple(4096, std::string("utf8"));
auto data = std::make_tuple(123, 45.6f);
auto full = std::tuple_cat(config, data);
auto [buf_size, encoding, id, score] = full; // OK：顺序和类型匹配
// 若写成 auto [a, b, c] = full; → 编译错误：元素数不匹配
- 结构化绑定要求左侧变量数 = tuple 元素总数，少一个或多一个都会报错
- 如果原始 tuple 含有引用类型（如
int&），拼接后仍保持引用语义，需确保被引用对象生命周期足够长 - 不支持对拼接结果直接做 constexpr 初始化（除非所有输入都是字面量 tuple 且类型允许）
替代方案：什么时候不该用 std::tuple_cat
当目标是“逻辑组合”而非“扁平拼接”，或者需要运行时决定拼接方式时，std::tuple_cat 就不是最佳选择。它的模板实例化深度随 tuple 数量增长，可能触发编译器递归限制（尤其在 MSVC 上）。
- 若只是想把几个值存一起传参，考虑直接用
std::make_tuple(a, b, c, d)更简洁 - 若需条件性包含某些字段（比如日志中可选的 trace_id），用
std::optional+ 单个 tuple 比拼接更可控 - 若要拼接异构容器（如 vector
>），得自己写 fold 表达式或用第三方库（如 Boost.MP11）
真正容易被忽略的是：拼接后的 tuple 类型是全新生成的，无法用 auto& 长期持有（因类型名过长且不可写），也不适合做模板参数长期传递——这时候该考虑封装成命名 struct。
