[basic.ios.members] - C++17 → C++20

Files changed (1) hide show

tmp/tmp2xuktr4g/{from.md → to.md} +35 -36

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

@@ -9,15 +9,15 @@ sequence controlled by the stream buffer.
 ``` cpp
 basic_ostream<charT, traits>* tie(basic_ostream<charT, traits>* tiestr);
 ```
-*Requires:* If `tiestr` is not null, `tiestr` must not be reachable by
 traversing the linked list of tied stream objects starting from
 `tiestr->tie()`.
-*Postconditions:* `tiestr == tie()`.
 *Returns:* The previous value of `tie()`.
 ``` cpp
 basic_streambuf<charT, traits>* rdbuf() const;
@@ -27,22 +27,22 @@ basic_streambuf<charT, traits>* rdbuf() const;
 ``` cpp
 basic_streambuf<charT, traits>* rdbuf(basic_streambuf<charT, traits>* sb);
 ```
-*Postconditions:* `sb == rdbuf()`.
 *Effects:* Calls `clear()`.
 *Returns:* The previous value of `rdbuf()`.
 ``` cpp
 locale imbue(const locale& loc);
 ```
-*Effects:* Calls `ios_base::imbue(loc)` ([[ios.base.locales]]) and if
-`rdbuf() != 0` then `rdbuf()->pubimbue(loc)` ([[streambuf.locales]]).
 *Returns:* The prior value of `ios_base::imbue()`.
 ``` cpp
 char narrow(char_type c, char dfault) const;
@@ -65,45 +65,45 @@ specified field width.
 ``` cpp
 char_type fill(char_type fillch);
 ```
-*Postconditions:* `traits::eq(fillch, fill())`.
 *Returns:* The previous value of `fill()`.
 ``` cpp
 basic_ios& copyfmt(const basic_ios& rhs);
 ```
-*Effects:* If `(this == &rhs)` does nothing. Otherwise assigns to the
-member objects of `*this` the corresponding member objects of `rhs` as
-follows:
-1.  calls each registered callback pair `(fn, index)` as
- `(*fn)(erase_event, *this, index)`;
-2.  assigns to the member objects of `*this` the corresponding member
- objects of `rhs`, except that
   - `rdstate()`, `rdbuf()`, and `exceptions()` are left unchanged;
- - the contents of arrays pointed at by `pword` and `iword` are
-      copied, not the pointers themselves;[^10] and
   - if any newly stored pointer values in `*this` point at objects
- stored outside the object `rhs` and those objects are destroyed
-      when `rhs` is destroyed, the newly stored pointer values are
-      altered to point at newly constructed copies of the objects;
-3.  calls each callback pair that was copied from `rhs` as
- `(*fn)(copyfmt_event, *this, index)`;
-4.  calls `exceptions(rhs.exceptions())`.
 [*Note 1*: The second pass through the callback pairs permits a copied
 `pword` value to be zeroed, or to have its referent deep copied or
 reference counted, or to have other special action taken. — *end note*]
-*Postconditions:* The postconditions of this function are indicated in
-Table  [[tab:iostreams.copyfmt.effects]].
-**Table: `basic_ios::copyfmt()` effects** <a id="tab:iostreams.copyfmt.effects">[tab:iostreams.copyfmt.effects]</a>
 | Element        | Value              |
 | -------------- | ------------------ |
 | `rdbuf()`      | unchanged          |
 | `tie()`        | `rhs.tie()`        |
@@ -121,33 +121,32 @@ Table  [[tab:iostreams.copyfmt.effects]].
 ``` cpp
 void move(basic_ios& rhs);
 void move(basic_ios&& rhs);
 ```
-*Postconditions:* `*this` shall have the state that `rhs` had before the
-function call, except that `rdbuf()` shall return 0. `rhs` shall be in a
-valid but unspecified state, except that `rhs.rdbuf()` shall return the
-same value as it returned before the function call, and `rhs.tie()`
-shall return 0.
 ``` cpp
 void swap(basic_ios& rhs) noexcept;
 ```
-*Effects:* The states of `*this` and `rhs` shall be exchanged, except
-that `rdbuf()` shall return the same value as it returned before the
-function call, and `rhs.rdbuf()` shall return the same value as it
-returned before the function call.
 ``` cpp
 void set_rdbuf(basic_streambuf<charT, traits>* sb);
 ```
