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

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

Messages

Date: 2024-06-27.04:48:19

CWG 2024-06-26

Parsing of the complete-class contexts is not the topic of this issue.

Date: 2022-11-20.07:54:16

CWG 2022-11-11

With the introduction of the family of terms "templated entity", this has mostly been addressed. The remaining open issue is the timing details of the parsing of the complete-class contexts.

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 issues 1484 and 1626.

Date: 2016-06-15.00:00:00

[Resolved by P0391R0 (Introducing the term "templated entity"), adopted at the June, 2016 meeting.]

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
2024-06-27 04:48:19adminsetmessages: + msg7759
2024-06-27 04:48:19adminsetstatus: open -> c++17
2022-11-20 07:54:16adminsetmessages: + msg7027
2022-02-18 07:47:23adminsetstatus: drafting -> open
2012-09-24 00:00:00adminsetmessages: + msg3901
2011-03-06 00:00:00admincreate