std::optional<T>::operator=

	(1)
optional& operator=( std::nullopt_t ) noexcept;			(C++17 起) (C++20 前)
constexpr optional& operator=( std::nullopt_t ) noexcept;			(C++20 起)
constexpr optional& operator=( const optional& other );		(2)	(C++17 起)
constexpr optional& operator=( optional&& other ) noexcept(/* see below */);		(3)	(C++17 起)
		(4)
template< class U = T > optional& operator=( U&& value );				(C++17 起) (C++20 前)
template< class U = T > constexpr optional& operator=( U&& value );				(C++20 起)
			(5)
template< class U > optional& operator=( const optional<U>& other );					(C++17 起) (C++20 前)
template< class U > constexpr optional& operator=( const optional<U>& other );					(C++20 起)
				(6)
template< class U > optional& operator=( optional<U>&& other );						(C++17 起) (C++20 前)
template< class U > constexpr optional& operator=( optional<U>&& other );						(C++20 起)

以 other 的内容替换 *this 的内容。

1) 若 *this 在调用前含值，则通过调用其析构函数销毁所含值，如同用 value().T::~T() 。此调用后 *this 不含值。

2-3) 赋值 other 的状态。

若 *this 与 other 均不含值，则函数无效果。
若 *this 含值，但 other 不含值，则通过调用其析构函数销毁被含有值。 *this 在此调用后不含值。
若 other 含值，则取决于 *this 是否含值，以 *other(2) 或 std::move(*other)(3) 直接初始化直接初始化或赋值被含有值。注意被移动的 optional 仍然含值。
重载 (2) 定义为被删除，除非 std::is_copy_constructible_v<T> 与 std::is_copy_assignable_v<T> 皆为 true 。若 std::is_trivially_copy_constructible_v<T> 、 std::is_trivially_copy_assignable_v<T> 及 std::is_trivially_destructible_v<T> 皆为 true 则它为平凡。
重载 (3) 不参与重载决议，除非 std::is_move_constructible_v<T> 与 std::is_move_assignable_v<T> 皆为 true 。若 std::is_trivially_move_constructible_v<T> 、 std::is_trivially_move_assignable_v<T> 及 std::is_trivially_destructible_v<T> 皆为 true 则它为平凡。

4) 完美转发赋值：取决于 *this 在调用前是否含值，从 std::forward(value) 直接初始化，或从 std::forward(value) 赋值被含有值。该函数不参与重载决议，除非 std::decay_t (C++20 前)std::remove_cvref_t (C++20 起) 不是 std::optional<T> ， std::is_constructible_v<T, U> 为 true ， std::is_assignable_v<T&, U> 为 true ，且至少下列一项为真：

T 不是标量类型；
std::decay_t 不是 T 。

5-6) 赋值 other 的状态。

若 *this 与 other 皆不含值，则函数无效果。
若 *this 容纳值，但 other 不含值，则通过调用其析构函数销毁被含有值。 *this 在此调用后不含值。
若 other 含值，则取决于 *this 是否含值，以 *other(5) 或 std::move(*other)(6) 直接初始化或赋值被含有值。注意被移动的 optional 仍然含值。
这些重载不参与重载决议，除非满足下列条件：
- T 不可从任何 std::optional 类型（可以为 const ）的表达式构造、转换、或赋值，即下列 12 个类型特性全为 false ：
 - std::is_constructible_v<T, std::optional&>
 - std::is_constructible_v<T, const std::optional&>
 - std::is_constructible_v<T, std::optional&&>
 - std::is_constructible_v<T, const std::optional&&>
 - std::is_convertible_v<std::optional&, T>
 - std::is_convertible_v<const std::optional&, T>
 - std::is_convertible_v<std::optional&&, T>
 - std::is_convertible_v<const std::optional&&, T>
 - std::is_assignable_v<T&, std::optional&>
 - std::is_assignable_v<T&, const std::optional&>
 - std::is_assignable_v<T&, std::optional&&>
 - std::is_assignable_v<T&, const std::optional&&>.
- 对于重载 (5) ， std::is_constructible_v<T, const U&> 与 std::is_assignable_v<T&, const U&> 皆为 true 。
- 对于重载 (6) ， std::is_constructible_v<T, U> 与 std::is_assignable_v<T&, U> 皆为 true 。

参数

other	-	要赋值给被含有值的 `optional` 对象
value	-	要赋值给被含有值的值

返回值

*this

异常

2-6) 抛出任何 T 的赋值运算符所抛的异常。若抛出异常，则 *this （还有情况 (2-3) 和 (5-6) 的 other ）的初始化状态不改变，即若对象含值，则它仍然含值，反之亦然。 value 和 *this 及 other 所含有的值的内容依赖于异常来源操作（复制构造函数、移动构造函数等）的异常安全保证。

(3) 拥有下列

noexcept 说明：

noexcept(std::is_nothrow_move_assignable_v<T> && std::is_nothrow_move_constructible_v<T>)

注解

optional 对象 op 可以通过 op = {}; 和 op = nullopt; 变成空 optional 。第一个表达式以 {} 构造空的 optional 对象并将它赋值给 op 。

示例

运行此代码

#include <optional>
#include <iostream>
int main()
{
    std::optional<const char*> s1 = "abc", s2; // 构造函数
    s2 = s1; // 赋值
    s1 = "def"; // 衰变赋值（ U = char[4], T = const char* ）
    std::cout << *s2 << ' ' << *s1 << '\n';
}

输出：

abc def

缺陷报告

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

DR	应用于	出版时的行为	正确行为
P0602R4	C++17	即使底层操作平凡，复制/移动赋值运算符亦可能不平凡	要求传播平凡性
P2231R1	C++20	转换赋值运算符不是 constexpr 而要求的操作在 C++20 中能是	使之为 constexpr

参阅

emplace

原位构造所含值
(公开成员函数)

语言
标准库头文件
自立与有宿主实现
具名要求
语言支持库
概念库 (C++20)
诊断库
工具库
字符串库
容器库
迭代器库
范围库 (C++20)
算法库
数值库
本地化库
输入/输出库
文件系统库 (C++17)
正则表达式库 (C++11)
原子操作库 (C++11)
线程支持库 (C++11)
技术规范

成员函数
optional::optional (C++17)
optional::~optional (C++17)
optional::operator= (C++17)
观察器
optional::operator->optional::operator* (C++17)(C++17)
optional::operator booloptional::has_value (C++17)(C++17)
optional::value (C++17)
optional::value_or (C++17)
单子操作
optional::and_then (C++23)
optional::transform (C++23)
optional::or_else (C++23)
修改器
optional::emplace (C++17)
optional::swap (C++17)
optional::reset (C++17)
非成员函数
operator==operator!=operator<operator<=operator>operator>=operator<=> (C++17)(C++17)(C++17)(C++17)(C++17)(C++17)(C++20)
make_optional (C++17)
swap (C++17)
推导指引
辅助类
hash (C++17)
nullopt_t (C++17)
in_place_t (C++17)
bad_optional_access (C++17)
辅助对象
nullopt (C++17)
in_place (C++17)

std::optional<T>::operator=

参数

返回值

异常

注解

示例

缺陷报告

参阅

导航