C++23中需用std::move_only_function替代std::function来封装捕获unique_ptr/mutex等non-copyable对象的lambda，因其仅要求MoveConstructible；须显式指定完整调用签名、强制std::move初始化与传递，并严格判空后调用。
如果您在C++23中尝试将捕获了std::unique_ptr、std::mutex或自定义non-copyable类型的lambda传递给异步任务容器，却遭遇编译错误，则很可能是因类型不可拷贝导致标准包装器拒绝接纳。以下是针对该问题的多路径解析与处理方案：
一、识别并替换不兼容的std::function使用场景
std::function强制要求被包装对象满足CopyConstructible约束，而捕获move-only资源的lambda会自动删除拷贝构造函数，造成语义冲突。此时必须放弃std::function，改用仅要求MoveConstructible的std::move_only_function。
1、检查编译错误信息是否为error: use of deleted function 'X::X(const X&)'；
2、确认lambda是否捕获std::unique_ptr、std::mutex、std::thread等不可拷贝对象；
立即学习“C++免费学习笔记（深入）”；
3、将原声明std::function<void></void>替换为std::move_only_function<void></void>；
4、确保所有初始化均通过std::move(lambda)完成，禁止直接赋值。
二、正确声明与初始化std::move_only_function
std::move_only_function不提供辅助工厂函数，也不支持auto类型推导，模板参数必须显式写出完整调用签名，包括返回类型、参数列表、noexcept说明符、cv限定符及引用限定符，否则operator()行为将不匹配预期调用上下文。
1、正确写法：std::move_only_function<int std::string noexcept></int>；
2、错误写法：std::move_only_function<int></int>（缺少括号与参数列表）；
3、错误写法：auto f = std::move_only_function<void>{[](){}};</void>（模板参数无法推导）；
4、若被封装函数声明为noexcept，而模板参数未标注noexcept，则调用时可能意外抛出异常，破坏异常安全契约。
三、所有权转移的显式std::move操作规范
所有涉及std::move_only_function实例所有权变更的操作，都必须显式调用std::move。编译器不会隐式执行移动，也不会在运行时提供兜底机制——漏写即编译失败，且无任何警告提示。
1、向std::vector<:move_only_function>></:move_only_function>插入时，必须写为tasks.push_back(std::move(task))；
2、函数参数应声明为右值引用：void enqueue(std::move_only_function<void> &&task)</void>；
3、若作为类成员，移动赋值操作符须显式定义为= default或逐个对std::move_only_function成员调用std::move；
4、禁止对已move过的实例再次调用operator()，其状态为有效但未指定，重复调用触发未定义行为。
四、空值检查与调用前状态验证
std::move_only_function支持空初始化（如std::move_only_function<void> f;</void>），但调用前必须显式判空，否则解引用空对象将导致未定义行为。该检查不可省略，亦无法由编译器静态保障。
1、初始化后可保持为空：std::move_only_function<void> f;</void>；
2、调用前必须插入条件判断：if (f) { f(); }；
3、move操作后原变量进入有效但未指定状态，不得再用于条件判断或调用；
4、避免捕获局部引用（如[&x]），因move后闭包失效，x将成为悬垂引用，运行时崩溃风险极高。
五、可移动但可拷贝lambda的特殊处理方式
普通lambda（如仅捕获值或未捕获）默认满足CopyConstructible，不能直接赋值给std::move_only_function。必须显式禁用拷贝路径，通过std::move构造强制走移动语义，否则编译器拒绝接受。
1、不可直接写：std::move_only_function<int> f = [](){ return 42; };</int>；
2、必须显式move构造：auto lam = [](){ return 42; }; std::move_only_function<int> f = std::move(lam);</int>；
3、也可内联书写：std::move_only_function<int> f = std::move([](){ return 42; });</int>；
4、若lambda含mutable且内部移动捕获对象（如ptr.reset()），即使语法上未显式删除拷贝，也只能进入std::move_only_function路径，std::function不再适用。
