如何运用C++23新规中的std::move_only_function高效处理非拷贝任务？

本文共计901个文字，预计阅读时间需要4分钟。

plaintextstd::move_only_function 不是用来升级 std::function 的，它是唯一能接收 std::unique_ptr、std::mutex 或自定义 non-copyable 类型的 lambda 的函数容器——编译器不允许你注入 std::function，这不是写法问题，而是语义冲突。

为什么 std::function 编译失败，而 std::move_only_function 可以

典型错误信息是 error: use of deleted function 'X::X(const X&)'。这不是你的 lambda 写错了，而是 std::function 强制要求目标类型满足 CopyConstructible；而捕获 std::unique_ptr 的 lambda 自动删除了拷贝构造函数。

std::move_only_function 只要求 MoveConstructible，绕过拷贝检查。它底层不预留虚函数表项、不存引用计数字段，也没有拷贝逻辑——所以零开销，也无运行时兜底。

• 能直接接：[ptr = std::make_unique<int>(42)]() mutable { return *ptr; }</int>
• 不能直接接可拷贝 lambda：[x = 42]() { return x; }，必须显式 move 构造：std::move_only_function<int>{std::move(lambda)}</int>
• 捕获引用如 [&x] 本身不阻止拷贝，但 move 后原闭包失效，x 变成悬垂引用，运行时崩溃

std::move_only_function 声明和初始化必须显式写出完整签名

它没有 make_move_only_function 辅助函数，也不支持 auto 推导。漏写任何调用限定符（noexcept、const、&、&&），都会导致类型不匹配，编译失败。

立即学习“C++免费学习笔记（深入）”；

• 正确：std::move_only_function<void noexcept></void>、std::move_only_function<int const std::string></int>
• 错误：std::move_only_function<void></void>（缺括号和参数列表）
• 错误：auto f = std::move_only_function{}（模板参数无法推导）
• 错误：std::move_only_function f = lambda（缺少模板参数，编译失败）

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

所有涉及“拥有权转移”的操作，都必须手动调用 std::move。编译器不会隐式移动，也不会在运行时报错——直接编译失败。

• 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>，避免入口处尝试拷贝
• 类成员含 std::move_only_function 时，移动赋值操作符必须显式定义为 = default 或逐个 std::move

空值检查和调用后状态管理最容易被忽略

空初始化合法：std::move_only_function<void> f;</void>，但调用前必须用 if (f) 检查是否为空；否则未定义行为。

一旦 move 出去，原变量进入有效但未指定状态。再次调用（哪怕只是 f()）就是未定义行为——不是崩溃就是静默错误。

它不支持 target() 或 target_type()，因为 move-only 类型擦除后无法安全还原原始类型。这部分能力被主动舍弃，换来的是确定性所有权模型。