std::tuple不能直接for循环遍历，因其是编译期确定类型和长度的异构容器，无运行时迭代接口；必须借助std::index_sequence展开或模板递归实现遍历。
为什么不能直接 for 循环遍历 std::tuple
因为 std::tuple 是异构容器，编译期长度和类型都固定，没有运行时迭代接口，for 或 range-based for 会编译失败。必须靠模板参数包展开或索引序列递归——这是根本限制，不是写法问题。
用 std::index_sequence 展开最稳妥
比手写递归终止更清晰、无栈溢出风险，且支持任意函数对象（包括带捕获的 lambda）。核心是把 tuple_size_v<t></t> 转成 std::index_sequence，再用参数包展开调用。
示例：
template <typename tuple typename func size_t... is>
void apply_to_tuple_impl(Tuple&& t, Func&& f, std::index_sequence<is...>) {
(f(std::get<is>(std::forward<tuple>(t))), ...); // C++17 折叠表达式
}
template <typename tuple typename func>
void apply_to_tuple(Tuple&& t, Func&& f) {
constexpr size_t N = std::tuple_size_v<:decay_t>>;
apply_to_tuple_impl(std::forward<tuple>(t), std::forward<func>(f),
std::make_index_sequence<n>{});
}
</n></func></tuple></:decay_t></typename></tuple></is></is...></typename>
- 必须用
std::get<is></is>按编译期索引取值，不能用运行时变量 -
std::make_index_sequence<n></n>在N为 0 时也合法（生成空序列），无需特化处理空 tuple - 折叠表达式
(..., f(...))保证从左到右求值顺序，和预期一致
递归模板版本：小心偏特化和引用转发
若坚持用递归（比如要兼容 C++14），需手动控制索引并终止。常见错误是忘记对 std::tuple 做 const 和右值引用的完整重载，导致 std::get 编译失败。
关键点：
- 递归函数必须是函数模板，不能是普通函数（否则无法推导
Index） - 终止偏特化要匹配
Index == std::tuple_size_v<t></t>，而非Index >= ...（后者可能不触发特化） - 每次递归调用都要 forward 原始 tuple 和 func，否则移动语义丢失
- 示例中
apply_recursive启动，内部调用apply_recursive，直到Index == N终止
传入 lambda 时注意捕获与生命周期
如果 f 是带引用捕获的 lambda，而 tuple 元素本身是临时对象（如 std::make_tuple(42, "hi")），则 f 内部访问 tuple 元素时可能已析构。
- 安全做法：确保 tuple 生命周期长于
f调用，或改用值捕获（[=]） - 若
f是函数指针或无状态 lambda，无此问题 - 调试技巧：在
f内加static_assert(std::is_lvalue_reference_v<decltype>)</decltype>确认引用类别
最易被忽略的是：std::get 返回的是元素类型的引用（可能是 T&, const T&, 或 T&&），但具体取决于 tuple 本身的 cv/ref 限定——别想当然认为它总是左值。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
