std::variant<Types...>::operator=

 

C++

言語

標準ライブラリヘッダ

フリースタンディング処理系とホスト処理系

名前付き要件

言語サポートライブラリ

コンセプトライブラリ (C++20)

診断ライブラリ

ユーティリティライブラリ

文字列ライブラリ

コンテナライブラリ

イテレータライブラリ

範囲ライブラリ (C++20)

アルゴリズムライブラリ

数値演算ライブラリ

ローカライゼーションライブラリ

入出力ライブラリ

ファイルシステムライブラリ (C++17)

正規表現ライブラリ (C++11)

アトミック操作ライブラリ (C++11)

スレッドサポートライブラリ (C++11)

技術仕様書

 

ユーティリティライブラリ

言語サポート 型サポート (基本型、RTTI、型特性) ライブラリの機能テストマクロ (C++20) 動的メモリ管理 プログラムユーティリティ エラー処理 コルーチンサポート (C++20) 可変長引数関数 launder (C++17) initializer_list (C++11) source_location (C++20) 三方比較 (C++20) 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_neqis_ltis_lteqis_gtis_gteq (C++20)(C++20)(C++20)(C++20)(C++20)(C++20)

汎用ユーティリティ 日付と時間 関数オブジェクト 書式化ライブラリ (C++20) bitset hash (C++11) integer_sequence (C++14) 関係演算子 (C++20で非推奨) rel_ops::operator!=rel_ops::operator>rel_ops::operator<=rel_ops::operator>= 整数比較関数 cmp_equalcmp_not_equalcmp_lesscmp_greatercmp_less_thancmp_greater_than (C++20)(C++20)(C++20)(C++20)(C++20)(C++20) in_range (C++20) スワップと型操作 swap ranges::swap (C++20) exchange (C++14) declval (C++11) forward (C++11) move (C++11) move_if_noexcept (C++11) as_const (C++17) 一般的な語彙の型 pair tuple (C++11) apply (C++17) make_from_tuple (C++17) optional (C++17) any (C++17) variant (C++17) 初等文字列変換 to_chars (C++17) from_chars (C++17) chars_format (C++17)

 

std::variant

メンバ関数

variant::variant

variant::~variant

variant::operator=

観察

variant::index

variant::valueless_by_exception

変更

variant::emplace

variant::swap

非メンバ関数

visit

holds_alternative

get

get_if

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

swap

ヘルパークラス

monostate

bad_variant_access

variant_size

variant_alternative

hash

ヘルパーオブジェクト

variant_npos

 

<tbody> </tbody>

constexpr variant& operator=( const variant& rhs );	(1)	(C++17以上)
constexpr variant& operator=( variant&& rhs ) noexcept(/* see below */);	(2)	(C++17以上)
template< class T > variant& operator=( T&& t ) noexcept(/* see below */);	(3)	(C++17以上)

新しい値を既存の variant オブジェクトに代入します。

1) コピー代入。

• *this と rhs がどちらも valueless by exception であれば、何もしません。
• そうでなく、 rhs が valueless だけれども *this がそうでなければ、 *this に格納されている値は破棄され、 valueless になります。
• そうでなく、 rhs が *this と同じ選択肢を保持していれば、 rhs に格納されている値が *this に格納されている値に代入されます。 例外が投げられた場合、 *this は valueless になりません。 値はその選択肢のコピー代入の例外安全性保証によります。
• そうでなく、 rhs の保持している選択肢が無例外コピー構築可能であるか無例外ムーブ構築可能で「ない」かのいずれかであれば (それぞれ std::is_nothrow_copy_constructible および std::is_nothrow_move_constructible によって判定されます)、 this->emplace<rhs.index()>(get<rhs.index()>(rhs)) と同等です。
• そうでなければ、 this->operator=(variant(rhs)) と同等です。 (2) で説明しているように、 *this は valueless_by_exception になるかもしれないことに注意してください。

このオーバーロードは、 Types... 内のすべての T_i について std::is_copy_constructible_v<T_i> と std::is_copy_assignable_v<T_i> がどちらも true でなければ、削除されたものとして定義されます。 このオーバーロードは、 Types... 内のすべての T_i について std::is_trivially_copy_constructible_v<T_i>、 std::is_trivially_copy_assignable_v<T_i> および std::is_trivially_destructible_v<T_i> がすべて true であれば、トリビアルです。

