std::apply要求第一个参数为可调用对象，裸函数指针无法通过模板推导匹配；正确做法是用lambda包装或对具名非重载函数取地址，并注意完美转发与move-only类型的重复移动风险。
std::apply 展开 tuple 时为什么不能直接传入普通函数指针
因为 std::apply 要求第一个参数是可调用对象（Callable），而裸函数指针在模板推导中无法自动绑定为 std::function 或完美转发类型。常见错误是写成：
std::apply(func_ptr, my_tuple);
编译失败，报错类似 no matching function for call to 'apply'。
正确做法是用 lambda 包一层，或用 &func 显式取地址（前提是 func 是具名函数且非重载）：
- 若
func是普通具名函数（无重载）：std::apply(&func, my_tuple) - 若
func是重载函数、模板函数或 lambda：std::apply([](auto&&... args) { return func(std::forward(args)...); }, my_tuple) - 注意：lambda 中必须用
std::forward保持值类别，否则右值会被转成左值
递归模板展开 tuple 的典型错误：索引序列没对齐
手写递归展开常依赖 std::index_sequence，但容易忽略参数包和索引的绑定顺序。比如写成：
template<size_t... i> void expand_impl(Tuple&& t, std::index_sequence<i...>) { f(std::get<i>(t)...); }</i></i...></size_t...>
看似合理，但若 f 参数顺序敏感（如构造函数、带默认值的函数），I... 展开顺序和 tuple 元素物理顺序一致，没问题；但一旦中间插入 std::move 或条件分支，就可能错位。
更隐蔽的问题是：递归终止特化没覆盖空 tuple 场景，导致无限实例化。检查点：
- 必须提供
std::index_sequence的完全特化版本（哪怕只做 static_assert） - 索引序列生成必须用
std::make_index_sequence<:tuple_size_v>>::type，不能硬写0,1,2 - 若 tuple 含引用类型，
std::get(t)返回的是左值引用，需按需加std::move，否则可能意外延长临时对象生命周期
std::apply 和递归模板性能差异在哪
绝大多数情况下，std::apply 编译期开销更小、生成代码更紧凑。它由标准库实现优化，通常内联为直接解包调用；而手写递归模板易触发多次函数调用栈（尤其未强制 inline 时），还可能因模板嵌套过深导致编译变慢。
但有例外场景递归模板更优：
- 需要对每个 tuple 元素做差异化处理（如日志打印 + 类型检查 + 转换），
std::apply一次全传，没法插桩 - 目标函数不支持完美转发（如 C 风格可变参函数），必须逐个提取并显式转换类型
- 编译器对
std::apply内联失败（罕见，多见于跨 TU 优化关闭时），此时递归模板因定义可见反而更稳
验证方法：开 -O2 -g 编译后用 objdump -d 看是否只剩一条 call 指令 —— std::apply 版本大概率是，递归版常残留跳转。
tuple 元素含 move-only 类型时 std::apply 的陷阱
std::apply 会把 tuple 完美转发进 lambda，但若 lambda 体中多次使用同一元素（比如先 log 再传给函数），就会触发重复移动 —— 编译可能通过，运行时报错或未定义行为。
例如：
std::get<i>(t)</i>
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
