0

0

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

冰火之心

冰火之心

发布时间:2025-11-27 12:30:07

|

733人浏览过

|

来源于php中文网

原创

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

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

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

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

为什么需要 move_only_function?

在 C++20 及之前,std::function

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

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++ 中对资源管理闭包的使用场景。

立即学习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 下完全合法。

Copilot
Copilot

Copilot是由微软公司开发的一款AI生产力工具,旨在通过先进的人工智能技术,帮助用户快速完成各种任务,提升工作效率。

下载

基本用法示例

以下是一个典型使用场景:将带有资源捕获的 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 场景下的不足。

相关专题

更多
string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

312

2023.08.02

int占多少字节
int占多少字节

int占4个字节,意味着一个int变量可以存储范围在-2,147,483,648到2,147,483,647之间的整数值,在某些情况下也可能是2个字节或8个字节,int是一种常用的数据类型,用于表示整数,需要根据具体情况选择合适的数据类型,以确保程序的正确性和性能。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

521

2024.08.29

c++怎么把double转成int
c++怎么把double转成int

本专题整合了 c++ double相关教程,阅读专题下面的文章了解更多详细内容。

48

2025.08.29

C++中int的含义
C++中int的含义

本专题整合了C++中int相关内容,阅读专题下面的文章了解更多详细内容。

188

2025.08.29

lambda表达式
lambda表达式

Lambda表达式是一种匿名函数的简洁表示方式,它可以在需要函数作为参数的地方使用,并提供了一种更简洁、更灵活的编码方式,其语法为“lambda 参数列表: 表达式”,参数列表是函数的参数,可以包含一个或多个参数,用逗号分隔,表达式是函数的执行体,用于定义函数的具体操作。本专题为大家提供lambda表达式相关的文章、下载、课程内容,供大家免费下载体验。

202

2023.09.15

python lambda函数
python lambda函数

本专题整合了python lambda函数用法详解,阅读专题下面的文章了解更多详细内容。

187

2025.11.08

硬盘接口类型介绍
硬盘接口类型介绍

硬盘接口类型有IDE、SATA、SCSI、Fibre Channel、USB、eSATA、mSATA、PCIe等等。详细介绍:1、IDE接口是一种并行接口,主要用于连接硬盘和光驱等设备,它主要有两种类型:ATA和ATAPI,IDE接口已经逐渐被SATA接口;2、SATA接口是一种串行接口,相较于IDE接口,它具有更高的传输速度、更低的功耗和更小的体积;3、SCSI接口等等。

989

2023.10.19

PHP接口编写教程
PHP接口编写教程

本专题整合了PHP接口编写教程,阅读专题下面的文章了解更多详细内容。

49

2025.10.17

桌面文件位置介绍
桌面文件位置介绍

本专题整合了桌面文件相关教程,阅读专题下面的文章了解更多内容。

0

2025.12.30

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
C# 教程
C# 教程

共94课时 | 5.6万人学习

C 教程
C 教程

共75课时 | 3.8万人学习

C++教程
C++教程

共115课时 | 10.5万人学习

关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号