2) ムーブ代入。

• *this と rhs がどちらも valueless by exception であれば、何もしません。
• そうでなく、 rhs が valueless だけれども *this がそうでなければ、 *this に格納されている値は破棄され、 valueless になります。
• そうでなく、 rhs が *this と同じ選択肢を保持していれば、 std::get<j>(std::move(rhs)) が *this に格納されている値に代入されます。 ただし j は index() です。 例外が投げられた場合、 *this は valueless になりません。 値はその選択肢のムーブ代入の例外安全性保証によります。
• そうでなければ (rhs と *this が異なる選択肢を保持している場合)、 this->emplace<rhs.index()>(get<rhs.index()>(std::move(rhs))) と同等です。 T_i のムーブコンストラクタによって例外が投げられた場合、 *this は valueless_by_exception になります。

このオーバーロードは、Types... 内のすべての T_i について std::is_move_constructible_v<T_i> と std::is_move_assignable_v<T_i> がどちらも true である場合にのみ、オーバーロード解決に参加します。 このオーバーロードは、 Types... 内のすべての T_i について std::is_trivially_move_constructible_v<T_i>、 std::is_trivially_move_assignable_v<T_i> および std::is_trivially_destructible_v<T_i> がすべて true であれば、トリビアルです。

3) 変換代入。

• そのときのスコープにおいて Types... のすべての T_i に対して架空の関数 F(T_i) のオーバーロードが存在した場合に式 F(std::forward<T>(t)) に対するオーバーロード解決によって選択されるであろう選択肢の型 T_j を決定します。
• *this がすでに T_j を保持していれば、 std::forward<T>(t) が *this に格納されている値に代入されます。 例外が投げられた場合、 *this は valueless になりません。 値は呼ばれた代入の例外安全性保証によります。
• そうでなく、 std::is_nothrow_constructible_v<T_j, T> || !std::is_nothrow_move_constructible_v<T_j> が true であれば、 this->emplace<j>(std::forward<T>(t)) と同等です。
• そうでなければ、 this->operator=(variant(std::forward<T>(t))) と同等です。

このオーバーロードは、std::decay_t<T> (C++20未満)std::remove_cvref_t<T> (C++20以上) が variant と同じ型でなく、 std::is_assignable_v<T_j&, T> が true であり、 std::is_constructible_v<T_j, T> が true であり、式 F(std::forward<T>(t)) (ただし F は前述の架空の関数のオーバーロード集合です) が well-formed である場合にのみ、オーバーロード解決に参加します。

std::variant<string> v1;
v1 = "abc"; // OK
std::variant<std::string, std::string> v2;
v2 = "abc"; // エラー
std::variant <std::string, bool> v3;
v3 = "abc"; // OK、 string が選択されます。 bool は候補ではありません。
std::variant<float, long, double> v4; // float 保持します。
v4 = 0; // OK、 long を保持します。 float および double は候補ではありません。

引数

rhs	-	別の variant
t	-	variant の選択肢のいずれかに変換可能な値

戻り値

*this。

例外

1) あらゆる選択肢の代入、コピーおよびムーブ初期化によって投げられるあらゆる例外が投げられる可能性があります。

2)

noexcept 指定:  

noexcept(((std::is_nothrow_move_constructible_v<Types> && std::is_nothrow_move_assignable_v<Types>) && ...))

3)

noexcept 指定:  

noexcept(std::is_nothrow_assignable_v<T_j&, T> && std::is_nothrow_constructible_v<T_j, T>)

欠陥報告

以下の動作変更欠陥報告は以前に発行された C++ 標準に遡って適用されました。

DR	適用先	発行時の動作	正しい動作
LWG 3024	C++17	copy assignment operator doesn't participate in overload resolution if any member type is not copyable	defined as deleted instead
P0602R4	C++17	copy/move assignment may not be trivial even if underlying operations are trivial	required to propagate triviality
P0608R3	C++17	converting assignment blindly assembles an overload set, leading to unintended conversions	narrowing and boolean conversions not considered

関連項目

emplace

variant 内の値をその場で構築します (パブリックメンバ関数)