Title
Dependent types and injected-class-names
Status
nad
Section
13.8.3.2 [temp.dep.type]
Submitter
Johannes Schaub

Created on 2014-03-29.00:00:00 last changed 47 months ago

Messages

Date: 2014-06-15.00:00:00

Rationale (June, 2014):

The fact that the use of the bare injected-class-name is described as “equivalent” to the simple-template-id is sufficiently clear regarding its status that no additional entry is needed in the list of dependent types.

Date: 2022-11-20.07:54:16

According to 13.8.2 [temp.local] paragraph 1, when the injected-class-name of a class template is not followed by a template-argument-list or otherwise used as a template-name,

it is equivalent to the template-name followed by the template-parameters of the class template enclosed in <>.

This use of the template-parameters of the class template should make the injected-class-name a dependent type; however, the definition of dependent types in 13.8.3.2 [temp.dep.type] paragraph 8 applies to the injected-class-name only when it appears in a simple-template-id. An additional case is needed for the bare injected-class-name.

History
Date User Action Args
2020-12-15 00:00:00adminsetmessages: + msg6313
2020-12-15 00:00:00adminsetstatus: open -> nad
2014-03-29 00:00:00admincreate