应使用std::move_only_function替代std::function来存储捕获non-copyable类型的lambda，因其仅要求moveconstructible且禁止拷贝；需显式指定完整调用签名、强制std::move转移所有权，并避免用于要求copyconstructible的旧接口。
如果您在编写异步任务逻辑时，尝试将捕获 std::unique_ptr、std::mutex 或其他 non-copyable 类型的 lambda 赋值给 std::function，却遭遇编译错误，则问题根源在于类型约束不匹配。以下是针对该问题的多角度解析与处理方法：
一、理解 std::move_only_function 的设计语义
std::move_only_function 并非 std::function 的轻量替代品，而是专为“移交即放弃”语义设计的唯一合法容器。它仅要求被包装类型满足 MoveConstructible，不预留虚函数表项、不维护引用计数、不支持拷贝或 const 访问，也无 target() 方法。当编译器报错 error: use of deleted function 'X::X(const X&)' 时，表明 std::function 在构造阶段已拒绝该 callable，而非代码书写错误。
1、捕获 std::make_unique
2、即使 lambda 声明为 const，只要内部调用 std::move(ptr) 或 ptr.reset()，其构造函数即被删除，只能进入 std::move_only_function。
3、捕获引用（如 [&x]）虽不阻止构造，但 move 后原闭包失效，x 成为悬垂引用，运行时崩溃风险极高。
二、正确声明与模板参数书写规范
std::move_only_function 不提供 make_move_only_function 辅助函数，也不支持 auto 推导；模板参数必须显式写出完整调用签名，包括参数列表、noexcept、const、&、&& 等所有调用限定符。漏写任一修饰符将导致类型不匹配，operator() 行为异常或编译失败。
1、正确写法：std::move_only_function
2、错误写法：std::move_only_function
3、错误写法：auto f = std::move_only_function{} —— 模板参数无法推导，编译失败。
4、错误写法：std::move_only_function f = lambda —— 未指定模板参数，编译器拒绝。
三、所有权转移必须显式调用 std::move
所有涉及“拥有权转移”的操作均强制显式 std::move。编译器不会隐式转换，也不会延迟至运行时检查；漏写即编译失败，无任何兜底机制。此规则覆盖容器存入、函数传参、成员赋值等全部场景。
1、向 vector 存入：std::vector<:move_only_function>> tasks; → tasks.push_back(std::move(task));
2、函数参数传递：void enqueue(std::move_only_function
3、类成员移动赋值：若类中含 std::move_only_function 成员，移动赋值操作符不可依赖默认生成，须显式定义为 = default 或逐个 std::move 成员。
4、空初始化合法：std::move_only_function
四、规避常见误用陷阱
std::move_only_function 与旧有接口存在根本性兼容障碍。将其塞入要求 CopyConstructible 的第三方回调注册函数、老式事件系统或泛型算法中，将直接导致编译失败，且无绕过可能。
1、禁止将其作为参数传入要求 CopyConstructible 约束的模板函数，例如某些基于 std::function 封装的库接口。
2、禁止对已 move 的对象再次调用 operator() 或 std::move —— 此时对象处于有效但未指定状态，行为未定义。
3、禁止忽略调用限定符一致性：若被封装函数声明为 noexcept，而模板参数未标注，则 operator() 可能意外抛出异常，破坏调用方异常安全契约。
4、捕获可拷贝类型（如 [x = 42]() { return x; }）时，仍需显式构造：std::move_only_function
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
