Section: 220.127.116.11 [variant.ctor] Status: WP Submitter: Casey Carter Opened: 2017-10-10 Last modified: 2017-11-13
Priority: Not Prioritized
View other active issues in [variant.ctor].
View all other issues in [variant.ctor].
View all issues with WP status.
The specification of variant's copy constructor and copy assignment operator require that those functions do not participate in overload resolution unless certain conditions are satisfied. There is no mechanism in C++ that makes it possible to prevent a copy constructor or copy assignment operator from participating in overload resolution. These functions should instead be specified to be defined as deleted unless the requisite conditions hold, as we did for the copy constructor and copy assignment operator of optional in LWG 2756.
[ 2017-10-11 Moved to Tentatively Ready after 5 positive votes on c++std-lib. ]
This wording is relative to N4687.
Change 18.104.22.168 [variant.ctor] as indicated:
variant(const variant& w);
-6- Effects: If w holds a value, initializes the variant to hold the same alternative as w and direct-initializes the contained value with get<j>(w), where j is w.index(). Otherwise, initializes the variant to not hold a value.
-7- Throws: Any exception thrown by direct-initializing any Ti for all i.
-8- Remarks: This
function shall not participate in overload resolutionunless is_copy_constructible_v<Ti> is true for all i.
Change 22.214.171.124 [variant.assign] as indicated:
variant& operator=(const variant& rhs);
-4- Postconditions: index() == rhs.index().
-5- Remarks: This
function shall not participate in overload resolutionunless is_copy_constructible_v<Ti> && is_copy_assignable_v<Ti> is true for all i.