std::move_only_function是C++23引入的仅移动函数包装器，专为不可拷贝的可调用对象设计，强制所有权移交、禁止拷贝、不支持共享、无target()查询能力，编译期拒绝违反move-only语义的操作。
直接说结论：std::move_only_function 不是用来“解决回调所有权争议”的，它是用编译期强制手段把所有权移交这件事变成不可绕过的事实——你一旦 move 进去，原变量就失效；调用一次后再次调用是未定义行为；它不提供共享、不支持拷贝、也不允许隐式生命周期延长。
为什么 std::function 会在这里报错？
典型错误信息是：error: use of deleted function 'X::X(const X&)'。这不是编译器刁难你，而是你在试图把一个捕获了 std::unique_ptr、std::mutex 或自定义 delete 拷贝构造函数的 lambda 塞进 std::function。因为 std::function 的内部实现要求目标类型必须满足 CopyConstructible，而 move-only 类型天然违反这一约束。
常见误操作包括：
- 写
std::function<void> f = [ptr = std::make_unique<int>(42)]() { ... };</int></void>—— 编译失败 - 把非空的
std::function赋值给另一个变量（比如传参时没加&&）—— 触发拷贝构造，同样失败 - 以为
std::function+std::move就能绕过限制 —— 不行，move 后再调用std::function::operator()仍可能因内部状态损坏而崩溃
怎么正确初始化 std::move_only_function？
模板参数必须显式写出签名，不能靠 auto 推导；初始化必须走移动语义，且右值 lambda 是最安全的入口。
立即学习“C++免费学习笔记（深入）”；
正确写法示例：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
#include <functional>
#include <memory>
auto task = std::move_only_function<void()>{[ptr = std::make_unique<int>(123)]() mutable {
std::cout << *ptr << "\n";
}};
task(); // ✅ OK
// task(); // ❌ UB：第二次调用未定义
关键点：
- 不能写
std::move_only_function<void> f = lambda;</void>（试图拷贝） - 必须写成
std::move_only_function<void> f = std::move(lambda);</void>或直接用花括号初始化 - 如果 lambda 捕获的是引用（如
[&x]），move 后原闭包仍持有悬垂引用 —— 运行时崩，不是编译时报错 - 支持
const、noexcept等限定符，例如：std::move_only_function<int const noexcept></int>
往异步队列或回调接收方传参时容易踩什么坑？
接收方参数必须声明为 std::move_only_function<R(Args...)>&&，否则你传进去的右值会被尝试拷贝。
典型错误场景：
- 函数参数写成
void enqueue(std::move_only_function<void> f)</void>—— 错！这会导致一次 move 构造 + 一次 move 赋值，但中间若发生异常，f 可能处于有效但未指定状态，且无法保证只执行一次 - 容器 push_back 时不加
std::move：tasks.push_back(task);—— 编译失败，因为std::vector::push_back的 const lvalue 版本要求可拷贝 - 用
std::function作中间层再转成std::move_only_function—— 不安全，空std::function可能能 move，但非空的实现依赖具体标准库，C++23 标准未保证兼容性
正确姿势：
using Task = std::move_only_function<void()>;
std::vector<Task> queue;
void enqueue(Task&& task) {
queue.push_back(std::move(task)); // ✅ 显式 move
}
// 调用侧：
enqueue(std::move_only_function<void()>{[handle = std::move(socket)]() mutable {
handle.send("done");
}});
最常被忽略的一点：它不提供 target() 或 target_type()，也没有反射能力。如果你需要运行时识别闭包类型或提取原始指针，std::move_only_function 不适合——这不是缺陷，是设计取舍：放弃灵活性换所有权语义的绝对清晰和存储开销的降低。
