std::move_only_function是c++23中唯一能安全封装捕获non-copyable资源（如std::unique_ptr、std::mutex）的lambda的类型；std::function因要求copyconstructible而必然编译失败，而std::move_only_function仅需moveconstructible且零开销。
直接说结论：std::move_only_function 是 C++23 中唯一能安全封装捕获 std::unique_ptr、std::mutex 等 non-copyable 资源的 lambda 的类型；用 std::function 必编译失败，不是写法问题，是语义冲突。
为什么 std::function 编译失败而 std::move_only_function 可以
根本原因是约束不同：std::function 要求被包装类型满足 CopyConstructible，而捕获 std::unique_ptr 的 lambda 会自动删除拷贝构造函数——编译器报错 error: use of deleted function 'X::X(const X&)' 不是你写错了，是它根本拒绝构造。
-
std::move_only_function只要求MoveConstructible，不预留虚函数表项、不维护引用计数，真正零开销 - 即使 lambda 声明为
const，只要内部调用ptr.reset()或std::move(ptr)，它就只满足移动构造，无法通过std::function验证 - 捕获引用（如
[&x]）虽能过编译，但std::move后原闭包失效，x成为悬垂引用，运行时崩溃风险极高
std::move_only_function 模板参数必须显式写出完整调用签名
std::move_only_function 不提供 make_move_only_function，也不支持 auto 推导；漏写任一调用限定符都会导致类型不匹配或 operator() 行为异常。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 正确写法：
std::move_only_function<int std::string int const noexcept></int>、std::move_only_function<void></void>、std::move_only_function<double></double> - 错误写法：
std::move_only_function<int></int>（缺括号与参数）、std::move_only_function<void></void>（不是完整函数类型）、auto f = std::move_only_function<void>{[](){}};</void>（模板参数无法推导） - 若 lambda 声明为
noexcept，而模板参数未标注，调用时可能意外抛出，破坏异常安全契约
所有所有权转移操作都强制要求显式 std::move
编译器不会隐式执行移动，也不会延迟报错——漏写 std::move 就是编译失败，且无警告提示。
- 初始化时：
std::move_only_function<void> f = std::move(lambda);</void>，不能写f = lambda; - 存入容器：
std::vector<:move_only_function>> tasks;</:move_only_function>→tasks.push_back(std::move(task)); - 函数传参：形参应为右值引用，如
void enqueue(std::move_only_function<void> &&task)</void>，调用必须写enqueue(std::move(task)); - 类成员赋值：若含
std::move_only_function，默认移动赋值操作符不可靠，需显式定义为= default或逐个std::move
调用前必须判空，且不能使用 target() 方法
std::move_only_function 不提供 target() 或 target_type()，因为 move-only 类型擦除后无法安全还原原始类型，该能力被主动舍弃。
- 空初始化合法：
std::move_only_function<void> f;</void>，但调用前必须检查：if (f) { f(); } - 对 mutable lambda，捕获的
std::unique_ptr必须在 lambda 内部通过std::move(ptr)或ptr.reset()显式释放，否则调用时仍持有资源 - 没有“试一下”的机会：构造失败即刻编译报错，运行时不会兜底，也不会静默降级
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
