tmp/tmprsgpx5vp/{from.md → to.md}
RENAMED
|
@@ -1,22 +1,31 @@
|
|
| 1 |
-
####
|
| 2 |
|
| 3 |
-
|
| 4 |
-
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 5 |
|
| 6 |
- `P` refers to an instance of `fpos`,
|
| 7 |
-
- `p` and `q` refer to values of type `P`,
|
| 8 |
-
- `
|
| 9 |
-
- `
|
| 10 |
-
- `
|
| 11 |
-
- `i` refers to a value of type `int`.
|
| 12 |
-
|
| 13 |
-
[*Note 1*: Every implementation is required to supply overloaded
|
| 14 |
-
operators on `fpos` objects to satisfy the requirements of
|
| 15 |
-
[[fpos.operations]]. It is unspecified whether these operators are
|
| 16 |
-
members of `fpos`, global operators, or provided in some other
|
| 17 |
-
way. — *end note*]
|
| 18 |
|
| 19 |
Stream operations that return a value of type `traits::pos_type` return
|
| 20 |
`P(O(-1))` as an invalid value to signal an error. If this value is used
|
| 21 |
as an argument to any `istream`, `ostream`, or `streambuf` member that
|
| 22 |
accepts a value of type `traits::pos_type` then the behavior of that
|
|
|
|
| 1 |
+
#### Requirements <a id="fpos.operations">[[fpos.operations]]</a>
|
| 2 |
|
| 3 |
+
An `fpos` type specifies file position information. It holds a state
|
| 4 |
+
object whose type is equal to the template parameter `stateT`. Type
|
| 5 |
+
`stateT` shall meet the *Cpp17DefaultConstructible* (
|
| 6 |
+
[[cpp17.defaultconstructible]]), *Cpp17CopyConstructible* (
|
| 7 |
+
[[cpp17.copyconstructible]]), *Cpp17CopyAssignable* (
|
| 8 |
+
[[cpp17.copyassignable]]), and *Cpp17Destructible* (
|
| 9 |
+
[[cpp17.destructible]]) requirements. If
|
| 10 |
+
`is_trivially_copy_constructible_v<stateT>` is `true`, then
|
| 11 |
+
`fpos<stateT>` has a trivial copy constructor. If
|
| 12 |
+
`is_trivially_copy_assignable<stateT>` is `true`, then `fpos<stateT>`
|
| 13 |
+
has a trivial copy assignment operator. If
|
| 14 |
+
`is_trivially_destructible_v<stateT>` is `true`, then `fpos<stateT>` has
|
| 15 |
+
a trivial destructor. All specializations of `fpos` meet the
|
| 16 |
+
*Cpp17DefaultConstructible*, *Cpp17CopyConstructible*,
|
| 17 |
+
*Cpp17CopyAssignable*, *Cpp17Destructible*, and
|
| 18 |
+
*Cpp17EqualityComparable* ([[cpp17.equalitycomparable]]) requirements.
|
| 19 |
+
In addition, the expressions shown in [[fpos.operations]] are valid and
|
| 20 |
+
have the indicated semantics. In that table,
|
| 21 |
|
| 22 |
- `P` refers to an instance of `fpos`,
|
| 23 |
+
- `p` and `q` refer to values of type `P` or `const P`,
|
| 24 |
+
- `pl` and `ql` refer to modifiable lvalues of type `P`,
|
| 25 |
+
- `O` refers to type `streamoff`, and
|
| 26 |
+
- `o` refers to a value of type `streamoff` or `const streamoff`.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 27 |
|
| 28 |
Stream operations that return a value of type `traits::pos_type` return
|
| 29 |
`P(O(-1))` as an invalid value to signal an error. If this value is used
|
| 30 |
as an argument to any `istream`, `ostream`, or `streambuf` member that
|
| 31 |
accepts a value of type `traits::pos_type` then the behavior of that
|