Title
Argument-dependent lookup with incomplete class types
Status
dr
Section
6.5.4 [basic.lookup.argdep]
Submitter
Lewis Baker

Created on 2024-02-08.00:00:00 last changed 3 weeks ago

Messages

Date: 2024-03-03.21:57:08

Proposed resolution (approved by CWG 2024-03-01)

Change in 6.5.4 [basic.lookup.argdep] bullet 3.2 as follows:

  • ...
  • If T is a class type (including unions), its associated entities are: the class itself; the class of which it is a member, if any; and, if it is a complete type, its direct and indirect base classes. ...
  • ...
Date: 2024-03-15.00:00:00

[Accepted as a DR at the March, 2024 meeting.]

Subclause 6.5.4 [basic.lookup.argdep] bullet 3.2 specifies:

  • ...
  • If T is a class type (including unions), its associated entities are: the class itself; the class of which it is a member, if any; and its direct and indirect base classes. ...
  • ...

It is unclear what happens if T is incomplete, for example because it was instantiated from a template whose definition was not (yet) available.

History
Date User Action Args
2024-04-05 21:43:46adminsetstatus: ready -> dr
2024-03-20 14:10:31adminsetstatus: tentatively ready -> ready
2024-03-03 21:57:08adminsetstatus: open -> tentatively ready
2024-02-11 08:38:03adminsetmessages: + msg7600
2024-02-08 00:00:00admincreate