C++ std::move_only_function处理非拷贝型异步任务任务

c++oding="utf-8" ?>

std::move_only_function是c++23中唯一能安全、零开销封装捕获std::unique_ptr等非拷贝资源的异步任务的类型；它仅要求moveconstructible，绕过std::function强制copyconstructible导致的编译失败，且避免shared_ptr引入的引用计数与语义冗余。

c++ std::move_only_function处理非拷贝型异步任务任务 _ c++23特性【详解】

直接说结论：std::move_only_function 是 C++23 中唯一能安全、零开销地封装捕获 std::unique_ptr、std::mutex 或其他非拷贝资源的异步任务的类型；用 std::function 会编译失败，用 std::shared_ptr<:function></:function> 则引入不必要开销和语义混乱。

为什么 std::function 编译不过，而 std::move_only_function 可以

根本原因在约束条件不同：std::function 要求目标可拷贝（CopyConstructible），而捕获 std::unique_ptr 的 lambda 天然禁用拷贝构造——编译器报错不是你写错了，是语义冲突：

error: use of deleted function 'MyLambda::MyLambda(const MyLambda&)'

std::move_only_function 只要求 MoveConstructible 和 MoveAssignable，它不尝试复制，只接管所有权。只要 lambda 声明为 mutable（允许修改捕获的 unique_ptr），就能顺利存入。

典型合法场景：[ptr = std::make_unique(42)]() mutable { ptr.reset(); }
非法但常见误写：[ptr = std::make_unique(42)]() { return *ptr; } —— 缺少 mutable，无法移动内部 ptr，仍可能被误判为“可拷贝”而塞不进 std::move_only_function
注意：即使 lambda 本身是 const 限定的，只要它内部调用了移动操作（如 std::move(ptr)），就只能走 std::move_only_function

声明与初始化必须显式写出完整调用签名

std::move_only_function 没有 make_move_only_function 辅助函数，也不能靠 auto 推导，模板参数必须手写完整签名，包括 noexcept、&、const 等修饰符。

例如：

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

std::move_only_function<void> task1;
std::move_only_function<int const std::string noexcept> task2;</int></void>

漏掉 const 或 noexcept，哪怕原 lambda 确实带这些限定，也会导致匹配失败或隐式转换被禁用。

错误写法：std::move_only_function<void> f = [x = std::make_unique<int>(0)]() { /* ... */ };</int></void> —— lambda 默认不可调用（无 mutable 且捕获了 non-copyable），且签名不匹配
正确写法：std::move_only_function<void> f = [ptr = std::make_unique<int>(0)]() mutable { ptr.reset(); };</int></void>
若 lambda 声明为 noexcept，签名里也必须写 noexcept，否则赋值失败

往 vector 或传参时必须显式 std::move

std::vector<:move_only_function>></:move_only_function> 是合法容器，但所有插入、赋值、传递都必须显式调用 std::move，否则编译器立刻拒绝——它不会给你运行时机会。

常见坑点：

tasks.push_back(task); → 编译失败：试图拷贝
tasks.push_back(std::move(task)); → 正确，task 进入有效但未指定状态，不能再调用
函数参数建议用右值引用：void enqueue(std::move_only_function<void>&& task)</void>，避免入口处就触发拷贝尝试
类成员含 std::move_only_function 时，移动赋值操作符不能省略：需手动定义为 = default 或逐个 std::move