P2314R4 Character sets and encodings

Author: jensmaurer

source/basic.tex

@@ -2947,9 +2947,10 @@
 \indextext{memory model|(}%
 The fundamental storage unit in the \Cpp{} memory model is the
 \defn{byte}.
-A byte is at least large enough to contain any member of the basic
-\indextext{character set!basic execution}%
-execution character set\iref{lex.charset}
+A byte is at least large enough to contain
+the ordinary literal encoding of any element of the basic
+\indextext{character set!basic literal}%
+literal character set\iref{lex.charset}
 and the eight-bit code units of the Unicode
 \begin{footnote}
 Unicode\textregistered\ is a registered trademark of Unicode, Inc.
@@ -4849,8 +4850,6 @@
 Type \keyword{char} is a distinct type
 that has an \impldef{underlying type of \tcode{char}} choice of
 ``\tcode{\keyword{signed} \keyword{char}}'' or ``\tcode{\keyword{unsigned} \keyword{char}}'' as its underlying type.
-The values of type \keyword{char} can represent distinct codes
-for all members of the implementation's basic character set.
 The three types \keyword{char}, \tcode{\keyword{signed} \keyword{char}}, and \tcode{\keyword{unsigned} \keyword{char}}
 are collectively called
 \defnadjx{ordinary character}{types}{type}.
@@ -4911,10 +4910,10 @@
 
 \pnum
 \indextext{type!integral}%
-Types
-\keyword{bool},
-\keyword{char}, \keyword{wchar_t},
-\keyword{char8_t}, \keyword{char16_t}, \keyword{char32_t}, and
+The types \keyword{char}, \keyword{wchar_t},
+\keyword{char8_t}, \keyword{char16_t}, and \keyword{char32_t}
+are collectively called \defnadjx{character}{types}{type}.
+The character types, \keyword{bool},
 the signed and unsigned integer types,
 and cv-qualified versions\iref{basic.type.qualifier} thereof,
 are collectively termed

source/compatibility.tex

@@ -786,8 +786,8 @@
 semantics in this revision of \Cpp{}. Implementations may choose to
 translate trigraphs as specified in \CppXIV{} if they appear outside of a raw
 string literal, as part of the \impldef{mapping from physical source file characters
-to basic source character set} mapping from physical source file characters to
-the basic source character set.
+to translation character set} mapping from physical source file characters to
+the translation character set.
 
 \diffref{lex.ppnumber}
 \change

source/expressions.tex

@@ -1181,10 +1181,10 @@
 \pnum
 \indextext{literal}%
 \indextext{constant}%
-A \grammarterm{literal} is a primary expression.
 The type of a \grammarterm{literal}
 is determined based on its form as specified in \ref{lex.literal}.
-A \grammarterm{string-literal} is an lvalue,
+A \grammarterm{string-literal} is an lvalue
+designating a corresponding string literal object\iref{lex.string},
 a \grammarterm{user-defined-literal}
 has the same value category
 as the corresponding operator call expression described in \ref{lex.ext},

source/intro.tex

@@ -420,13 +420,8 @@
 
 \indexdefn{character!multibyte}%
 \definition{multibyte character}{defns.multibyte}
-sequence of one or more bytes representing a member of the extended
-character set of either the source or the execution environment
-
-\begin{defnote}
-The extended character set is a superset of the basic character
-set\iref{lex.charset}.
-\end{defnote}
+sequence of one or more bytes representing
+the code unit sequence for an encoded character of the execution character set
 
 \definition{NTCTS}{defns.ntcts}
 \defncontext{library}