This page is a snapshot from the LWG issues list, see the Library Active Issues List for more information and the meaning of New status.
Section: 30.4.2.5.3 [locale.codecvt.virtuals] Status: New Submitter: Richard Smith Opened: 2019-11-15 Last modified: 2019-11-30
Priority: 3
View all other issues in [locale.codecvt.virtuals].
View all issues with New status.
Discussion:
In 30.4.2.5.3 [locale.codecvt.virtuals] paragraphs 6 and 11, we find:
Preconditions: (to <= to_end) is well-defined and true; state is initialized, if at the beginning of a sequence, or else is equal to the result of converting the preceding characters in the sequence."
This doesn't make sense. What is the value of state if we're at the beginning of a sequence? Is the fact that we say that it's initialized in that case supposed to imply that it need not be initialized otherwise?
Perhaps this means "value-initialized" or "default-initialized" instead of merely "initialized"?[2019-11-30 Issue Prioritization]
Priority to 3 after reflector discussion.
Proposed resolution: