[ostream.formatted] - C++17 → C++20

Files changed (1) hide show

tmp/tmp12o00mcv/{from.md → to.md} +19 -19

tmp/tmp12o00mcv/{from.md → to.md} RENAMED Viewed

@@ -5,12 +5,12 @@
 Each formatted output function begins execution by constructing an
 object of class `sentry`. If this object returns `true` when converted
 to a value of type `bool`, the function endeavors to generate the
 requested output. If the generation fails, then the formatted output
 function does `setstate(ios_base::failbit)`, which might throw an
-exception. If an exception is thrown during output, then `ios::badbit`
-is turned on[^33] in `*this`’s error state. If
 `(exceptions()&badbit) != 0` then the exception is rethrown. Whether or
 not an exception is thrown, the `sentry` object is destroyed before
 leaving the formatted output function. If no exception is thrown, the
 result of the formatted output function is `*this`.
@@ -151,13 +151,13 @@ in  [[ostream.formatted.reqmts]]).
 ``` cpp
 basic_ostream<charT, traits>& operator<<(basic_streambuf<charT, traits>* sb);
 ```
-*Effects:* Behaves as an unformatted output function
-([[ostream.unformatted]]). After the sentry object is constructed, if
-`sb` is null calls `setstate(badbit)` (which may throw
 `ios_base::failure`).
 Gets characters from `sb` and inserts them in `*this`. Characters are
 read from `sb` and inserted until any of the following occurs:
@@ -165,14 +165,14 @@ read from `sb` and inserted until any of the following occurs:
 - inserting in the output sequence fails (in which case the character to
   be inserted is not extracted);
 - an exception occurs while getting a character from `sb`.
 If the function inserts no characters, it calls `setstate(failbit)`
-(which may throw `ios_base::failure` ([[iostate.flags]])). If an
-exception was thrown while extracting a character, the function sets
-`failbit` in error state, and if `failbit` is on in `exceptions()` the
-caught exception is rethrown.
 *Returns:* `*this`.
 ``` cpp
 basic_ostream<charT, traits>& operator<<(nullptr_t);
@@ -182,11 +182,11 @@ basic_ostream<charT, traits>& operator<<(nullptr_t);
 ``` cpp
 return *this << s;
 ```
-where `s` is an *implementation-defined* NTCTS ([[defns.ntcts]]).
 ##### Character inserter function templates <a id="ostream.inserters.character">[[ostream.inserters.character]]</a>
 ``` cpp
 template<class charT, class traits>
@@ -202,16 +202,16 @@ template<class traits>
 template<class traits>
   basic_ostream<char, traits>& operator<<(basic_ostream<char, traits>& out, unsigned char c);
 ```
 *Effects:* Behaves as a formatted output
-function ([[ostream.formatted.reqmts]]) of `out`. Constructs a
-character sequence `seq`. If `c` has type `char` and the character type
-of the stream is not `char`, then `seq` consists of `out.widen(c)`;
-otherwise `seq` consists of `c`. Determines padding for `seq` as
-described in  [[ostream.formatted.reqmts]]. Inserts `seq` into `out`.
-Calls `os.width(0)`.
 *Returns:* `out`.
 ``` cpp
 template<class charT, class traits>
@@ -225,17 +225,17 @@ template<class traits>
 template<class traits>
   basic_ostream<char, traits>& operator<<(basic_ostream<char, traits>& out,
                                           const unsigned char* s);
 ```
-*Requires:* `s` shall not be a null pointer.
 *Effects:* Behaves like a formatted inserter (as described
 in  [[ostream.formatted.reqmts]]) of `out`. Creates a character sequence
 `seq` of `n` characters starting at `s`, each widened using
-`out.widen()` ([[basic.ios.members]]), where `n` is the number that
-would be computed as if by:
 - `traits::length(s)` for the overload where the first argument is of
   type `basic_ostream<charT, traits>&` and the second is of type
   `const charT*`, and also for the overload where the first argument is
   of type `basic_ostream<char, traits>&` and the second is of type

 Each formatted output function begins execution by constructing an
 object of class `sentry`. If this object returns `true` when converted
 to a value of type `bool`, the function endeavors to generate the
 requested output. If the generation fails, then the formatted output
 function does `setstate(ios_base::failbit)`, which might throw an
+exception. If an exception is thrown during output, then
+`ios_base::badbit` is turned on[^33] in `*this`’s error state. If
 `(exceptions()&badbit) != 0` then the exception is rethrown. Whether or
 not an exception is thrown, the `sentry` object is destroyed before
 leaving the formatted output function. If no exception is thrown, the
 result of the formatted output function is `*this`.
 ``` cpp
 basic_ostream<charT, traits>& operator<<(basic_streambuf<charT, traits>* sb);
 ```
+*Effects:* Behaves as an unformatted output
+function [[ostream.unformatted]]. After the sentry object is
+constructed, if `sb` is null calls `setstate(badbit)` (which may throw
 `ios_base::failure`).
 Gets characters from `sb` and inserts them in `*this`. Characters are
 read from `sb` and inserted until any of the following occurs:
 - inserting in the output sequence fails (in which case the character to
   be inserted is not extracted);
 - an exception occurs while getting a character from `sb`.
 If the function inserts no characters, it calls `setstate(failbit)`
+(which may throw `ios_base::failure` [[iostate.flags]]). If an exception
+was thrown while extracting a character, the function sets `failbit` in
+the error state, and if `failbit` is set in `exceptions()` the caught
+exception is rethrown.
 *Returns:* `*this`.
 ``` cpp
 basic_ostream<charT, traits>& operator<<(nullptr_t);
 ``` cpp
 return *this << s;
 ```
+where `s` is an *implementation-defined* NTCTS [[defns.ntcts]].
 ##### Character inserter function templates <a id="ostream.inserters.character">[[ostream.inserters.character]]</a>
 ``` cpp
 template<class charT, class traits>
 template<class traits>
   basic_ostream<char, traits>& operator<<(basic_ostream<char, traits>& out, unsigned char c);
 ```
 *Effects:* Behaves as a formatted output
+function [[ostream.formatted.reqmts]] of `out`. Constructs a character
+sequence `seq`. If `c` has type `char` and the character type of the
+stream is not `char`, then `seq` consists of `out.widen(c)`; otherwise
+`seq` consists of `c`. Determines padding for `seq` as described
+in  [[ostream.formatted.reqmts]]. Inserts `seq` into `out`. Calls
+`os.width(0)`.
 *Returns:* `out`.
 ``` cpp
 template<class charT, class traits>
 template<class traits>
   basic_ostream<char, traits>& operator<<(basic_ostream<char, traits>& out,
                                           const unsigned char* s);
 ```
+*Preconditions:* `s` is not a null pointer.
 *Effects:* Behaves like a formatted inserter (as described
 in  [[ostream.formatted.reqmts]]) of `out`. Creates a character sequence
 `seq` of `n` characters starting at `s`, each widened using
+`out.widen()` [[basic.ios.members]], where `n` is the number that would
+be computed as if by:
 - `traits::length(s)` for the overload where the first argument is of
   type `basic_ostream<charT, traits>&` and the second is of type
   `const charT*`, and also for the overload where the first argument is
   of type `basic_ostream<char, traits>&` and the second is of type

Diff to HTML by rtfpessoa