std::move_only_function是C++23引入的仅支持移动的类型擦除容器，与要求可拷贝的std::function根本不同；它专为容纳unique_ptr等不可拷贝资源设计，构造必须显式std::move，且不兼容std::function接口。
std::move_only_function 是什么，和 std::function 有什么根本区别
std::move_only_function 是 C++23 引入的类型擦除可调用对象容器，专为仅可移动（move-only）类型设计。它不提供拷贝构造和拷贝赋值，只支持移动——这和 std::function 的默认行为完全不同。std::function 要求其内部存储的可调用对象必须是 CopyConstructible（比如 lambda 捕获了 std::unique_ptr 就无法塞进去），而 std::move_only_function 放宽了这一限制。
关键点在于：它不是“std::function 加个 move-only 标签”，而是彻底重写的类型擦除机制，底层不依赖拷贝，因此能容纳：
- 捕获了
std::unique_ptr、std::ifstream等不可拷贝资源的 lambda - 自定义的 move-only functor 类（无拷贝构造函数）
- 返回
std::unique_ptr的临时 callable 对象
怎么把捕获 unique_ptr 的 lambda 包进 std::move_only_function
直接写会编译失败，因为普通 lambda 默认是可拷贝的（即使捕获了 std::unique_ptr，只要没显式标记 mutable 或用引用捕获，编译器仍可能尝试合成拷贝函数）。必须确保 lambda 本身是 move-only 的。
正确做法是：
立即学习“C++免费学习笔记（深入）”；
- 用
std::unique_ptr值捕获（非引用） - 显式删除拷贝操作（C++20 起可通过
auto f = [=]() mutable { ... };配合手动禁用，但更稳妥的是用类封装或直接用std::move_only_function接收右值）
std::unique_ptr<int> p = std::make_unique<int>(42);
auto lambda = [p = std::move(p)]() mutable {
return *p;
};
std::move_only_function<int()> f = std::move(lambda); // ✅ 必须 move
注意：
-
std::move_only_function的构造函数是 explicit 的，不能隐式转换 - 初始化时必须用
std::move（哪怕 lambda 是纯右值，也不自动触发移动语义） - 如果漏掉
std::move，编译器会报错：no matching constructor，典型错误信息是candidate template ignored: requirement 'is_constructible_v<...>' was not satisfied
包装自定义 move-only functor 类的注意事项
自己写的 functor 类必须显式禁用拷贝，否则 std::move_only_function 构造时可能误判其为可拷贝类型，导致未定义行为或编译失败。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
例如这个常见错误写法：
struct BadFunctor {
std::unique_ptr<int> data;
BadFunctor(std::unique_ptr<int> d) : data(std::move(d)) {}
// ❌ 忘记 delete 拷贝构造/赋值 → 编译器生成默认版本 → 不满足 move-only 要求
int operator()() { return *data; }
};
正确写法：
struct GoodFunctor {
std::unique_ptr<int> data;
GoodFunctor(std::unique_ptr<int> d) : data(std::move(d)) {}
GoodFunctor(GoodFunctor&&) = default;
GoodFunctor& operator=(GoodFunctor&&) = default;
GoodFunctor(const GoodFunctor&) = delete; // ✅ 显式删除
GoodFunctor& operator=(const GoodFunctor&) = delete;
int operator()() { return *data; }
};
std::move_only_function<int()> f{GoodFunctor{std::make_unique<int>(99)}};
另外注意：
- 移动后原对象状态由你定义，但
std::move_only_function内部不会保证调用前检查有效性（比如data是否为空） - 如果 functor 的
operator()抛异常，std::move_only_function的调用行为与std::function一致，不额外处理
性能和 ABI 兼容性现实约束
std::move_only_function 当前在 libstdc++（GCC 13+）和 libc++（Clang 16+）中已实现，但 MSVC 2022 17.8 还未完全支持（部分构造路径缺失）。使用前务必确认标准库版本。
性能上：
- 小对象优化（small buffer optimization）不一定存在——相比
std::function，它的内部存储策略更倾向于堆分配，尤其当可调用对象较大或有自定义对齐要求时 - 每次调用仍有一次虚函数跳转开销，和
std::function相当，没有额外惩罚，但也别指望更快
ABI 注意：
- 它不是
std::function的替代品，二者不兼容；不能把std::move_only_function传给只接受std::function的旧接口 - 如果你封装的 callable 本来就可以拷贝，别为了“新特性”强行用
std::move_only_function——它多出的移动语义约束反而增加维护成本
真正需要它的场景其实很窄：只有当你明确需要把 move-only 资源绑定进回调，并且该回调生命周期跨越作用域（比如注册到异步事件循环、线程池任务队列），才值得引入。其他时候，优先考虑值传递 + std::function 或直接传参，更简单也更安全。
