std::move_only_function专为存储仅可移动的lambda设计，解决std::function因强制CopyConstructible而无法捕获unique_ptr等问题；需显式声明完整签名、强制std::move转移所有权、调用前必须判空。
如果您在使用 C++23 编写异步任务或回调系统时，遇到捕获 std::unique_ptr、std::mutex 或自定义 non-copyable 类型 的 lambda 无法存入 std::function，则极可能是因类型约束冲突所致。以下是针对 std::move_only_function 处理非拷贝任务的核心特性解析步骤：
一、理解 MoveConstructible 约束与 CopyConstructible 冲突
std::move_only_function 的根本设计目标是接纳仅满足 MoveConstructible 而不满足 CopyConstructible 的可调用对象；而 std::function 在构造时强制要求目标类型支持拷贝构造，一旦 lambda 捕获 std::unique_ptr，其拷贝构造函数即被隐式删除，导致编译器报错 error: use of deleted function 'X::X(const X&)'——这不是语法错误，而是语义层面的不可调和冲突。
1、识别错误根源：当编译器提示 use of deleted function 且上下文涉及 std::unique_ptr、std::mutex 或自定义 delete 拷贝构造的类时，应立即排除 std::function 方案。
2、确认 lambda 类型属性：对捕获 std::unique_ptr 的 lambda，即使声明为 const，只要内部执行 std::move(ptr) 或 ptr.reset()，该 lambda 即自动变为 move-only，无法通过 std::function 构造验证。
3、避免误判引用捕获：捕获 [&x] 的 lambda 本身仍可能满足 CopyConstructible，但 move 后原闭包失效，x 成为悬垂引用，运行时崩溃风险极高，不属于安全的非拷贝任务处理路径。
二、正确声明与显式初始化签名
std::move_only_function 不提供类型推导辅助，所有模板参数必须完整写出，包括返回类型、参数列表、noexcept、const、& 或 && 调用限定符；缺失任一修饰符都将导致 operator() 行为不匹配或编译失败。
1、写出完整调用签名：例如 std::move_only_function，不可简写为 std::move_only_function 或 std::move_only_function。
2、禁止使用 auto 推导：写 auto f = std::move_only_function{...} 将直接触发 模板参数无法推导 错误。
3、初始化必须显式 std::move：对于已定义的可调用对象 lambda，必须写作 std::move_only_function；直接赋值 f = lambda; 尝试拷贝，编译失败。
三、所有权转移的强制显式语义
所有涉及“拥有权变更”的操作均不触发隐式移动，编译器拒绝任何未加 std::move 的右值绑定或容器插入，无运行时兜底机制——错误仅在编译期暴露，且无妥协余地。
1、向 std::vector 插入时：对 std::vector<:move_only_function>> tasks;，必须调用 tasks.push_back(std::move(task));；写 tasks.push_back(task); 直接编译失败。
2、函数参数传递时：建议采用右值引用形参，如 void enqueue(std::move_only_function，避免在函数入口处发生拷贝尝试。
3、类成员赋值时：若类中含 std::move_only_function 成员，移动赋值操作符不能依赖编译器默认生成（除非所有其他成员均支持移动），必须显式定义为 = default 或逐个调用 std::move 成员。
四、空值检查与调用前状态管理
std::move_only_function 支持空初始化，但调用空实例将导致未定义行为；与 std::function 不同，它不提供 target() 或 target_type() 接口，因 move-only 类型擦除后无法安全还原原始类型，该能力被主动舍弃。
1、允许空初始化：可写作 std::move_only_function，此时 f 为空，sizeof(f) 不代表实际存储开销。
2、调用前必须判空：使用 if (f) { f(); } 显式检查，否则一旦为空即触发未定义行为。
3、调用后状态不可预测：std::move_only_function 调用不改变其内部状态，但若封装的 lambda 在调用中执行了移动操作（如 std::move(ptr)），后续再次调用可能导致悬垂指针或重复释放——该风险由用户代码承担，库不干预。
五、性能与存储模型辨析
std::move_only_function 实现零开销抽象：底层不预留虚函数表项、不存储引用计数字段、不含拷贝逻辑；其 sizeof 可能接近裸指针，但并非绝对栈上存储——实际布局取决于实现，不应假设其为纯栈对象。
1、对比 std::function：后者为支持拷贝需预留虚表指针与控制块，带来固定内存与间接调用开销；std::move_only_function 因放弃拷贝能力，得以精简结构。
2、不支持 target() 是设计取舍：因类型擦除后无法安全还原原始类型，故移除该接口，避免用户误用导致未定义行为。
3、不可用于要求 CopyConstructible 的旧接口：例如某些第三方回调注册函数明确要求传入 std::function，此时 std::move_only_function 无法适配，编译失败即为最终结论，无转换路径。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
