Created on 2011-03-06.00:00:00 last changed 4 months ago
CWG 2024-06-26
Parsing of the complete-class contexts is not the topic of this issue.
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.
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.
[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:19 | admin | set | messages: + msg7759 |
2024-06-27 04:48:19 | admin | set | status: open -> c++17 |
2022-11-20 07:54:16 | admin | set | messages: + msg7027 |
2022-02-18 07:47:23 | admin | set | status: drafting -> open |
2012-09-24 00:00:00 | admin | set | messages: + msg3901 |
2011-03-06 00:00:00 | admin | create |