Issue 2971 - WG21 LWG Issues
Title
variant should require Destructible types
Status
nad
Section
[variant.variant]
Submitter
Agustín K-ballo Bergé

Created on 2017-05-31.00:00:00 last changed 89 months ago

Messages

msg9340 (view)
Date: 2017-07-12.01:30:31

Proposed resolution:

This wording is relative to N4659.

  1. Edit [variant.variant] as indicated:

    -2- All types in Types... shall be (possibly cv-qualified) object types that are not arrays, and shall satisfy the requirements of Destructible (Table 27).

msg9339 (view)
Date: 2017-07-12.01:30:31

[ 2017-07 Toronto Monday issue prioritization ]

NAD; [res.on.functions]/2 already gives us this guarantee.
msg9338 (view)
Date: 2017-05-31.00:00:00

The state of a variant is not specified if an exception is thrown during the destruction of the active alternative. Exceptions should not be allowed to escape during destruction of an object used as a variant alternative. Otherwise, it should be specified that the variant object might not hold a value.

History
Date User Action Args
2017-07-12 01:30:31adminsetmessages: + msg9340
2017-07-12 01:30:31adminsetmessages: + msg9339
2017-05-31 00:00:00admincreate