首页 > 后端开发 > C++ > 正文

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

冰火之心
发布: 2025-11-27 12:30:07
原创
708人浏览过
std::move_only_function 解决了 std::function 无法存储不可复制闭包的问题,允许封装如捕获 unique_ptr 的 lambda,实现仅可移动的可调用对象包装。

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

std::move_only_function 是 C++23 引入的一个新类型,定义在头文件 <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++ 中对资源管理闭包的使用场景。

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

腾讯混元文生视频
腾讯混元文生视频

腾讯发布的AI视频生成大模型技术

腾讯混元文生视频 266
查看详情 腾讯混元文生视频

基本用法示例

以下是一个典型使用场景:将带有资源捕获的 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();
    }
}
登录后复制

输出:

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 场景下的不足。

以上就是C++23的std::move_only_function是什么_C++对只能移动的函数对象的封装的详细内容,更多请关注php中文网其它相关文章!

最佳 Windows 性能的顶级免费优化软件
最佳 Windows 性能的顶级免费优化软件

每个人都需要一台速度更快、更稳定的 PC。随着时间的推移,垃圾文件、旧注册表数据和不必要的后台进程会占用资源并降低性能。幸运的是,许多工具可以让 Windows 保持平稳运行。

下载
来源:php中文网
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn
最新问题
开源免费商场系统广告
热门教程
更多>
最新下载
更多>
网站特效
网站源码
网站素材
前端模板
关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新 English
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号 技术交流群
PHP中文网订阅号
每天精选资源文章推送
PHP中文网APP
随时随地碎片化学习

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