std::variant<Types...>::operator= - cppreference.com (original) (raw)

Assigns a new value to an existing variant object.

1. Copy-assignment:

• If both *this and rhs are valueless by exception, does nothing.
• Otherwise, if rhs is valueless, but *this is not, destroys the value contained in *this and makes it valueless.
• Otherwise, if rhs holds the same alternative as *this, assigns the value contained in rhs to the value contained in *this. If an exception is thrown, *this does not become valueless: the value depends on the exception safety guarantee of the alternative's copy assignment.
• Otherwise, if the alternative held by rhs is either nothrow copy constructible or not nothrow move constructible (as determined by std::is_nothrow_copy_constructible and std::is_nothrow_move_constructible, respectively), equivalent to this->emplace<rhs.index()>(*std::get_if<rhs.index()>(std::addressof(rhs))). *this may become valueless_by_exception if an exception is thrown on the copy-construction inside emplace.
• Otherwise, equivalent to this->operator=(variant(rhs)).

1. Move-assignment:

• If both *this and rhs are valueless by exception, does nothing.
• Otherwise, if rhs is valueless, but *this is not, destroys the value contained in *this and makes it valueless.
• Otherwise, if rhs holds the same alternative as *this, assigns std::move(*std::get_if<j>(std::addressof(rhs))) to the value contained in *this, with j being index(). If an exception is thrown, *this does not become valueless: the value depends on the exception safety guarantee of the alternative's move assignment.
• Otherwise (if rhs and *this hold different alternatives), equivalent to this->emplace<rhs.index()>(std::move(*std::get_if<rhs.index()>(std::addressof(rhs)))). If an exception is thrown by T_i's move constructor, *this becomes valueless_by_exception.

1. Converting assignment.

• Determines the alternative type T_j that would be selected by overload resolution for the expression F(std::forward<T>(t)) if there was an overload of imaginary function F(T_i) for every T_i from Types... in scope at the same time, except that:

• An overload F(T_i) is only considered if the declaration T_i x[] = { std::forward<T>(t) }; is valid for some invented variable x;

• If *this already holds a T_j, assigns std::forward<T>(t) to the value contained in *this. If an exception is thrown, *this does not become valueless: the value depends on the exception safety guarantee of the assignment called.

• Otherwise, if std::is_nothrow_constructible_v<T_j, T> || <T_j> is true, equivalent to this->emplace<j>(std::forward<T>(t)). *this may become valueless_by_exception if an exception is thrown on the initialization inside emplace.

• Otherwise, equivalent to this->emplace<j>(T_j(std::forward<T>(t))).

This overload participates in overload resolution only if std::decay_t<T>(until C++20)std::remove_cvref_t<T>(since C++20) is not the same type as variant and std::is_assignable_v<T_j&, T> is true and std::is_constructible_v<T_j, T> is true and the expression F(std::forward<T>(t)) (with F being the above-mentioned set of imaginary functions) is well formed.

Contents

• 1 Parameters
• 2 Return value
• 3 Exceptions
• 4 Notes
• 5 Example
• 6 Defect reports
• 7 See also

[edit] Parameters

[edit] Return value

*this

[edit] Exceptions

1. May throw any exception thrown by assignment and copy/move initialization of any alternative.

[edit] Notes

[edit] Example

Possible output:

a: { 2017 }; b: { "CppCon" };   (1) operator=( const variant& rhs ) a: { "CppCon" }; b: { "CppCon" };   (2) operator=( variant&& rhs ) a: { "CppCon" }; b: { "" };   (3) operator=( T&& t ), where T is int a: { 2019 };   (3) operator=( T&& t ), where T is std::string s: "CppNow" a: { "CppNow" }; s: ""

[edit] Defect reports

The following behavior-changing defect reports were applied retroactively to previously published C++ standards.

[edit] See also

| | constructs a value in the variant, in place (public member function) [edit] | | -------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------- |