应使用 std::move_only_function 替代 std::function 来存储不可拷贝的 lambda；它仅支持移动语义、需显式指定完整调用签名、所有权转移必须用 std::move、调用前须判空、函数参数宜用右值引用接收。
如果您在使用 C++23 编写异步任务或封装含不可拷贝资源（如 std::unique_ptr、std::mutex 或自定义 non-copyable 类型）的 lambda 时遭遇编译错误，则极可能是因为错误地尝试将其赋值给 std::function。以下是解决此问题的步骤：
一、理解 std::move_only_function 的设计目的
std::move_only_function 并非 std::function 的轻量替代品，而是专为仅满足 MoveConstructible 约束的可调用对象设计的语义正确容器。它绕过 std::function 强制要求的 CopyConstructible 约束，底层不预留虚函数表项、不引入引用计数字段，也无拷贝逻辑，因此具备零运行时开销特性。
1、当 lambda 捕获 std::unique_ptr
2、std::move_only_function 接收该 lambda 时仅执行移动构造，不触发拷贝检查。
3、该类型不提供 target() 或 target_type() 方法，因 move-only 类型擦除后无法安全还原原始类型，此能力被主动舍弃。
二、正确声明与模板参数书写
std::move_only_function 不支持 auto 推导，也不提供 make_move_only_function 辅助函数，所有模板参数必须显式写出完整调用签名，包括参数列表、noexcept、const、&、&& 等调用限定符；漏写任一修饰符将导致类型不匹配或 operator() 行为异常。
1、正确写法：std::move_only_function
2、错误写法：std::move_only_function
3、错误写法：auto f = std::move_only_function{};（模板参数无法推导）
三、初始化与所有权转移操作
所有涉及“拥有权转移”的操作均强制要求显式调用 std::move；编译器不会隐式转换，也不会延迟至运行时报错——任何遗漏都将直接导致编译失败。
1、对可拷贝 lambda（如 [x = 42]() { return x; }），不能直接构造：std::move_only_function
2、必须显式 move 构造：std::move_only_function
3、存入容器时：std::vector<:move_only_function>> tasks; → tasks.push_back(std::move(task)); ✅，tasks.push_back(task); ❌
四、空值检查与调用前状态验证
std::move_only_function 支持空初始化，但调用空实例将引发未定义行为；因此每次 operator() 调用前必须显式检查其是否为空，且需注意 move 后原对象立即失效，不可再访问。
1、合法空初始化：std::move_only_function
2、调用前必须判空：if (f) { f(); }
3、move 后原对象变为无效状态：auto g = std::move(f); → 此后 f 不可再调用，否则行为未定义。
五、函数参数与类成员集成规范
在函数接口和类设计中，std::move_only_function 应以右值引用形式接收，并在类中作为成员时需显式定义移动赋值操作符，避免依赖默认生成（因默认移动赋值可能不满足所有成员的移动语义）。
1、函数参数建议：void enqueue(std::move_only_function
2、类中声明成员：std::move_only_function
3、移动赋值操作符必须显式定义：MyClass& operator=(MyClass&&) = default; 或逐个 std::move(m_task)。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
