tmp/tmpmjbj23zo/{from.md → to.md}
RENAMED
|
@@ -10,22 +10,8 @@ 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 `
|
| 16 |
-
potentially-
|
| 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 |
|
|
|
|
| 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 `true` unless the *expression*
|
| 16 |
+
is potentially-throwing ([[except.spec]]).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 17 |
|