tmp/tmpjkivqd3g/{from.md → to.md}
RENAMED
|
@@ -1,10 +1,10 @@
|
|
| 1 |
-
####
|
| 2 |
|
| 3 |
-
value of an object that is not specified except that the
|
| 4 |
-
invariants are met and operations on the object behave as
|
| 5 |
-
its type
|
| 6 |
|
| 7 |
[*Example 1*: If an object `x` of type `std::vector<int>` is in a valid
|
| 8 |
but unspecified state, `x.empty()` can be called unconditionally, and
|
| 9 |
`x.front()` can be called only if `x.empty()` returns
|
| 10 |
`false`. — *end example*]
|
|
|
|
| 1 |
+
#### 67 valid but unspecified state <a id="defns.valid">[[defns.valid]]</a>
|
| 2 |
|
| 3 |
+
⟨library⟩ value of an object that is not specified except that the
|
| 4 |
+
object’s invariants are met and operations on the object behave as
|
| 5 |
+
specified for its type
|
| 6 |
|
| 7 |
[*Example 1*: If an object `x` of type `std::vector<int>` is in a valid
|
| 8 |
but unspecified state, `x.empty()` can be called unconditionally, and
|
| 9 |
`x.front()` can be called only if `x.empty()` returns
|
| 10 |
`false`. — *end example*]
|