Title
Use of typename in the type in a non-type parameter-declaration
Status
nad
Section
13.3 [temp.names]
Submitter
Andre Morozov

Created on 2005-12-15.00:00:00 last changed 219 months ago

Messages

Date: 2006-04-15.00:00:00

Rationale (April, 2006):

The CWG felt that the wording was already clear enough.

Date: 2022-11-20.07:54:16

The discussion in of the use of typename with a qualified-id in a template parameter-declaration in 13.3 [temp.names] paragraph 2 is confusing:

typename followed by an unqualified-id names a template type parameter. typename followed by a qualified-id denotes the type in a non-type parameter-declaration.

This rule would be clearer if the unqualified-id case were described in terms of resolving the ambiguity of declaring a template parameter name versus referring to a type-name from the enclosing scope, and if the qualified-id case referred to the use of the typename keyword with dependent types in 13.8 [temp.res]. An example would also be helpful.

History
Date User Action Args
2006-04-22 00:00:00adminsetmessages: + msg1374
2006-04-22 00:00:00adminsetstatus: open -> nad
2005-12-15 00:00:00admincreate