应改用 std::move_only_function,因其仅要求 MoveConstructible,而 std::function 强制 CopyConstructible,故捕获 unique_ptr 等不可拷贝类型的 lambda 会编译失败。

遇到 error: use of deleted function 'X::X(const X&)' 就该换 std::move_only_function,不是 lambda 写错了,是 std::function 语义上根本不能接住它。
为什么 std::function 编译失败而 std::move_only_function 可以
根本不是语法或拼写问题,而是类型系统在构造那一刻就拒绝了:只要 lambda 捕获了 std::unique_ptr、std::mutex 或任何 delete 了拷贝构造的类型,编译器自动禁用其拷贝构造函数;std::function 构造时强制要求 CopyConstructible,直接报错。而 std::move_only_function 只要求 MoveConstructible,绕过拷贝检查,且底层不预留虚函数表项、不维护引用计数——它是为“移交即放弃”的异步任务设计的零开销容器。
- 即使 lambda 声明为
const,只要内部执行std::move(ptr)或reset(),它仍是 move-only 类型 -
std::function对可拷贝 lambda 是安全的,但对 move-only lambda 是硬性拦截,没有运行时兜底 - 错误发生在模板实例化阶段,不是调用时,所以别想“先跑起来再 debug”
模板签名必须手写完整,不能靠 auto 或省略
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<decltype></decltype>(无法推导)、auto f = std::move_only_function{}(语法非法) - 如果被封装函数带
noexcept,但模板参数没写,operator()()调用可能意外抛出异常,破坏调用方预期
所有所有权转移操作必须显式 std::move
编译器绝不会隐式把左值转成右值去调用移动构造;任何涉及“交出控制权”的动作,都必须手动加 std::move,否则直接编译失败。
立即学习“C++免费学习笔记(深入)”;
- 初始化:
auto lambda = [ptr = std::make_unique<int>(42)]() mutable { return *ptr; };</int>→std::move_only_function<int> f = std::move(lambda);</int> - 存入容器:
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>,调用时写enqueue(std::move(task)); - 类成员含
std::move_only_function时,移动赋值操作符不能依赖默认生成(除非其他成员也都支持移动),需显式定义为= default或逐个std::move
空值检查和悬垂引用最容易被忽略
std::move_only_function 支持空初始化(如 std::move_only_function<void> f;</void>),但调用前必须用 if (f) 判空,否则未定义行为;更隐蔽的是捕获引用([&x])看似合法,一旦 move 出去,原闭包失效,后续访问 x 就是悬垂引用——编译器不报错,运行时崩溃。
- move 后原对象进入有效但未指定状态,不能再调用
operator()(),也不能再次 move - 它不提供
target()或target_type(),因为 move-only 类型擦除后无法安全还原原始类型,这部分能力被主动舍弃 - 别试图把它塞进老接口(比如某些第三方回调注册函数),只要接口要求
CopyConstructible,就一定编译不过


















