C++23的std::move_only_function是什么_C++对只能移动的函数对象的封装

auto lambda = [ptr = std::make_unique(42)]() {
    std::cout << *ptr << std::endl;
};

这个 lambda 的类型是不可复制的（因为 unique_ptr 不可复制），因此你无法将它赋值给 std::function：

std::function f = lambda; // 错误！lambda 不可复制

这限制了 std::function 在现代 C++ 中对资源管理闭包的使用场景。

std::move_only_function 的设计目标

C++23 引入 std::move_only_function 正是为了打破这一限制。它的核心特性包括：

• 只支持移动语义：可以 move 构造和 move 赋值，但不能 copy。
• 能容纳任意满足 Callable 要求的 move-only 闭包。
• 接口与 std::function 高度一致，便于迁移和理解。

这使得你可以这样写：

std::move_only_function f = [ptr = std::make_unique(42)]() {
    std::cout << *ptr << std::endl;
};

f(); // 输出 42

这段代码在 C++23 下完全合法。

基本用法示例

以下是一个典型使用场景：将带有资源捕获的 lambda 存储到容器或作为回调传递：

#include 
#include 
#include 
#include 

int main() {
    std::vector> callbacks;

    for (int i = 0; i < 3; ++i) {
        callbacks.push_back([ptr = std::make_unique(i)]() {
            std::cout << "Value: " << *ptr << '\n';
        });
    }

    for (auto& cb : callbacks) {
        cb();
    }
}

输出：

Value: 0
Value: 1
Value: 2

这里每个 lambda 都独占一个 int 对象，整个结构安全且高效。

与 std::function 的对比

两者主要区别如下：

• 复制性：std::function 支持复制，move_only_function 仅支持移动。
• 性能开销：move_only_function 因无需支持复制，内部实现可能更轻量。
• 适用范围：std::function 更通用；move_only_function 更适合一次性或转移所有权的场景。

如果不需要复制，优先考虑 std::move_only_function，尤其是在涉及智能指针、文件句柄等资源时。

基本上就这些。std::move_only_function 填补了 C++ 在可移动闭包泛化处理上的空白，让资源安全的函数对象封装更加自然。不复杂但容易忽略的是：它不是为了替代 std::function，而是补充其在 move-only 场景下的不足。