1239. Defect report

Section: 23.15.4.3 [meta.unary.prop] Status: NAD Editorial Submitter: David Abrahams Opened: 2009-10-16 Last modified: 2016-02-10

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:

T is 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:

T is a trivial type (3.9) or a class type with a trivial default constructor (12.1), or an array of such a class type.

i.e., add a comma and delete a "class."