Skip to content

[filesystems] Replace "encoded character type" with "character type" from the core wording #8158

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 3 commits into
base: main
Choose a base branch
from
Open
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
19 changes: 7 additions & 12 deletions source/iostreams.tex
Original file line number Diff line number Diff line change
Expand Up @@ -13251,24 +13251,19 @@

\rSec2[fs.req]{Requirements}

\pnum
Throughout subclause~\ref{filesystems}, \tcode{char}, \keyword{wchar_t}, \keyword{char8_t},
\keyword{char16_t}, and \keyword{char32_t} are collectively called
\defnx{encoded character types}{encoded character type}.

\pnum
Functions with template parameters named \tcode{EcharT}
shall not participate in overload resolution
unless \tcode{EcharT} is one of the encoded character types.
unless \tcode{EcharT} is one of the character types\iref{basic.fundamental}.

\pnum
Template parameters named \tcode{InputIterator} shall meet the
\oldconcept{InputIterator} requirements\iref{input.iterators} and shall
have a value type that is one of the encoded character types.
have a value type that is one of the character types.

\pnum
\begin{note}
Use of an encoded character type implies an associated
Use of a character type implies an associated
character set and encoding.
Since \tcode{signed char} and \tcode{unsigned char} have no
implied character set and encoding,
Expand Down Expand Up @@ -13787,7 +13782,7 @@
\indexlibrarymember{value_type}{path}%
\pnum
\tcode{value_type} is a \keyword{typedef} for the
operating system dependent encoded character type used to represent pathnames.
operating system dependent character type\iref{basic.fundamental} used to represent pathnames.

\indexlibrarymember{preferred_separator}{path}%
\pnum
Expand Down Expand Up @@ -14097,13 +14092,13 @@
argument \tcode{const Source\&} \tcode{source} shall have an
effective range \range{source.begin()}{source.end()}.
\item A type meeting the \oldconcept{InputIterator} requirements that iterates over an NTCTS\@.
The value type shall be an encoded character type. A function argument
The value type shall be a character type\iref{basic.fundamental}. A function argument
\tcode{const Source\&} \tcode{source} shall have an effective range
\range{source}{end} where \tcode{end} is the first
iterator value with an element value equal to
\tcode{iterator_traits<Source>::value_type()}.
\item A character array that after array-to-pointer decay results in a
pointer to the start of an NTCTS\@. The value type shall be an encoded character type. A
pointer to the start of an NTCTS\@. The value type shall be a character type. A
function argument \tcode{const Source\&} \tcode{source} shall
have an effective range \range{source}{end} where
\tcode{end} is the first iterator value with an element value equal to
Expand All @@ -14121,7 +14116,7 @@
\tcode{basic_string} or \tcode{basic_string_view}, or
\item
the \grammarterm{qualified-id} \tcode{iterator_traits<decay_t<Source>>::value_type} is valid and
denotes a possibly const encoded character type\iref{temp.deduct}.
denotes a possibly const character type\iref{temp.deduct}.
\end{itemize}

\pnum
Expand Down