tmp/tmpzs9dj85_/{from.md → to.md}
RENAMED
|
@@ -5,11 +5,12 @@ namespace std {
|
|
| 5 |
template<class stateT> class fpos {
|
| 6 |
public:
|
| 7 |
// [fpos.members], members
|
| 8 |
stateT state() const;
|
| 9 |
void state(stateT);
|
| 10 |
-
|
|
|
|
| 11 |
stateT st; // exposition only
|
| 12 |
};
|
| 13 |
}
|
| 14 |
```
|
| 15 |
|
|
@@ -36,25 +37,25 @@ object whose type is equal to the template parameter `stateT`. Type
|
|
| 36 |
[[cpp17.copyconstructible]]), *Cpp17CopyAssignable* (
|
| 37 |
[[cpp17.copyassignable]]), and *Cpp17Destructible* (
|
| 38 |
[[cpp17.destructible]]) requirements. If
|
| 39 |
`is_trivially_copy_constructible_v<stateT>` is `true`, then
|
| 40 |
`fpos<stateT>` has a trivial copy constructor. If
|
| 41 |
-
`
|
| 42 |
has a trivial copy assignment operator. If
|
| 43 |
`is_trivially_destructible_v<stateT>` is `true`, then `fpos<stateT>` has
|
| 44 |
a trivial destructor. All specializations of `fpos` meet the
|
| 45 |
*Cpp17DefaultConstructible*, *Cpp17CopyConstructible*,
|
| 46 |
*Cpp17CopyAssignable*, *Cpp17Destructible*, and
|
| 47 |
*Cpp17EqualityComparable* ([[cpp17.equalitycomparable]]) requirements.
|
| 48 |
In addition, the expressions shown in [[fpos.operations]] are valid and
|
| 49 |
have the indicated semantics. In that table,
|
| 50 |
|
| 51 |
-
- `P` refers to
|
| 52 |
- `p` and `q` refer to values of type `P` or `const P`,
|
| 53 |
- `pl` and `ql` refer to modifiable lvalues of type `P`,
|
| 54 |
- `O` refers to type `streamoff`, and
|
| 55 |
-
- `o`
|
| 56 |
|
| 57 |
Stream operations that return a value of type `traits::pos_type` return
|
| 58 |
`P(O(-1))` as an invalid value to signal an error. If this value is used
|
| 59 |
as an argument to any `istream`, `ostream`, or `streambuf` member that
|
| 60 |
accepts a value of type `traits::pos_type` then the behavior of that
|
|
|
|
| 5 |
template<class stateT> class fpos {
|
| 6 |
public:
|
| 7 |
// [fpos.members], members
|
| 8 |
stateT state() const;
|
| 9 |
void state(stateT);
|
| 10 |
+
|
| 11 |
+
private:
|
| 12 |
stateT st; // exposition only
|
| 13 |
};
|
| 14 |
}
|
| 15 |
```
|
| 16 |
|
|
|
|
| 37 |
[[cpp17.copyconstructible]]), *Cpp17CopyAssignable* (
|
| 38 |
[[cpp17.copyassignable]]), and *Cpp17Destructible* (
|
| 39 |
[[cpp17.destructible]]) requirements. If
|
| 40 |
`is_trivially_copy_constructible_v<stateT>` is `true`, then
|
| 41 |
`fpos<stateT>` has a trivial copy constructor. If
|
| 42 |
+
`is_trivially_copy_assignable_v<stateT>` is `true`, then `fpos<stateT>`
|
| 43 |
has a trivial copy assignment operator. If
|
| 44 |
`is_trivially_destructible_v<stateT>` is `true`, then `fpos<stateT>` has
|
| 45 |
a trivial destructor. All specializations of `fpos` meet the
|
| 46 |
*Cpp17DefaultConstructible*, *Cpp17CopyConstructible*,
|
| 47 |
*Cpp17CopyAssignable*, *Cpp17Destructible*, and
|
| 48 |
*Cpp17EqualityComparable* ([[cpp17.equalitycomparable]]) requirements.
|
| 49 |
In addition, the expressions shown in [[fpos.operations]] are valid and
|
| 50 |
have the indicated semantics. In that table,
|
| 51 |
|
| 52 |
+
- `P` refers to a specialization of `fpos`,
|
| 53 |
- `p` and `q` refer to values of type `P` or `const P`,
|
| 54 |
- `pl` and `ql` refer to modifiable lvalues of type `P`,
|
| 55 |
- `O` refers to type `streamoff`, and
|
| 56 |
+
- `o` and `o2` refer to values of type `streamoff` or `const streamoff`.
|
| 57 |
|
| 58 |
Stream operations that return a value of type `traits::pos_type` return
|
| 59 |
`P(O(-1))` as an invalid value to signal an error. If this value is used
|
| 60 |
as an argument to any `istream`, `ostream`, or `streambuf` member that
|
| 61 |
accepts a value of type `traits::pos_type` then the behavior of that
|