C++ std::move_only_function 处理非拷贝型异步任务类型及其任务特性解析详解指南【详解】-C++-PHP中文网

应改用 std::move_only_function：因 std::function 要求可拷贝，而捕获 unique_ptr/mutex 的 lambda 天然不可拷贝，编译期即失败；std::move_only_function 仅需可移动，零开销且安全接管所有权。

c++ 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() 行为异常或编译失败。

C++14

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

下载

正确：std::move_only_function
错误：std::move_only_function（缺括号与参数列表）
错误：std::move_only_function（语法非法，是无效写法）
错误：auto f = std::move_only_function{};（模板参数无法推导）
若 lambda 声明为 noexcept，但模板参数没写，调用时可能意外抛出，破坏异常安全边界

所有所有权转移操作都必须显式调用 std::move

编译器不会隐式转换右值，也不会在运行时兜底——漏掉 std::move 就是编译失败，且通常无警告提示。

初始化：std::move_only_function f = std::move(lambda);，不能写 f = lambda;
存入容器：std::vector<:move_only_function>> tasks; → tasks.push_back(std::move(task));，不能写 tasks.push_back(task);
函数传参：形参应为右值引用，如 void enqueue(std::move_only_function &&task)，调用时必须写 enqueue(std::move(task));
类成员赋值：若含 std::move_only_function，移动赋值操作符需显式定义为 = default 或逐个 std::move，否则默认生成的会尝试拷贝并失败

调用前必须判空，且不能用于老接口

std::move_only_function 不提供 target() 或 target_type()，因为 move-only 类型擦除后无法安全还原原始类型，这部分能力被主动舍弃。它也不是“只读”，而是“只移”：一旦 std::move 出去，原变量进入有效但未指定状态，再次调用未定义；更隐蔽的是，它完全不能塞进要求 CopyConstructible 的旧接口（比如某些第三方回调注册函数），编译不过就是不过。