std::invoke能统一调用普通函数指针、lambda（含捕获）、成员函数指针、成员变量指针和std::function，要求“对象+可调用体+参数”三元组匹配，成员函数需先传对象再传指针，零开销内联，模板推导更严格。
std::invoke 能调用哪些东西？
它能统一处理 std::function、普通函数指针、Lambda（含捕获）、成员函数指针、成员变量指针——只要签名匹配，就不用写三套调用逻辑。核心是“对象 + 可调用体 + 参数”三元组，std::invoke 自动识别并转发。
常见错误现象：error: no matching function for call to 'invoke'，通常因为传了空指针（比如未初始化的成员函数指针）或参数类型不匹配；或者把 Lambda 当作类型而非实例传入（如写成 std::invoke<decltype int>(lam, 42)</decltype> 就错）。
- 成员函数指针必须配合对象（或智能指针/引用）一起传，不能单独调用
- Lambda 和普通函数指针可直接传，但带捕获的 Lambda 不能转成函数指针，只能原样传实例
-
std::invoke是 C++17 引入的，C++14 及更早需自己模拟或用std::mem_fn+std::bind（不推荐）
怎么写才能让 std::invoke 正确调用成员函数？
成员函数指针本身不是可调用对象，std::invoke 需要你同时提供「调用者」和「成员指针」。它内部会做 obj.*ptr 或 obj->*ptr 操作，所以传参顺序固定：先对象，再成员指针，最后参数。
典型错误：std::invoke(&MyClass::foo, obj, 1, 2) 对；但 std::invoke(obj, &MyClass::foo, 1, 2) 错（顺序反了）；更隐蔽的是传裸指针时忘了解引用：std::invoke(&MyClass::foo, ptr, 1) 中 ptr 是 MyClass* 没问题，但若写成 std::invoke(&MyClass::foo, &ptr, 1) 就崩了。
立即学习“C++免费学习笔记（深入）”；
- 对象可以是值、左值引用、右值引用、
std::shared_ptr、std::unique_ptr——std::invoke全支持 - 成员函数指针必须用
&T::func形式取地址，不能省略类作用域 - 静态成员函数不是“成员函数指针”，而是普通函数指针，直接传就行，无需对象
std::invoke 和直接调用比，性能差多少？
零开销。编译器在优化开启（-O2）下，std::invoke(f, args...) 几乎总被内联成等价的直接调用，汇编几乎看不出差别。它的存在意义是类型擦除前的“统一接口”，不是运行时调度机制。
容易被忽略的点：如果传入的是 std::function，那性能损失来自 std::function 本身的类型擦除开销，跟 std::invoke 无关；别误以为是 std::invoke 拖慢了。
- 模板推导完全在编译期完成，无虚函数、无函数指针跳转
- 对 Lambda、函数指针、成员函数指针这三类，生成的代码和手写调用一致
- 仅当包裹在
std::function或其他运行时多态容器里时，才引入间接调用成本
为什么有时候 std::invoke 编译不过，而手写调用却可以？
因为 std::invoke 的模板约束比直接调用更严格。它要求所有参数能完美转发（perfect forward），而手动写 obj->*ptr(1, 2) 时，编译器可能隐式转换某个参数（比如 int → long），但 std::invoke 推导模板参数时拒绝这种隐式转换。
典型表现：传一个字面量 0 给期望 std::size_t 的参数，直接调用能过，std::invoke 报错。这不是 bug，是它更早暴露类型不匹配问题。
- 解决方法：显式转型，比如把
0改成static_cast<:size_t>(0)</:size_t> - 或改用
std::invoke_r（C++23），它允许指定返回类型，有时能放宽推导约束 - 调试技巧：把
std::invoke拆成等价的手写形式，看哪一步卡住，再针对性加std::move或转型
最常被绕过的细节是：成员变量指针也能被 std::invoke “调用”——它返回该成员的引用，不是执行操作。这点连不少老手都没想到，结果用 std::invoke(&T::member, obj) 取值时一脸懵。
