CWG Issue 2093 (original) (raw)

This is an unofficial snapshot of the ISO/IEC JTC1 SC22 WG21 Core Issues List revision 118e. See http://www.open-std.org/jtc1/sc22/wg21/ for the official list.

2025-11-05

2093. Qualification conversion for pointer-to-member handler matching

Section: 14.4 [except.handle]Status: CD4Submitter: David MajnemerDate: 2015-03-06

[Adopted at the February, 2016 meeting.]

The criteria for matching an exception handler in 14.4 [except.handle] paragraph 3 include a qualification conversion for a handler of pointer or reference to pointer type but not for a handler of pointer-to-member type. However, current implementations permit such conversions.

Proposed resolution (October, 2015):

Change 14.4 [except.handle] bullet 3.3 as follows:

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

• ...
• the handler is of type cv Tor const T& where T is a pointer or pointer to member type and Eis a pointer or pointer to member type that can be converted to T by either or both of
  • a standard pointer conversion (7.3.12 [conv.ptr]) not involving conversions to pointers to private or protected or ambiguous classes
  • a qualification conversion (7.3.6 [conv.qual]), or
• the handler is...

Notes from the October, 2015 meeting:

This resolution should not be adopted as a Defect Report, only a change in the working paper for future revisions of the Standard, because it could silently change the behavior of well-defined programs in implementations that conform to the existing wording.