Skip to content
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit 8f480b2

Browse files
committedAug 31, 2023
[expr.unary.noexcept] replace informative wording
1 parent 9a0b5d7 commit 8f480b2

File tree

1 file changed

+6
-7
lines changed

1 file changed

+6
-7
lines changed
 

‎source/expressions.tex

Lines changed: 6 additions & 7 deletions
Original file line numberDiff line numberDiff line change
@@ -5042,14 +5042,16 @@
50425042
\pnum
50435043
\indextext{\idxcode{noexcept}}%
50445044
\indextext{expression!\idxcode{noexcept}}%
5045-
The \keyword{noexcept} operator determines whether the evaluation of its operand,
5046-
which is an unevaluated operand\iref{term.unevaluated.operand}, can throw an
5047-
exception\iref{except.throw}.
5048-
5045+
The \keyword{noexcept} operator
50495046
\begin{bnf}
50505047
\nontermdef{noexcept-expression}\br
50515048
\keyword{noexcept} \terminal{(} expression \terminal{)}
50525049
\end{bnf}
5050+
has an \grammarterm{expression} \term{operand}
5051+
which is an unevaluated operand\iref{term.unevaluated.operand}.
5052+
The \keyword{noexcept} operator yields \keyword{true}
5053+
unless the full-expression of the operand
5054+
is potentially-throwing\iref{except.spec}.
50535055

50545056
\pnum
50555057
The result of the \keyword{noexcept} operator is a prvalue of type \keyword{bool}.
@@ -5061,9 +5063,6 @@
50615063
\pnum
50625064
If the operand is a prvalue,
50635065
the temporary materialization conversion\iref{conv.rval} is applied.
5064-
The result of the \keyword{noexcept} operator is \keyword{true}
5065-
unless the full-expression of the operand
5066-
is potentially-throwing\iref{except.spec}.
50675066
\indextext{expression!unary|)}
50685067

50695068
\rSec3[expr.new]{New}

0 commit comments

Comments
 (0)
Please sign in to comment.