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

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
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++免费学习笔记(深入)”;
C++23 引入 std::move_only_function 正是为了打破这一限制。它的核心特性包括:
std::function 高度一致,便于迁移和理解。这使得你可以这样写:
std::move_only_function<void()> f = [ptr = std::make_unique<int>(42)]() {
std::cout << *ptr << std::endl;
};
f(); // 输出 42
这段代码在 C++23 下完全合法。
以下是一个典型使用场景:将带有资源捕获的 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::move_only_function,尤其是在涉及智能指针、文件句柄等资源时。
基本上就这些。std::move_only_function 填补了 C++ 在可移动闭包泛化处理上的空白,让资源安全的函数对象封装更加自然。不复杂但容易忽略的是:它不是为了替代 std::function,而是补充其在 move-only 场景下的不足。
以上就是C++23的std::move_only_function是什么_C++对只能移动的函数对象的封装的详细内容,更多请关注php中文网其它相关文章!
每个人都需要一台速度更快、更稳定的 PC。随着时间的推移,垃圾文件、旧注册表数据和不必要的后台进程会占用资源并降低性能。幸运的是,许多工具可以让 Windows 保持平稳运行。
Copyright 2014-2025 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号