Title
aligned_union should require complete object types
Status
c++20
Section
[meta.trans.other]
Submitter
Tim Song

Created on 2017-06-14.00:00:00 last changed 38 months ago

Messages

Date: 2017-07-12.01:30:31

Proposed resolution:

This wording is relative to N4659.

  1. In [meta.trans.other], edit Table 50 "Other transformations" as indicated:

    Table 50 — Other transformations
    Template Comments
    […]
    template <size_t Len, class... Types>
    struct aligned_union;
    The member typedef type shall be a POD type suitable for use as uninitialized storage for any object whose type is listed in Types; its size shall be at least Len. The static member alignment_value shall be an integral constant of type size_t whose value is the strictest alignment of all types listed in Types.
    Requires: At least one type is provided. Each type in the parameter pack Types shall be a complete object type.
    […]
Date: 2017-07-12.01:30:31

[ 2017-07 Toronto Monday issue prioritization ]

Priority 0; move to Ready

Date: 2017-06-14.00:00:00

aligned_union's description doesn't, but should, require the types provided to be complete object types.

History
Date User Action Args
2021-02-25 10:48:01adminsetstatus: wp -> c++20
2017-11-13 19:01:36adminsetstatus: voting -> wp
2017-10-17 18:34:55adminsetstatus: ready -> voting
2017-07-12 01:30:31adminsetmessages: + msg9345
2017-07-12 01:30:31adminsetstatus: new -> ready
2017-06-14 20:34:07adminsetmessages: + msg9265
2017-06-14 00:00:00admincreate