diff --git a/source/iostreams.tex b/source/iostreams.tex index edbd0554b0..a613f40259 100644 --- a/source/iostreams.tex +++ b/source/iostreams.tex @@ -4571,7 +4571,7 @@ that are part of the library. The semantics of the constructor used in user code is as specified. \end{footnote} -If \tcode{noskipws} is zero and +If \tcode{noskipws} is \tcode{false} and \tcode{is.flags() \& ios_base::skipws} is nonzero, the function extracts and discards each character as long as the next available input character \tcode{c} is a whitespace character. @@ -4587,32 +4587,13 @@ \tcode{ios_base::failure}). \pnum -\remarks -The constructor -\begin{codeblock} -explicit sentry(basic_istream& is, bool noskipws = false) -\end{codeblock} -uses the currently imbued locale in \tcode{is}, -to determine whether the next input character is -whitespace or not. - -\pnum -To decide if the character \tcode{c} is a whitespace character, -the constructor performs as if it executes the following code fragment: -\begin{codeblock} -const ctype& ctype = use_facet>(is.getloc()); -if (ctype.is(ctype.space, c) != 0) - // \tcode{c} is a whitespace character. -\end{codeblock} +The currently imbued locale in \tcode{is} is used +to determine whether the next input character is whitespace: +The character \tcode{c} is a whitespace character if and only if +\tcode{ct.is(ct.space, c)} is \tcode{true}, +where \tcode{ct} is \tcode{use_facet>(is.getloc())}. \pnum -If, after any preparation is completed, -\tcode{is.good()} -is -\tcode{true}, -\tcode{\exposid{ok_} != false} -otherwise, -\tcode{\exposid{ok_} == false}. During preparation, the constructor may call \tcode{setstate(failbit)} (which may throw @@ -4625,6 +4606,9 @@ \indextext{implementation-dependent}% implementation-dependent operations. \end{footnote} + +\pnum +After any preparation is completed, \exposid{ok_} is set to the value of \tcode{is.good()}. \end{itemdescr} \indexlibrarydtor{sentry}%