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

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

std::move_only_function是专为禁止拷贝场景设计的独立类型，仅要求MoveConstructible；捕获unique_ptr的lambda因禁用拷贝构造，只能赋值给它，而std::function要求CopyConstructible故编译失败。

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

std::move_only_function 不是 std::function 的轻量版替代品，而是专为“必须移动、禁止拷贝”的场景设计的独立类型；用错地方会立刻编译失败，没有运行时妥协余地。

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

当你写一个捕获 std::unique_ptr 的 lambda，它自动禁用拷贝构造——std::function 要求目标满足 CopyConstructible，直接拒绝编译；std::move_only_function 只要求 MoveConstructible，绕过该约束。

典型错误信息：error: use of deleted function 'X::X(const X&)'，这不是你的代码写错，是语义不匹配。

lambda 捕获 std::unique_ptr、std::mutex 或自定义删除了拷贝构造的类 → 只能进 std::move_only_function
普通无捕获或仅值捕获的 lambda 默认可拷贝 → 不能直接赋给 std::move_only_function，必须显式 std::move 构造（否则编译器认为你在尝试拷贝）
捕获引用（如 [&x]）本身不阻止拷贝，但 move 后原闭包仍持有悬空引用，运行时崩

怎么正确声明和初始化 std::move_only_function？

模板参数必须显式写出完整调用签名，含 noexcept、&、const 等修饰；没有 make_move_only_function 辅助函数，也不能靠 auto 推导。

例如：std::move_only_function<int int const noexcept></int> 表示一个 const、noexcept 的二元函数对象；漏掉 const 可能在 const 成员函数里调用时报错。

C++14

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

下载

✅ 正确：std::move_only_function<void> task = [ptr = std::make_unique<int>(42)]() mutable { std::cout </int></void>
❌ 错误：std::move_only_function<void> task = []() { }; </void>（无捕获 lambda 可拷贝，但 std::move_only_function 不接受隐式拷贝构造）
✅ 补救：std::move_only_function<void> task{[]() { }};</void> 或 std::move_only_function<void> task = std::move([]() { });</void>

往 vector 存或当函数参数传时最容易踩什么坑？

所有涉及“拥有权转移”的地方，都必须显式 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>，避免在入口就尝试拷贝
若封装进类成员，移动赋值操作符必须手动定义为 = default 或显式移动每个 std::move_only_function 成员
别把它塞进需要 CopyConstructible 的老接口（如某些第三方回调注册函数），编译不过就是不过，没商量余地