std::function<R(Args...)>::operator=

来自cppreference.com
< cpp‎ | utility‎ | functional‎ | function
 
 
工具库
通用工具
日期和时间
函数对象
格式化库 (C++20)
(C++11)
关系运算符 (C++20 中弃用)
整数比较函数
(C++20)(C++20)(C++20)
(C++20)
swap 与类型运算
(C++14)
(C++11)
(C++11)
(C++11)
(C++17)
常用词汇类型
(C++11)
(C++17)
(C++17)
(C++17)
(C++11)
(C++17)
(C++23)
初等字符串转换
(C++17)
(C++17)
 
函数对象
函数包装
(C++11)
(C++11)
部分函数应用
(C++11)
(C++20)(C++23)
函数调用
(C++17)(C++23)
恒等函数对象
(C++20)
引用包装
(C++11)(C++11)
通透运算符包装
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
(C++14)
取反器
(C++17)
搜索器
旧绑定器与适配器
(C++17 前)
(C++17 前)
(C++17 前)
(C++17 前)
(C++17 前)(C++17 前)(C++17 前)(C++17 前)
(C++20 前)
(C++20 前)
(C++17 前)(C++17 前)
(C++17 前)(C++17 前)

(C++17 前)
(C++17 前)(C++17 前)(C++17 前)(C++17 前)
(C++20 前)
(C++20 前)
 
 
function& operator=( const function& other );
(1) (C++11 起)
function& operator=( function&& other );
(2) (C++11 起)
function& operator=( std::nullptr_t ) noexcept;
(3) (C++11 起)
template< class F >
function& operator=( F&& f );
(4) (C++11 起)
template< class F >
function& operator=( std::reference_wrapper<F> f ) noexcept;
(5) (C++11 起)

赋值新目标std::function

1) 赋值 other目标副本,如同以执行 function(other).swap(*this);
2) 移动 other目标*thisother 在有未指定值的合法状态。
3) 舍弃当前目标*this 在调用后为
4) 设置 *this目标为可调用的 f ,如同以执行 function(std::forward<F>(f)).swap(*this); 。此运算符不参与重载决议,除非 f 对于参数类型 Args... 和返回类型 R 可调用 (Callable)
5) 设置 *this目标f 的副本,如同以执行 function(f).swap(*this);

参数

other - 要复制其目标的另一 std::function 对象
f - 用以初始化目标的可调用对象
类型要求
-
F 必须符合可调用 (Callable) 的要求。

返回值

*this

注解

虽然 C++17 中从 std::function 移除了以前的分配器支持,这些赋值运算符使用默认分配器,而不是 *thisother 的分配器(见 LWG 问题 2386 )。

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告 应用于 出版时的行为 正确行为
LWG 2132 C++11 接收一个可调用 (Callable) 对象的重载可能有歧义 已约束
LWG 2401 C++11 未要求源自 std::nullptr_t 的构造函数为 noexcept 已要求

参阅

(C++23)
替换或销毁目标
(std::move_only_function 的公开成员函数)
(C++17 中移除)
为内容赋值一个新的目标
(公开成员函数)