tmp/tmp1vl831y2/{from.md → to.md}
RENAMED
|
@@ -8,24 +8,24 @@ an exception ([[except.throw]]).
|
|
| 8 |
noexcept-expression:
|
| 9 |
'noexcept' '(' expression ')'
|
| 10 |
```
|
| 11 |
|
| 12 |
The result of the `noexcept` operator is a constant of type `bool` and
|
| 13 |
-
is
|
| 14 |
|
| 15 |
The result of the `noexcept` operator is `false` if in a
|
| 16 |
potentially-evaluated context the *expression* would contain
|
| 17 |
|
| 18 |
-
- a potentially
|
| 19 |
function pointer, or member function pointer that does not have a
|
| 20 |
non-throwing *exception-specification* ([[except.spec]]), unless the
|
| 21 |
call is a constant expression ([[expr.const]]),
|
| 22 |
-
- a potentially
|
| 23 |
-
- a potentially
|
| 24 |
`dynamic_cast<T>(v)`, where `T` is a reference type, that requires a
|
| 25 |
run-time check ([[expr.dynamic.cast]]), or
|
| 26 |
-
- a potentially
|
| 27 |
to a glvalue expression whose type is a polymorphic class type (
|
| 28 |
[[class.virtual]]).
|
| 29 |
|
| 30 |
Otherwise, the result is `true`.
|
| 31 |
|
|
|
|
| 8 |
noexcept-expression:
|
| 9 |
'noexcept' '(' expression ')'
|
| 10 |
```
|
| 11 |
|
| 12 |
The result of the `noexcept` operator is a constant of type `bool` and
|
| 13 |
+
is a prvalue.
|
| 14 |
|
| 15 |
The result of the `noexcept` operator is `false` if in a
|
| 16 |
potentially-evaluated context the *expression* would contain
|
| 17 |
|
| 18 |
+
- a potentially-evaluated call[^24] to a function, member function,
|
| 19 |
function pointer, or member function pointer that does not have a
|
| 20 |
non-throwing *exception-specification* ([[except.spec]]), unless the
|
| 21 |
call is a constant expression ([[expr.const]]),
|
| 22 |
+
- a potentially-evaluated *throw-expression* ([[except.throw]]),
|
| 23 |
+
- a potentially-evaluated `dynamic_cast` expression
|
| 24 |
`dynamic_cast<T>(v)`, where `T` is a reference type, that requires a
|
| 25 |
run-time check ([[expr.dynamic.cast]]), or
|
| 26 |
+
- a potentially-evaluated `typeid` expression ([[expr.typeid]]) applied
|
| 27 |
to a glvalue expression whose type is a polymorphic class type (
|
| 28 |
[[class.virtual]]).
|
| 29 |
|
| 30 |
Otherwise, the result is `true`.
|
| 31 |
|