Title
Cv-qualification of array types
Status
c++17
Section
6.8.5 [basic.type.qualifier]
Submitter
Robert Haberlach

Created on 2015-11-15.00:00:00 last changed 74 months ago

Messages

Date: 2017-01-15.00:00:00

Proposed resolution (January, 2017):

Change 6.8.5 [basic.type.qualifier] paragraph 2 as follows:

A compound type (6.8.4 [basic.compound]) is not cv-qualified by the cv-qualifiers (if any) of the types from which it is compounded. Any cv-qualifiers applied to an array type affect the array element type, not the array type (9.3.4.5 [dcl.array]).
Date: 2017-02-15.00:00:00

[Adopted at the February/March, 2017 meeting.]

Issue 1059 changed 6.8.5 [basic.type.qualifier] paragraph 6 to read,

An array type whose elements are cv-qualified is also considered to have the same cv-qualifications as its elements.

However, that change overlooked the earlier statement in paragraph 2,

A compound type (6.8.4 [basic.compound]) is not cv-qualified by the cv-qualifiers (if any) of the types from which it is compounded. Any cv-qualifiers applied to an array type affect the array element type, not the array type (9.3.4.5 [dcl.array]).
History
Date User Action Args
2018-02-27 00:00:00adminsetstatus: tentatively ready -> c++17
2017-02-06 00:00:00adminsetmessages: + msg5728
2015-11-15 00:00:00admincreate