Created on 2016-12-18.00:00:00 last changed 44 months ago
Proposed resolution:
This wording is relative to N4713.
Edit [fs.enum.file_type]/1 as indicated:
This enum class specifies constants used to identify file types, with the meanings listed in Table 123. The values of the constants are distinct.
Edit [fs.enum.copy.opts]/1 as indicated:
The enum class type copy_options is a bitmask type ([bitmask.types]) that specifies bitmask constants used to control the semantics of copy operations. The constants are specified in option groups with the meanings listed in Table 124. The constant none represents the empty bitmask, and
Constant noneis shown in each option group for purposes of exposition; implementations shall provide only a single definition. Every other constant in the table represents a distinct bitmask element. Calling a library function with more than a single constant for an option group results in undefined behavior.
Edit [fs.enum.dir.opts]/1 as indicated:
The enum class type directory_options is a bitmask type ([bitmask.types]) that specifies bitmask constants used to identify directory traversal options, with the meanings listed in Table 127. The constant none represents the empty bitmask; every other constant in the table represents a distinct bitmask element.
[ 2018-3-17 Adopted in Jacksonville ]
[ 2018-1-26 issues processing telecon ]
Status to 'Tentatively Ready'
[ 2018-01-16, Jonathan comments ]
I no longer remember what I didn't like about Tim's P/R so I think we should accept the original P/R.
[ 2017-01-27 Telecon ]
Priority 2; Jonathan to work with Tim to tweak wording.
LWG 2678 stripped the numerical values of the enumerators from three enum classes in [fs.enum]; in doing so it also removed the implicit specification 1) of the bitmask elements for the two bitmask types (copy_options and directory_options) and 2) that the file_type constants are distinct.
History | |||
---|---|---|---|
Date | User | Action | Args |
2021-02-25 10:48:01 | admin | set | status: wp -> c++20 |
2018-03-18 16:03:30 | admin | set | messages: + msg9728 |
2018-03-18 16:03:30 | admin | set | status: voting -> wp |
2018-02-12 01:13:49 | admin | set | status: ready -> voting |
2018-01-28 19:43:07 | admin | set | messages: + msg9652 |
2018-01-28 19:43:07 | admin | set | status: new -> ready |
2018-01-20 15:51:03 | admin | set | messages: + msg9614 |
2017-01-30 15:36:02 | admin | set | messages: + msg8827 |
2017-01-23 20:24:44 | admin | set | messages: + msg8783 |
2016-12-18 00:00:00 | admin | create |