应使用 std::move_only_function 替代 std::function 来存储不可拷贝的 lambda；它仅支持移动语义、需显式指定完整调用签名、所有权转移必须用 std::move、调用前须判空、函数参数宜用右值引用接收。

如果您在使用 C++23 编写异步任务或封装含不可拷贝资源（如 std::unique_ptr、std::mutex 或自定义 non-copyable 类型）的 lambda 时遭遇编译错误，则极可能是因为错误地尝试将其赋值给 std::function。以下是解决此问题的步骤：

一、理解 std::move_only_function 的设计目的

std::move_only_function 并非 std::function 的轻量替代品，而是专为仅满足 MoveConstructible 约束的可调用对象设计的语义正确容器。它绕过 std::function 强制要求的 CopyConstructible 约束，底层不预留虚函数表项、不引入引用计数字段，也无拷贝逻辑，因此具备零运行时开销特性。

1、当 lambda 捕获 std::unique_ptr 时，其拷贝构造函数被自动删除，导致 std::function 构造失败。

2、std::move_only_function 接收该 lambda 时仅执行移动构造，不触发拷贝检查。

立即学习“C++免费学习笔记（深入）”；

3、该类型不提供 target() 或 target_type() 方法，因 move-only 类型擦除后无法安全还原原始类型，此能力被主动舍弃。

二、正确声明与模板参数书写

std::move_only_function 不支持 auto 推导，也不提供 make_move_only_function 辅助函数，所有模板参数必须显式写出完整调用签名，包括参数列表、noexcept、const、&、&& 等调用限定符；漏写任一修饰符将导致类型不匹配或 operator() 行为异常。

1、正确写法：std::move_only_function f = [ptr = std::make_unique(42)](int x, const std::string& s) mutable noexcept { return x + *ptr + s.size(); };

2、错误写法：std::move_only_function f;（缺少括号与参数列表）

3、错误写法：auto f = std::move_only_function{};（模板参数无法推导）

三、初始化与所有权转移操作

所有涉及“拥有权转移”的操作均强制要求显式调用 std::move；编译器不会隐式转换，也不会延迟至运行时报错——任何遗漏都将直接导致编译失败。

C++14

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

下载

1、对可拷贝 lambda（如 [x = 42]() { return x; }），不能直接构造：std::move_only_function f = lambda; ❌

2、必须显式 move 构造：std::move_only_function f{std::move(lambda)}; ✅

3、存入容器时：std::vector<:move_only_function>> tasks; → tasks.push_back(std::move(task)); ✅，tasks.push_back(task); ❌

四、空值检查与调用前状态验证

std::move_only_function 支持空初始化，但调用空实例将引发未定义行为；因此每次 operator() 调用前必须显式检查其是否为空，且需注意 move 后原对象立即失效，不可再访问。

1、合法空初始化：std::move_only_function f;

2、调用前必须判空：if (f) { f(); }

3、move 后原对象变为无效状态：auto g = std::move(f); → 此后 f 不可再调用，否则行为未定义。

五、函数参数与类成员集成规范

在函数接口和类设计中，std::move_only_function 应以右值引用形式接收，并在类中作为成员时需显式定义移动赋值操作符，避免依赖默认生成（因默认移动赋值可能不满足所有成员的移动语义）。

1、函数参数建议：void enqueue(std::move_only_function &&task)，防止入口处隐式尝试拷贝。

2、类中声明成员：std::move_only_function m_task;

3、移动赋值操作符必须显式定义：MyClass& operator=(MyClass&&) = default; 或逐个 std::move(m_task)。