[ Note: forwarded to C++ committee. -sdc ]

The text of the draft [N1905=05-0165], clause 2, states that the word
typename followed by a qualified-id denotes the type of a non-type parameter
declaration:
------------------------------------------------------------------------------------------
14.1 Template parameters [temp.param]
    1 The syntax for template-parameters is:
        template-parameter:
            type-parameter
            parameter-declaration
..
    2 There is no semantic difference between class and typename in a
template-parameter. typename followed by an
unqualified-id names a template type parameter. *** typename followed by a
qualified-id denotes the type in a non-type
132) parameter-declaration. ***
-------------------------------------------------------------------------------------------

However, qualified-id is defined as a sequence that either begins with :: or
nested-name-specifier, which is always followed by ::. The text should
probably say "typename followed by decl-specifier-seq denotes the type in a
non-type parameter-declaration".

Regards,
Andre Morozov


[ comp.std.c++ is moderated.  To submit articles, try just posting with ]
[ your news-reader.  If that fails, use mailto:std-c++@ncar.ucar.edu    ]
[              --- Please see the FAQ before posting. ---               ]
[ FAQ: http://www.jamesd.demon.co.uk/csc/faq.html                       ]