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

新闻中心 NEWS CENTER

您当前位置：首页 > 新闻中心 > 网络学院

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

2025-11-27

浏览次数：次

返回列表

std::move_only_function 解决了 std::function 无法存储不可复制闭包的问题，允许封装如捕获 unique_ptr 的 lambda，实现仅可移动的可调用对象包装。

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

std::move_only_function 是 C++23 引入的一个新类型，定义在头文件 <functional></functional> 中，用于封装只能移动（move-only）的可调用对象。它类似于早已存在的

std::function</mem>，但关键区别在于：它允许存储那些不可复制、只能移动的 lambda 或其他函数对象 —— 特别是捕获了独占资源（如 std::unique_ptr）的闭包。</p>

<h3>为什么需要 move_only_function？</h3>
<p>在 C++20 及之前，<code>std::function

要求所存储的可调用对象必须满足“可复制”（CopyConstructible）。这意味着如果你写了一个带有移动独占所有权捕获的 lambda，比如：

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

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

std::function<void()> 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<void()> f = [ptr = std::make_unique<int>(42)]() {
    std::cout << *ptr << std::endl;
};

f(); // 输出 42

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

Motiff妙多

Motiff妙多是一款AI驱动的界面设计工具，定位为“AI时代设计工具”

334 查看详情 Motiff妙多

基本用法示例

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

#include <functional>
#include <iostream>
#include <memory>
#include <vector>

int main() {
    std::vector<std::move_only_function<void()>> callbacks;

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

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

输出：