std::move_only_function

在标头 `<functional>` 定义
template< class... > class move_only_function; // 不定义	(1)	(C++23 起)
template< class R, class... Args > class move_only_function<R(Args...)>; template< class R, class... Args > class move_only_function<R(Args...) noexcept>; template< class R, class... Args > class move_only_function<R(Args...) &>; template< class R, class... Args > class move_only_function<R(Args...) & noexcept>; template< class R, class... Args > class move_only_function<R(Args...) &&>; template< class R, class... Args > class move_only_function<R(Args...) && noexcept>; template< class R, class... Args > class move_only_function<R(Args...) const>; template< class R, class... Args > class move_only_function<R(Args...) const noexcept>; template< class R, class... Args > class move_only_function<R(Args...) const &>; template< class R, class... Args > class move_only_function<R(Args...) const & noexcept>; template< class R, class... Args > class move_only_function<R(Args...) const &&>; template< class R, class... Args > class move_only_function<R(Args...) const && noexcept>;	(2)	(C++23 起)

类模板 std::move_only_function 是一种通用多态函数包装器。std::move_only_function 对象可以存储并调用任何可构造（不要求为可移动构造）的可调用 (Callable) 目标——函数、lambda 表达式、绑定表达式或其他函数对象，以及成员函数指针和成员对象指针。

称存储的可调用对象为 std::move_only_function 的目标。若 std::move_only_function 不含目标，则称之为空。不同于 std::function，调用空的 std::move_only_function 导致未定义行为。

std::move_only_functions 支持在其模板形参中提供的不含 volatile 的每种 cv 限定符、引用限定符及 noexcept 说明符的组合。这些限定符与说明符（若存在）被添加到其 operator() 上。

std::move_only_function 满足可移动构造 (MoveConstructible) 与可移动赋值 (MoveAssignable) 的要求，但不满足可复制构造 (CopyConstructible) 或可复制赋值 (CopyAssignable) 。

成员类型

类型	定义
`result_type`	`R`

成员函数

(构造函数)	构造新的 `std::move_only_function` 对象 (公开成员函数)
(析构函数)	销毁 `std::move_only_function` 对象 (公开成员函数)
operator=	替换或销毁目标 (公开成员函数)
swap	交换两个 `std::move_only_function` 对象的目标 (公开成员函数)
operator bool	检查 `std::move_only_function` 是否拥有目标 (公开成员函数)
operator()	调用目标 (公开成员函数)

非成员函数

swap(std::move_only_function) (C++23)	特化 std::swap 算法 (函数)
operator== (C++23)	比较 `std::move_only_function` 与 nullptr (函数)

注解

实现可能会将较小的可调用对象存储于 std::move_only_function 对象内部。实际上要求对函数指针和 std::reference_wrapper 的特化进行这样的小对象优化，且只有满足 std::is_nothrow_move_constructible_v<T> 为 true 的类型 T 才能应用优化。

若一个函数或函数对象（包括无尾随返回类型的 lambda 表达式）返回纯右值，用这样的对象初始化返回值为引用的 std::move_only_function，则程序非良构，因为禁止将返回的引用绑定到临时对象。参阅 std::function 的注解。

功能特性测试宏	值	标准	功能特性
`__cpp_lib_move_only_function`	202110L	(C++23)	`std::move_only_function`

示例

运行此代码

#include <functional>
#include <future>
#include <iostream>
 
int main()
{
    std::packaged_task<double()> packaged_task([](){ return 3.14159; });
 
    std::future<double> future = packaged_task.get_future();
 
    auto lambda = [task = std::move(packaged_task)]() mutable { task(); };
 
//  std::function<void()> function = std::move(lambda); // 错误
    std::move_only_function<void()> function = std::move(lambda); // OK
 
    function();
 
    std::cout << future.get();
}

输出：

3.14159

参阅

function

(C++11)

任意可复制构造的可调用对象的可复制包装
(类模板)

编译器支持
自立实现与有宿主实现
语言
标准库
标准库标头
具名要求
功能特性测试宏 (C++20)
语言支持库
概念库 (C++20)
元编程库 (C++11)
诊断库
通用工具库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
本地化库
输入/输出库
文件系统库 (C++17)
正则表达式库 (C++11)
并发支持库 (C++11)
技术规范
符号索引
外部库

成员函数
move_only_function::move_only_function
move_only_function::~move_only_function
move_only_function::operator=
move_only_function::swap
move_only_function::operator bool
move_only_function::operator()
非成员函数
operator==
swap(std::move_only_function)

std::move_only_function

成员类型

成员函数

非成员函数

注解

示例

参阅

导航