Date: 2000-10-15.00:00:00

Proposed resolution (10/00):

1. Change 14.2 [except.throw] paragraph 3 from

   A throw-expression initializes a temporary object, the type of which is determined...

   to

   A throw-expression initializes a temporary object, called the exception object, the type of which is determined...

2. Change 14.4 [except.handle] paragraph 3 from

   A handler is a match for a throw-expression with an object of type E if...

   to

   A handler is a match for an exception object of type E if...

Date: 2000-10-15.00:00:00

Proposed resolution (10/00):

1. Change 14.2 [except.throw] paragraph 3 from

   A throw-expression initializes a temporary object, the type of which is determined...

   to

   A throw-expression initializes a temporary object, called the exception object, the type of which is determined...

2. Change 14.4 [except.handle] paragraph 3 from

   A handler is a match for a throw-expression with an object of type E if...

   to

   A handler is a match for an exception object of type E if...

Date: 2026-07-25.21:52:10

14.4 [except.handle] paragraph 3 says,

A handler is a match for a throw-expression with an object of type E ...

This wording leaves it unclear whether it is the dynamic type of the object being thrown or the static type of the expression that determines whether a handler is a match for a given exception. For instance,

    struct B { B(); virtual ~B(); };
    struct D : B { D(); };
    void toss(const B* b) { throw *b; }
    void f() { const D d; toss(&d); }

In this code, presumably the type to be matched is B and not const D (14.2 [except.throw]).

Suggested resolution: Replace the cited wording as follows:

A handler is a match for a throw-expression which initialized a temporary (14.2 [except.throw]) of type E ...