应改用 std::move_only_function：因 std::function 要求可拷贝，而捕获 unique_ptr/mutex 的 lambda 天然不可拷贝，编译期即失败；std::move_only_function 仅需可移动，零开销且安全接管所有权。
遇到 error: use of deleted function 'X::X(const X&)' 就该换 std::move_only_function，不是代码写错了，是语义不匹配——std::function 要求可拷贝，而捕获 std::unique_ptr、std::mutex 的 lambda 天然不可拷贝，编译器在构造那一刻就拒绝，没有“运行起来再看”的余地。
为什么 std::function 编译失败而 std::move_only_function 可以
std::function 构造时强制要求被包装类型满足 CopyConstructible；一旦 lambda 捕获 std::unique_ptr 或 std::thread，其拷贝构造函数自动被删除，编译直接中断。而 std::move_only_function 只要求 MoveConstructible，它不尝试复制，只接管所有权，底层也无虚表、无引用计数，属于零开销类型擦除。
- 错误不是运行时崩溃，而是声明或初始化那一行就报错
- 即使 lambda 声明为
const，只要内部调用ptr.reset()或std::move(ptr)，它仍是 move-only，std::function依然拒收 - 捕获引用（如
[&x]）可能侥幸通过编译，但std::move后原闭包失效，x成悬垂引用，运行时未定义行为风险极高
std::move_only_function 模板参数必须显式写出完整签名
std::move_only_function 不支持 auto 推导，也没有 make_move_only_function 辅助函数。漏写任一调用限定符（noexcept、const、&、&&）都会导致类型不匹配，operator() 行为异常或编译失败。
- 正确：
std::move_only_function<int std::string int const noexcept></int> - 错误：
std::move_only_function<int></int>（缺括号与参数列表） - 错误：
std::move_only_function<void></void>（语法非法，是无效写法） - 错误：
auto f = std::move_only_function{};（模板参数无法推导） - 若 lambda 声明为
noexcept，但模板参数没写，调用时可能意外抛出，破坏异常安全边界
所有所有权转移操作都必须显式调用 std::move
编译器不会隐式转换右值，也不会在运行时兜底——漏掉 std::move 就是编译失败，且通常无警告提示。
立即学习“C++免费学习笔记（深入）”；
- 初始化：
std::move_only_function<void> f = std::move(lambda);</void>，不能写f = lambda; - 存入容器：
std::vector<:move_only_function>> tasks;</:move_only_function>→tasks.push_back(std::move(task));，不能写tasks.push_back(task); - 函数传参：形参应为右值引用，如
void enqueue(std::move_only_function<void> &&task)</void>，调用时必须写enqueue(std::move(task)); - 类成员赋值：若含
std::move_only_function，移动赋值操作符需显式定义为= default或逐个std::move，否则默认生成的会尝试拷贝并失败
调用前必须判空，且不能用于老接口
std::move_only_function 不提供 target() 或 target_type()，因为 move-only 类型擦除后无法安全还原原始类型，这部分能力被主动舍弃。它也不是“只读”，而是“只移”：一旦 std::move 出去，原变量进入有效但未指定状态，再次调用未定义；更隐蔽的是，它完全不能塞进要求 CopyConstructible 的旧接口（比如某些第三方回调注册函数），编译不过就是不过。
- 调用前必须检查：
if (f) { f(); }，空对象调用是未定义行为 - 别把它当
std::function的子集来用——它不兼容、不替代、不扩展，只解决一个明确问题：移交即放弃的异步任务 - 最容易被忽略的点是捕获引用 + move 的组合，它不报错却埋下运行时雷，比编译失败更难排查
