c++ c++23 std::move_only_function c++如何处理不可复制的函数对象-C++-PHP中文网

c++oding="utf-8" ?>

std::move_only_function是c++23引入的仅可移动函数包装器，专为捕获unique_ptr等非拷贝类型的lambda设计，不满足copyconstructible，仅支持moveconstructible/moveassignable，调用语法与std::function一致但不可互赋值。

c++ c++23 std::move_only_function c++如何处理不可复制的函数对象

std::move_only_function 是什么，为什么不能复制

std::move_only_function 是 C++23 引入的类型擦除函数包装器，专为不可复制（但可移动）的可调用对象设计。它和 std::function 的关键区别在于：不满足 CopyConstructible，只满足 MoveConstructible 和 MoveAssignable。这意味着一旦你把一个 lambda 捕获了 std::unique_ptr 或其他非拷贝类型，就只能用 std::move_only_function 来存——std::function 会直接编译失败。

常见错误现象：error: use of deleted function 'std::function<...>::function(const std::function<...>&)'</...></...>，通常出现在试图把带移动语义捕获的 lambda 赋给 std::function 时。

它底层不依赖 std::any 或虚函数表的拷贝逻辑，而是用 move-only 存储策略（如小缓冲 + 堆分配 + 移动构造）
不支持 target()、target_type() 等反射接口，因为这些在 move-only 场景下难以安全实现
调用语法完全一致：f(1, "hello")，和 std::function 无差异

怎么声明和初始化 std::move_only_function

声明方式和 std::function 类似，但必须用移动语义初始化。不能用拷贝构造，也不能隐式转换（除非源本身是右值）。

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

auto lambda = [ptr = std::make_unique<int>(42)]() mutable {
    return *ptr + 1;
};
std::move_only_function<int> f = std::move(lambda); // ✅ 正确
// std::move_only_function<int> g = lambda; // ❌ 编译失败：试图拷贝 lambda</int></int></int>

模板参数必须显式写出调用签名，例如 std::move_only_function<void double></void>，不支持自动推导（没有 make_move_only_function 辅助函数）
可以接收任何可移动的可调用物：带移动捕获的 lambda、std::unique_ptr 包裹的函数对象、自定义 move-only functor
从 std::function 转换需显式 move：std::move_only_function<int> f = std::move(existing_func);</int>，前提是 existing_func 为空或内部可移动（C++23 中部分实现允许空 std::function 安全 move）

传递和存储 move_only_function 的注意事项

由于它不可复制，所有涉及“传值”或“放入容器”的场景都必须用移动语义，否则编译器立刻报错。这是最容易踩坑的地方。

函数参数尽量用右值引用：void handle(std::move_only_function<void> &&f)</void>；若需保留所有权，应直接 move 进成员变量
存入 std::vector 必须用 emplace_back 或 push_back(std::move(f))；直接 push_back(f) 会触发拷贝尝试而失败
不能作为 std::shared_ptr 或 std::weak_ptr 的目标类型（它们要求被管理对象可拷贝/可赋值），但可以用 std::unique_ptr<:move_only_function>></:move_only_function>
lambda 捕获列表里如果用了 =，且捕获了非拷贝类型，整个 lambda 就变成 move-only，此时必须用 std::move_only_function 接收，别指望编译器“自动降级”

和 std::function 的兼容性与性能差异

两者接口高度相似，但不兼容：不能相互赋值，也不能混用模板特化。性能上，std::move_only_function 在小对象场景下可能略快（省去拷贝检查和虚表拷贝逻辑），但堆分配开销类似。

目前主流标准库（libstdc++ 13+、libc++ 17+、MSVC 19.35+）已支持，但旧版本（如 GCC 12 或 Clang 15）可能只有实验性支持或缺失，需确认 __cpp_lib_move_only_function >= 202110L
不支持 SBO（small buffer optimization）的实现可能导致每次构造都堆分配，而 std::function 在多数实现中对小 lambda 有栈内优化
如果你的代码需要同时支持 C++20 和 C++23，不要试图用宏模拟 std::move_only_function——它没有合理的降级方案；要么分条件编译，要么坚持用 std::function 并避免 move-only 捕获

真正要注意的是：一旦你决定用 std::move_only_function，整条调用链就得跟着“移动到底”。中间任何一个环节忘了 std::move，或者试图取地址、拷贝、绑定到 const 引用再传出去，都会卡住编译。这不是语法糖，是所有权模型的硬约束。