名前空間
変種
操作

std::optional<T>::operator=

From cppreference.com
< cpp‎ | utility‎ | optional
 
C++
コンパイラサポート
フリースタンディングとホスト
言語
標準ライブラリ
標準ライブラリヘッダー
名前付き要件
機能テストマクロ (C++20)
言語サポートライブラリ
コンセプトライブラリ (C++20)
診断ライブラリ
メモリ管理ライブラリ
メタプログラミングライブラリ (C++11)
汎用ユーティリティライブラリ
コンテナライブラリ
イテレータライブラリ
Rangesライブラリ (C++20)
アルゴリズムライブラリ
文字列ライブラリ
テキスト処理ライブラリ
数値ライブラリ
日付と時刻ライブラリ
入出力ライブラリ
ファイルシステムライブラリ (C++17)
並行サポートライブラリ (C++11)
実行制御ライブラリ (C++26)
Technical specifications (技術仕様)
シンボルインデックス
外部ライブラリ
 
ユーティリティライブラリ
言語サポート
型のサポート (基本型、RTTI)
ライブラリ機能検査マクロ (C++20)
プログラムユーティリティ
可変引数関数
(C++11)
(C++20)
(C++26)
(C++20)
コルーチンサポート (C++20)
契約サポート (C++26)
三方比較
(C++20)(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)
(C++20)  
(C++20)(C++20)(C++20)  
(C++20)(C++20)(C++20)

汎用ユーティリティ
関係演算子 (C++20で非推奨)
 
std::optional
 
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(/* 以下参照 */);
 (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)

内容は *this を other の内容で置き換えます。

1) *this が値を保持している場合、保持している値を破棄するために val ->T::~T() を呼び出します。そうでなければ、効果はありません。*this はこの呼び出し後、値を保持しなくなります。
2-5) other の状態を代入します。other.has_value() はこの呼び出し後、*this.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) これらのオーバーロードは、以下のすべての条件が満たされた場合にのみ、オーバーロード解決に参加します。
6) *this が値を保持している場合、保持している値に std::forward<U>(value) を代入します。そうでなければ、std::forward<U>(value) を使用して、保持している値を直接（非リスト）初期化します。*this はこの呼び出し後、値を保持するようになります。
このオーバーロードは、以下のすべての条件が満たされた場合にのみオーバーロード解決に参加します。
  1. ↑ 言い換えると、T は（const修飾されている可能性のある）std::optional<U> 型のいかなる式からも構築、変換、または代入可能ではない。

目次

[編集] パラメータ

その他 - 代入する値を持つ別のoptionalオブジェクト。
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>)

[編集] 注記

optionalオブジェクト op は、op = {}; および op = nullopt; の両方で空の optional にすることができます。最初の式は、空の 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++標準に遡って適用されました。

DR 適用対象 公開された動作 正しい動作
LWG 3886 C++17 オーバーロード (6) のデフォルトテンプレート引数が T でした。 std::remove_cv_t<T>に変更されました。
P0602R4 C++17 コピー/ムーブ代入演算子は自明ではない場合があります。
基になる操作が自明であっても。		 自明性の伝播が必要です。
P2231R1 C++20 オーバーロード (1,4-6) は constexpr ではありませんでした。 constexprではありませんでした。

[編集] 関連項目

 保持する値を直接構築する
(public member function) [編集]
"https://ja.cppreference.dev/mwiki/index.php?title=cpp/utility/optional/operator%3D&oldid=180653" から取得
English 日本語 中文(简体) 中文(繁體)