tmp/tmpzw787q8t/{from.md → to.md}
RENAMED
|
@@ -1,14 +1,14 @@
|
|
| 1 |
### `ranges::empty` <a id="range.prim.empty">[[range.prim.empty]]</a>
|
| 2 |
|
| 3 |
The name `ranges::empty` denotes a customization point object
|
| 4 |
[[customization.point.object]].
|
| 5 |
|
| 6 |
-
Given a subexpression `
|
| 7 |
-
|
| 8 |
|
| 9 |
-
- If `T` is an array of unknown bound [[
|
| 10 |
`ranges::empty(E)` is ill-formed.
|
| 11 |
- Otherwise, if `bool(t.empty())` is a valid expression,
|
| 12 |
`ranges::empty(E)` is expression-equivalent to `bool(t.empty())`.
|
| 13 |
- Otherwise, if `(ranges::size(t) == 0)` is a valid expression,
|
| 14 |
`ranges::empty(E)` is expression-equivalent to
|
|
|
|
| 1 |
### `ranges::empty` <a id="range.prim.empty">[[range.prim.empty]]</a>
|
| 2 |
|
| 3 |
The name `ranges::empty` denotes a customization point object
|
| 4 |
[[customization.point.object]].
|
| 5 |
|
| 6 |
+
Given a subexpression `E` with type `T`, let `t` be an lvalue that
|
| 7 |
+
denotes the reified object for `E`. Then:
|
| 8 |
|
| 9 |
+
- If `T` is an array of unknown bound [[term.array.type]],
|
| 10 |
`ranges::empty(E)` is ill-formed.
|
| 11 |
- Otherwise, if `bool(t.empty())` is a valid expression,
|
| 12 |
`ranges::empty(E)` is expression-equivalent to `bool(t.empty())`.
|
| 13 |
- Otherwise, if `(ranges::size(t) == 0)` is a valid expression,
|
| 14 |
`ranges::empty(E)` is expression-equivalent to
|