This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of NAD Editorial status.
Section: 21.3.5.4 [meta.unary.prop] Status: NAD Editorial Submitter: David Abrahams Opened: 2009-10-16 Last modified: 2016-01-28
Priority: Not Prioritized
View other active issues in [meta.unary.prop].
View all other issues in [meta.unary.prop].
View all issues with NAD Editorial status.
Discussion:
Table 43 defines a number of traits that yield true for arrays of class
types with the trait's property, but not arrays of other types with that
property. For example, has_trivial_default_constructor:
Tis a trivial type (3.9) or a class type with a trivial default constructor (12.1) or an array of such a class type.
[ 2009-10 post-Santa Cruz: ]
An array of a trivial type is a trivial type.
Mark as Tentatively NAD Editorial. The wording is OK as is, since an array of a trivial type is a trivial type, but the wording as proposed might be clearer.
Rationale:
The wording is OK as is, since an array of a trivial type is a trivial type. Project editor may wish to accept the suggested wording as editorial.
Proposed resolution:
Change all the traits in question following this pattern:
Tis a trivial type (3.9) or a class type with a trivial default constructor (12.1), or an array of such aclasstype.
i.e., add a comma and delete a "class."