Created on 2024-04-07.00:00:00 last changed 3 weeks ago
Issue 2621 claimed to ask the question whether lookup for using enum declarations was supposed to be type-only, but the example actually highlighted the difference between elaborated-type-specifier lookup (where finding nothing but typedef names is ill-formed) and ordinary lookup.
However, consider:
enum A { x, y }; void f() { int A; using enum A; // #1, error: names non-type int A using T = enum A; // #2, OK, names ::A }
The two situations should both be type-only lookups for consistency, although #2 would not find typedefs.
Possible resolution:
Change in 9.7.2 [enum.udecl] paragraph 1 as follows:
A using-enum-declarator names the set of declarations found by type-only lookup (6.5.1 [basic.lookup.general]6.5.3 [basic.lookup.unqual], 6.5.5 [basic.lookup.qual]) for the using-enum-declarator (6.5.3 [basic.lookup.unqual], 6.5.5 [basic.lookup.qual]). The using-enum-declarator shall designate a non-dependent type with a reachable enum-specifier.
History | |||
---|---|---|---|
Date | User | Action | Args |
2024-04-07 00:00:00 | admin | create |