C++ std::move_only_function处理非拷贝任务 _ C++23新规【详解】-C++-PHP中文网

std::move_only_function是专为存储move-only闭包设计的零开销类型，仅要求moveconstructible，不支持拷贝、类型擦除还原及自动推导，所有所有权转移必须显式std::move。

c++ std::move_only_function处理非拷贝任务 _ c++23新规【详解】

std::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++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

正确：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