Title
Equivalence of template-ids and operator function templates
Status
cd1
Section
13.6 [temp.type]
Submitter
Richard Corden

Created on 2008-03-01.00:00:00 last changed 161 months ago

Messages

Date: 2008-09-15.00:00:00

[Voted into the WP at the September, 2008 meeting.]

Date: 2008-06-15.00:00:00

Proposed resolution (June, 2008):

Change 13.6 [temp.type] paragraph 1, first bullet, as follows:

  • their template-names or operator-function-ids refer to the same template, and

Date: 2008-06-29.00:00:00

In order for two template-ids to refer to the same function, 13.6 [temp.type] paragraph 1, bullet 1 requires that

  • their template-names refer to the same template

This makes it impossible for two template-ids referring to operator function templates to be equivalent, because only simple-template-ids have a template-name, and a template-id referring to an operator function template is not a simple-template-id (13.3 [temp.names] paragraph 1).

Suggested resolution:

Change 13.6 [temp.type] paragraph 1, bullet 1 to read,

  • their template-names or operator-function-ids refer to the same template

History
Date User Action Args
2008-10-05 00:00:00adminsetmessages: + msg1830
2008-10-05 00:00:00adminsetstatus: ready -> cd1
2008-06-29 00:00:00adminsetmessages: + msg1675
2008-06-29 00:00:00adminsetstatus: open -> ready
2008-03-01 00:00:00admincreate