Title
Generic non-template members
Status
drafting
Section
13.9 [temp.spec]
Submitter
Nikolay Ivchenkov

Created on 2011-03-06.00:00:00 last changed 104 months ago

Messages

Date: 2012-08-15.00:00:00

Additional notes (August, 2012):

Among the generic entities that should be covered by such a term are default function arguments, as they can be instantiated independently. If issue 1330 is resolved as expected, exception-specifications should also be covered by the same term.

See also issue 1484.

Date: 2012-02-27.00:00:00

Many statements in the Standard apply only to templates, for example, 13.8 [temp.res] paragraph 8:

If no valid specialization can be generated for a template definition, and that template is not instantiated, the template definition is ill-formed, no diagnostic required.

This clearly should apply to non-template member functions of class templates, not just to templates per se. Terminology should be established to refer to these generic entities that are not actually templates.

History
Date User Action Args
2012-09-24 00:00:00adminsetmessages: + msg3901
2011-03-06 00:00:00admincreate