Movatterモバイル変換

[Moved to DR at the February, 2014 meeting.]

Proposed resolution (January, 2014):

Change 6.9 [basic.types] paragraph 10 as follows:

...ScalarCv-unqualified scalar types,trivially copyable class types (Clause 11 [class]), arrays of such types, andnon-volatile const-qualified versions of these types(6.9.5 [basic.type.qualifier]) are collectively calledtrivially copyable types...

According to 6.9 [basic.types] paragraph 9,

Arithmetic types (6.9.2 [basic.fundamental]), enumeration types, pointertypes, pointer to member types (6.9.4 [basic.compound]),std::nullptr_t, and cv-qualified versions of these types(6.9.5 [basic.type.qualifier]) are collectively calledscalar types...Scalar types, trivially copyable class types (Clause 11 [class]), arrays of such types, and non-volatileconst-qualified versions of these types (6.9.5 [basic.type.qualifier]) arecollectively calledtrivially copyable types.

This is confusing, because “scalar types” includevolatile-qualified types, but the intent of the definition of“trivially copyable type” appears to be to excludevolatile-qualified types. Perhaps the second quoted sentence shouldread something like,

A non-volatile typeT or an array of suchT is called atrivially copyable type ifT is either a scalar type or atrivially copyable class type.

(Note that the following sentence, defining “trivial type,”has a similar formal issue, although it has no actual significance becauseall cv-qualifiers are permitted.)