Closed
Description
[except.throw]/3:
Throwing an exception copy-initializes a temporary object, called the exception object.
An lvalue denoting the temporary is used to initialize the variable declared in the matching handler ([except.handle]).
Is there any wording defining the type of this lvalue? Also, https://timsong-cpp.github.io/cppwp/except.handle#14 is worded in terms of initialization from object, not expression. Does it need a separate issue?
Metadata
Metadata
Assignees
Labels
No labels
Activity
jensmaurer commentedon Nov 6, 2021
At least [expr.throw] clearly says what the type of the exception object is. Can you find other situations where we fail to say what the type of the exception object is?