- Title
- Cross-references incorrect in conversion function template argument deduction
- Status
- cd3
- Section
- 13.10.3.4 [temp.deduct.conv]
- Submitter
- Michael Wong
Created on 2011-08-15.00:00:00 last changed 142 months ago
Messages
Date: 2012-10-15.00:00:00
[Moved to DR at the October, 2012 meeting.]
Date: 2012-02-15.00:00:00
Proposed resolution (February, 2012):
Change 13.10.3.4 [temp.deduct.conv] paragraph 1 as follows:
Template argument deduction is done by comparing the return type of the conversion function template (call it P; see 9.5 [dcl.init], 12.2.2.6 [over.match.conv], and 12.2.2.7 [over.match.ref] for the determination of that type) with the type that is required as the result of the conversion (call it A; see 9.5 [dcl.init], 12.2.2.6 [over.match.conv], and 12.2.2.7 [over.match.ref] for the determination of that type) as described in 13.10.3.6 [temp.deduct.type].
Date: 2011-08-15.00:00:00
According to 13.10.3.4 [temp.deduct.conv] paragraph 1,
Template argument deduction is done by comparing the return type of the conversion function template (call it P; see 9.5 [dcl.init], 12.2.2.6 [over.match.conv], and 12.2.2.7 [over.match.ref] for the determination of that type) with the type that is required as the result of the conversion (call it A) as described in 13.10.3.6 [temp.deduct.type].
It would seem that the cross-references should apply to the determination of the type “required as the result of the conversion” (i.e., A) instead of the return type of the conversion function.
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2014-03-03 00:00:00 | admin | set | status: drwp -> cd3 |
| 2013-05-03 00:00:00 | admin | set | status: dr -> drwp |
| 2012-11-03 00:00:00 | admin | set | messages: + msg4165 |
| 2012-11-03 00:00:00 | admin | set | status: ready -> dr |
| 2012-02-27 00:00:00 | admin | set | messages: + msg3740 |
| 2012-02-27 00:00:00 | admin | set | status: open -> ready |
| 2011-08-15 00:00:00 | admin | create | |