Title
typename in a using-declaration with a non-dependent name
Status
open
Section
9.9 [namespace.udecl]
Submitter
UK

Created on 2009-03-03.00:00:00 last changed 26 months ago

Messages

Date: 2022-03-15.00:00:00

Additional notes (March, 2022):

The relevant wording is now in 13.8.1 [temp.res.general] paragraph 5:
A name that refers to a using-declarator whose terminal name is dependent is interpreted as a typedef-name if the using-declarator uses the keyword typename.
Date: 2009-03-03.00:00:00
N2800 comment UKĀ 101

9.9 [namespace.udecl] paragraph 20 says,

If a using-declaration uses the keyword typename and specifies a dependent name (13.8.3 [temp.dep]), the name introduced by the using-declaration is treated as a typedef-name (9.2.4 [dcl.typedef]).

This wording does not address use of typename in a using-declaration with a non-dependent name; the primary specification of the typename keyword in 13.8 [temp.res] does not appear to describe this case, either.

History
Date User Action Args
2022-02-18 07:47:23adminsetmessages: + msg6700
2009-03-03 00:00:00admincreate