std::optional<T>::operator=

< cpp‎ | utility‎ | optional
 
C++
 
工具库
通用工具
日期和时间
函数对象
格式化库 (C++20)
(C++11)
(C++14)
关系运算符 (C++20 中弃用)
整数比较函数
(C++20)(C++20)(C++20)(C++20)(C++20)(C++20)
(C++20)
swap 与类型运算
(C++20)
(C++14)
(C++11)
(C++11)
(C++11)
(C++11)
(C++17)
常用词汇类型
(C++11)
(C++17)
(C++17)
(C++17)
(C++17)
(C++17)

初等字符串转换
(C++17)
(C++17)
(C++17)
 
std::optional
 
optional& operator=( std::nullopt_t ) noexcept;
 (1) (C++17 起)
constexpr optional& operator=( const optional& other );
 (2) (C++17 起)
constexpr optional& operator=( optional&& other ) noexcept(/* see below */);
 (3) (C++17 起)
template< class U = T >
optional& operator=( U&& value );
 (4) (C++17 起)
template< class U >
optional& operator=( const optional<U>& other );
 (5) (C++17 起)
template< class U >
optional& operator=( optional<U>&& other );
 (6) (C++17 起)

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

1) 若 *this 在调用前含值，则通过调用其析构函数销毁所含值，如同用 value().T::~T() 。此调用后 *this 不含值。
2-3) 赋值 other 的状态。
4) 完美转发赋值：取决于 *this 在调用前是否含值，从 std::forward<U>(value) 直接初始化，或从 std::forward<U>(value) 赋值被含有值。该函数不参与重载决议，除非 std::decay_t<U> (C++20 前)std::remove_cvref_t<U> (C++20 起) 不是 std::optional<T> ， std::is_constructible_v<T, U> 为 true ， std::is_assignable_v<T&, U> 为 true ，且至少下列一项为真：
5-6) 赋值 other 的状态。

参数

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

返回值

*this

异常

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

注意

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 即使底层操作平凡，复制/移动赋值运算符亦可能不平凡 要求传播平凡性

参阅

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