std::optional<T>::operator=

 

C++

編譯器支援

自由（freestanding）與宿主（hosted）

語言

標準庫

標準庫標頭檔案

具名要求

特性測試宏 (C++20)

語言支援庫

概念庫 (C++20)

診斷庫

記憶體管理庫

超程式設計庫 (C++11)

通用工具庫

容器庫

迭代器庫

範圍庫 (C++20)

演算法庫

字串庫

文字處理庫

數值庫

日期和時間庫

輸入/輸出庫

檔案系統庫 (C++17)

併發支援庫 (C++11)

執行控制庫 (C++26)

技術規範

符號索引

外部庫

 

工具庫

語言支援 型別支援（基本型別、RTTI） 庫特性測試宏 (C++20) 程式工具 變參函式 initializer_list (C++11) is_constant_evaluated (C++20) is_within_lifetime (C++26) source_location (C++20) 協程支援 (C++20) 契約支援 (C++26) 三路比較 three_way_comparablethree_way_comparable_with (C++20)(C++20) strong_ordering (C++20) weak_ordering (C++20) partial_ordering (C++20) common_comparison_category (C++20) compare_three_way_result (C++20) compare_three_way (C++20) strong_order (C++20) weak_order (C++20) partial_order (C++20) compare_strong_order_fallback (C++20) compare_weak_order_fallback (C++20) compare_partial_order_fallback (C++20)   is_eqis_ltis_lteq (C++20)(C++20)(C++20)   is_neqis_gtis_gteq (C++20)(C++20)(C++20)

通用工具 函式物件 位操作 (C++20) bitset hash (C++11) 關係運算符 (C++20 中棄用) rel_ops::operator!=rel_ops::operator>    rel_ops::operator<=rel_ops::operator>= 整數比較函式 cmp_equalcmp_lesscmp_less_than (C++20)(C++20)(C++20)   cmp_not_equalcmp_greatercmp_greater_than (C++20)(C++20)(C++20) in_range (C++20) 交換與型別操作 swap ranges::swap (C++20) exchange (C++14) declval (C++11) to_underlying (C++23) forward (C++11) forward_like (C++23) move (C++11) move_if_noexcept (C++11) as_const (C++17) 常用詞彙型別 pair tuple (C++11) optional (C++17) any (C++17) variant (C++17) tuple_size (C++11) tuple_element (C++11) apply (C++17) make_from_tuple (C++17) expected (C++23)

 

std::optional

成員函式

optional::optional

optional::~optional

optional::operator=

觀察器

optional::operator->optional::operator*

optional::operator booloptional::has_value

optional::value

optional::value_or

迭代器

optional::begin (C++26)

optional::end (C++26)

Monadic operations

optional::and_then (C++23)

optional::transform (C++23)

optional::or_else (C++23)

修改器

optional::emplace

optional::swap

optional::reset

非成員函式

operator==operator!=operator<operator<=operator>operator>=operator<=> (C++20)

make_optional

swap(std::optional)

推導指引

輔助類

hash<std::optional>

nullopt_t

in_place_t

bad_optional_access

輔助物件

nullopt

in_place

 

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

將 other 的內容替換到 *this 中。

1) 如果 *this 包含值，則呼叫 val ->T::~T() 銷燬包含的值；否則無效果。*this 在此呼叫後不包含值。

2-5) 賦值 other 的狀態。has_value() 在此呼叫後返回 other.has_value()。

效果	*this 包含值	*this 不包含值
other 包含值	對於過載 (2,4)，將 *other 賦值給包含的值 對於過載 (3,5)，將 std::move(*other) 賦值給包含的值	對於過載 (2,4)，用 *other 直接非列表初始化包含的值 對於過載 (3,5)，用 std::move(*other) 直接非列表初始化包含的值
other 不包含值	透過呼叫 val ->T::~T() 銷燬包含的值	無效果

2) 如果 std::is_copy_constructible_v<T> 或 std::is_copy_assignable_v<T> 為 false，則賦值運算子被定義為已刪除。

如果 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,5) 這些過載僅在以下所有條件都滿足時參與過載決議：

• 以下 12 個值都為 false
  • std::is_constructible_v<T, std::optional<U>&>
  • std::is_constructible_v<T, const std::optional<U>&>
  • std::is_constructible_v<T, std::optional<U>&&>
  • std::is_constructible_v<T, const std::optional<U>&&>
  • std::is_convertible_v<std::optional<U>&, T>
  • std::is_convertible_v<const std::optional<U>&, T>
  • std::is_convertible_v<std::optional<U>&&, T>
  • std::is_convertible_v<const std::optional<U>&&, T>
  • std::is_assignable_v<T&, std::optional<U>&>
  • std::is_assignable_v<T&, const std::optional<U>&>
  • std::is_assignable_v<T&, std::optional<U>&&>
  • std::is_assignable_v<T&, const std::optional<U>&&>
• 對於過載 (4)，std::is_constructible_v<T, const U&> 和 std::is_assignable_v<T&, const U&> 都為 true。
• 對於過載 (5)，std::is_constructible_v<T, U> 和 std::is_assignable_v<T&, U> 都為 true。

6) 如果 *this 包含值，則將 std::forward<U>(value) 賦值給包含的值；否則用 std::forward<U>(value) 直接非列表初始化包含的值。*this 在此呼叫後包含值。

僅當滿足以下所有條件時，此過載才參與過載決議

• 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。
• 滿足以下任何條件：
  • T 不是標量型別。
  • std::decay_t<U> 不是 T。

引數

其他	-	other
value	-	要賦值給包含值的值

返回值

*this

異常

2-6) 丟擲由 T 的建構函式或賦值運算子丟擲的任何異常。如果丟擲異常，*this（以及在 (2-5) 情況下的 other）的初始化狀態保持不變，即如果物件包含值，則它仍然包含值，反之亦然。value 的內容以及 *this 和 other 的包含值取決於異常來源操作（複製建構函式、移動賦值等）的異常安全保證。

3) 具有以下特性：

noexcept 規範：  

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

注意

可選物件 op 可以透過 op = {}; 和 op = nullopt; 變成空可選。第一個表示式用 {} 構造一個空 optional 物件並將其賦值給 op。

特性測試宏	值	標準	特性
__cpp_lib_optional	202106L	(C++20) (DR20)	完全 constexpr (1), (4-6)

示例

執行此程式碼

#include <iostream>
#include <optional>
 
int main()
{
    std::optional<const char*> s1 = "abc", s2; // constructor
    s2 = s1; // assignment
    s1 = "def"; // decaying assignment (U = char[4], T = const char*)
    std::cout << *s2 << ' ' << *s1 << '\n';
}

輸出

abc def

缺陷報告

下列更改行為的缺陷報告追溯地應用於以前出版的 C++ 標準。

缺陷報告	應用於	釋出時的行為	正確的行為
LWG 3886	C++17	過載 (6) 的預設模板引數是 T	改為 std::remove_cv_t<T>
P0602R4	C++17	複製/移動賦值運算子可能不平凡 即使底層操作是平凡的	要求傳播平凡性
P2231R1	C++20	過載 (1,4-6) 不是 constexpr	設為 constexpr

參閱

emplace

就地構造包含的值 (public member function)