-*Requires:* `sb != nullptr`.
 *Effects:* Associates the `basic_streambuf` object pointed to by `sb`
 with this stream without calling `clear()`.
-*Postconditions:* `rdbuf() == sb`.
 *Throws:* Nothing.

 ``` cpp
 basic_ostream<charT, traits>* tie(basic_ostream<charT, traits>* tiestr);
 ```
+*Preconditions:* If `tiestr` is not null, `tiestr` is not reachable by
 traversing the linked list of tied stream objects starting from
 `tiestr->tie()`.
+*Ensures:* `tiestr == tie()`.
 *Returns:* The previous value of `tie()`.
 ``` cpp
 basic_streambuf<charT, traits>* rdbuf() const;
 ``` cpp
 basic_streambuf<charT, traits>* rdbuf(basic_streambuf<charT, traits>* sb);
 ```
 *Effects:* Calls `clear()`.
+*Ensures:* `sb == rdbuf()`.
 *Returns:* The previous value of `rdbuf()`.
 ``` cpp
 locale imbue(const locale& loc);
 ```
+*Effects:* Calls `ios_base::imbue(loc)` [[ios.base.locales]] and if
+`rdbuf() != 0` then `rdbuf()->pubimbue(loc)` [[streambuf.locales]].
 *Returns:* The prior value of `ios_base::imbue()`.
 ``` cpp
 char narrow(char_type c, char dfault) const;
 ``` cpp
 char_type fill(char_type fillch);
 ```
+*Ensures:* `traits::eq(fillch, fill())`.
 *Returns:* The previous value of `fill()`.
 ``` cpp
 basic_ios& copyfmt(const basic_ios& rhs);
 ```
+*Effects:* If `(this == addressof(rhs))` is `true` does nothing.
+Otherwise assigns to the member objects of `*this` the corresponding
+member objects of `rhs` as follows:
+- calls each registered callback pair `(fn, idx)` as
+ `(*fn)(erase_event, *this, idx)`;
+- then, assigns to the member objects of `*this` the corresponding
+  member objects of `rhs`, except that
   - `rdstate()`, `rdbuf()`, and `exceptions()` are left unchanged;
+ - the contents of arrays pointed at by `pword` and `iword` are copied,
+ not the pointers themselves;[^10] and
   - if any newly stored pointer values in `*this` point at objects
+ stored outside the object `rhs` and those objects are destroyed when
+ `rhs` is destroyed, the newly stored pointer values are altered to
+ point at newly constructed copies of the objects;
+- then, calls each callback pair that was copied from `rhs` as
+ `(*fn)(copyfmt_event, *this, idx)`;
+- then, calls `exceptions(rhs.exceptions())`.
 [*Note 1*: The second pass through the callback pairs permits a copied
 `pword` value to be zeroed, or to have its referent deep copied or
 reference counted, or to have other special action taken. — *end note*]
+*Ensures:* The postconditions of this function are indicated in
+[[basic.ios.copyfmt]].
+**Table: `basic_ios::copyfmt()` effects** <a id="basic.ios.copyfmt">[basic.ios.copyfmt]</a>
 | Element        | Value              |
 | -------------- | ------------------ |
 | `rdbuf()`      | unchanged          |
 | `tie()`        | `rhs.tie()`        |
 ``` cpp
 void move(basic_ios& rhs);
 void move(basic_ios&& rhs);
 ```
+*Ensures:* `*this` has the state that `rhs` had before the function
+call, except that `rdbuf()` returns `nullptr`. `rhs` is in a valid but
+unspecified state, except that `rhs.rdbuf()` returns the same value as
+it returned before the function call, and `rhs.tie()` returns `nullptr`.
 ``` cpp
 void swap(basic_ios& rhs) noexcept;
 ```
+*Effects:* The states of `*this` and `rhs` are exchanged, except that
+`rdbuf()` returns the same value as it returned before the function
+call, and `rhs.rdbuf()` returns the same value as it returned before the
+function call.
 ``` cpp
 void set_rdbuf(basic_streambuf<charT, traits>* sb);
 ```
+*Preconditions:* `sb != nullptr` is `true`.
 *Effects:* Associates the `basic_streambuf` object pointed to by `sb`
 with this stream without calling `clear()`.
+*Ensures:* `rdbuf() == sb` is `true`.
 *Throws:* Nothing.

Diff to HTML by rtfpessoa