应使用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<int>(42) 的 mutable lambda 可直接构造为 std::move_only_function<int()>。
2、即使 lambda 声明为 const，只要内部调用 std::move(ptr) 或 ptr.reset()，其构造函数即被删除，只能进入 std::move_only_function。
立即学习“C++免费学习笔记（深入）”；
3、捕获引用（如 [&x]）虽不阻止构造，但 move 后原闭包失效，x 成为悬垂引用，运行时崩溃风险极高。
二、正确声明与模板参数书写规范
std::move_only_function 不提供 make_move_only_function 辅助函数，也不支持 auto 推导；模板参数必须显式写出完整调用签名，包括参数列表、noexcept、const、&、&& 等所有调用限定符。漏写任一修饰符将导致类型不匹配，operator() 行为异常或编译失败。
1、正确写法：std::move_only_function<int(const std::string&, int) const noexcept> f = [ptr = std::make_unique<int>(42)](const std::string& s, int x) const noexcept { return x + *ptr + s.size(); };
2、错误写法：std::move_only_function<void> —— 缺少括号与参数列表，语法非法。
3、错误写法：auto f = std::move_only_function<>{} —— 模板参数无法推导，编译失败。
4、错误写法：std::move_only_function f = lambda —— 未指定模板参数，编译器拒绝。
三、所有权转移必须显式调用 std::move
所有涉及“拥有权转移”的操作均强制显式 std::move。编译器不会隐式转换，也不会延迟至运行时检查；漏写即编译失败，无任何兜底机制。此规则覆盖容器存入、函数传参、成员赋值等全部场景。
1、向 vector 存入：std::vector<std::move_only_function<void()>> tasks; → tasks.push_back(std::move(task));
2、函数参数传递：void enqueue(std::move_only_function<void()>&& task)，避免入口处触发拷贝尝试。
3、类成员移动赋值：若类中含 std::move_only_function 成员，移动赋值操作符不可依赖默认生成，须显式定义为 = default 或逐个 std::move 成员。
4、空初始化合法：std::move_only_function<void()> f;，但调用前必须用 if (f) 检查是否为空。
四、规避常见误用陷阱
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<int()>{std::move(lambda)}，不可直接赋值。
