应改用 std::move_only_function:它支持 moveconstructible 但非 copyconstructible 的 lambda(如捕获 unique_ptr/mutex),但需手动写全函数签名、注意调用限定符、显式 move、判空及避免悬垂引用。

遇到 error: use of deleted function 'X::X(const X&)' 就该换 std::move_only_function,不是代码写错了,是 std::function 语义上根本不允许接这类任务——它强制要求可拷贝,而捕获 std::unique_ptr、std::mutex 或自定义 non-copyable 类型的 lambda 天然只满足 MoveConstructible。
std::move_only_function 模板参数必须手写完整函数类型签名
它不支持 auto 推导,也没有 make_move_only_function 辅助函数。漏掉任何调用限定符(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<decltype></decltype>(无法推导)、auto f = std::move_only_function{};(模板参数为空) - 如果被封装的 lambda 声明为
noexcept,但模板参数没写,operator()调用可能意外抛出,破坏调用方的异常保证 - 捕获对象需修改时,lambda 必须声明为
mutable;否则移动或重置ptr会失败
所有所有权转移操作都必须显式调用 std::move
std::move_only_function 是“move-first”设计:编译器绝不隐式转换右值,也不提供运行时兜底。漏掉 std::move 就直接编译失败,不会等到运行时才出问题。
- 存入
std::vector时:tasks.push_back(std::move(task));—— 写tasks.push_back(task);触发error: use of deleted function - 函数传参建议用右值引用:
void enqueue(std::move_only_function<void> &&task)</void>,避免入口处尝试拷贝 - 类成员含
std::move_only_function时,移动赋值操作符不能依赖默认生成(除非所有成员都支持移动),应显式定义为= default或逐个std::move - 即使你只是想把一个局部 lambda 初始化进
std::move_only_function,也必须写成std::move_only_function<void> f = std::move(lam);</void>
空值检查和悬垂引用风险最容易被忽略
std::move_only_function 支持空初始化(如 std::move_only_function<void> f;</void>),但调用前必须判空;同时,若 lambda 捕获的是引用([&x]),move 后原闭包失效,x 变成悬垂引用——这不会在编译时报错,但运行时崩溃几乎必然。
- 调用前务必检查:
if (f) { f(); },否则未初始化或已 move 出的对象会触发未定义行为 - 捕获引用本身不违反 MoveConstructible,但语义上极危险;优先改用值捕获(
[x = std::move(x)])或智能指针 - 它不提供
target()或target_type(),因为 move-only 类型擦除后无法安全还原原始类型——这部分能力被主动舍弃,不是遗漏 - 别把它塞进需要
CopyConstructible的老接口(比如某些第三方回调注册函数),编译不过就是不过,没有绕过办法
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











