On 2022-11-20 19:03, nytpu wrote:
> If an exception is *explicitly* raised during a variable assignment, what
> happens to the variable contents? Are they in an undefined ("abnormal")
> state, or are the previous contents preserved?
If the exception occurs during evaluation of the RHS, as in your example, then
the language guarantees that the value of the LHS is unchanged. The execution of
the assignment statement is abandoned before the value of the LHS is changed.
If an exception is raised while adjusting a controlled LHS, then the value of
the LHS has already been changed before the exception is raised.
> -- insert a nested handler, because the ARM § 11.4 ¶ 3 *does*
> -- say that the currently executing body is "abnormally
> -- completed" (including finalizing everything) before
> -- entering the exception handler
This comment is false. Finalization does not occur until the exception handler
finishes. Exception handlers would be pretty useless otherwise.
"English bed-wetting types."
Monty Python & the Holy Grail