应改用 std::move_only_function,因其仅需 MoveConstructible,支持 unique_ptr 等非拷贝类型,无虚表与引用计数,零开销;而 std::function 要求 CopyConstructible,故编译失败。

遇到 error: use of deleted function 'X::X(const X&)' 就该换 std::move_only_function,不是代码写错了,是语义不匹配——它专为“移交即放弃”的异步任务设计,不能拷贝、不支持 target()、模板参数必须显式带限定符。
为什么 std::function 编译失败而 std::move_only_function 可以
根本原因是 std::function 要求被包装类型满足 CopyConstructible;捕获 std::unique_ptr、std::mutex 或自定义 non-copyable 类型的 lambda 会自动删除拷贝构造函数,导致构造阶段直接编译失败。而 std::move_only_function 只要求 MoveConstructible,绕过拷贝检查,且底层不预留虚函数表项、不维护引用计数,属于零开销类型擦除。
- 错误不是运行时崩溃,而是构造那一刻就拒绝:没有“试一下”的机会
- 即使 lambda 声明为
const,只要内部调用ptr.reset()或std::move(ptr),它仍是 move-only - 捕获引用(如
[&x])看似能过编译,但 move 后原闭包失效,x成为悬垂引用,运行时崩溃风险极高
声明和初始化必须手写完整调用签名
std::move_only_function 不提供 make_move_only_function 辅助函数,也不支持 auto 推导;模板参数必须包含返回类型、参数列表及全部调用限定符(noexcept、const、&、&&),缺一不可。
- 正确:
std::move_only_function<int const std::string noexcept></int>、std::move_only_function<void const></void>、std::move_only_function<double></double> - 错误:
std::move_only_function<void></void>(缺括号与参数列表)、std::move_only_function(空模板参数)、auto f = std::move_only_function{}(无法推导) - 若被封装函数声明为
noexcept,而模板参数没写,operator()调用可能意外抛出,破坏异常安全边界
所有所有权转移操作都必须显式 std::move
编译器绝不隐式转换右值,也不会在运行时兜底——漏掉 std::move 就是编译失败,不是警告。
立即学习“C++免费学习笔记(深入)”;
- 存入容器:
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
调用前必须判空,且 move 后原对象失效
std::move_only_function 支持空初始化(如 std::move_only_function<void> f;</void>),但调用前必须检查 if (f);一旦 move 出去,原对象进入有效但未指定状态,再次调用或 move 未定义。
- 空值检查常被忽略,尤其在异步队列 pop 后直接
operator()的场景 - move 后原变量不可再用于任何操作(包括再次
std::move),否则行为未定义 - 它不提供
target()或target_type(),因 move-only 类型擦除后无法安全还原原始类型


















