Skip to content

[except.throw] doesn't specify the type of the lvalue denoting the exception object #5091

Closed
@languagelawyer

Description

@languagelawyer

[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?

Activity

jensmaurer

jensmaurer commented on Nov 6, 2021

@jensmaurer
Member

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?

self-assigned this
on Nov 6, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Metadata

Assignees

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

    Participants

    @jensmaurer@languagelawyer

    Issue actions

      [except.throw] doesn't specify the type of the lvalue denoting the exception object · Issue #5091 · cplusplus/draft