- Title
- Criteria for deduction failure
- Status
- c++11
- Section
- 13.10.3 [temp.deduct]
- Submitter
- James Widman
Created on 2006-04-19.00:00:00 last changed 151 months ago
Messages
Date: 2010-08-15.00:00:00
[Voted into WP at August, 2010 meeting.]
Date: 2010-03-15.00:00:00
Proposed resolution (March, 2010): Change 13.10.3 [temp.deduct] paragraph 5 as follows:
When all template arguments have been deduced or obtained from
default template arguments, all uses of template parameters in
non-deduced contexts the template parameter list
of the template and the function type are replaced with the
corresponding deduced or default argument values. If the
substitution results in an invalid type, as described above, type
deduction fails.
Date: 2008-09-15.00:00:00
Notes from the September, 2008 meeting: This issue was returned to "drafting" status in order to
coordinate the wording with the concepts proposal.
Date: 2006-10-15.00:00:00
Proposed resolution (October, 2006): Change 13.10.3 [temp.deduct] paragraph 5 as follows:
...When all template arguments have been deduced or obtained from
default template arguments, all uses of template parameters in
non-deduced contexts the function type are replaced with
the corresponding deduced or default argument values. If the
substitution results in an invalid type, as described above, type
deduction fails.
Date: 2006-04-19.00:00:00
The last two sentences of 13.10.3 [temp.deduct] paragraph 5
read: Shouldn't the substitution occur for all uses of the parameters, so
that any of them could result in deduction failure?
When all template arguments have been deduced or obtained from default
template arguments, all uses of template parameters in non-deduced
contexts are replaced with the corresponding deduced or default
argument values. If the substitution results in an invalid type, as
described above, type deduction fails.
| History | |||
|---|---|---|---|
| Date | User | Action | Args |
| 2014-03-03 00:00:00 | admin | set | status: fdis -> c++11 |
| 2011-04-10 00:00:00 | admin | set | status: wp -> fdis |
| 2010-11-29 00:00:00 | admin | set | status: dr -> wp |
| 2010-08-23 00:00:00 | admin | set | messages: + msg2932 |
| 2010-08-23 00:00:00 | admin | set | status: ready -> dr |
| 2010-03-29 00:00:00 | admin | set | status: review -> ready |
| 2010-02-16 00:00:00 | admin | set | messages: + msg2567 |
| 2010-02-16 00:00:00 | admin | set | status: drafting -> review |
| 2008-10-05 00:00:00 | admin | set | messages: + msg1786 |
| 2008-10-05 00:00:00 | admin | set | status: review -> drafting |
| 2006-11-05 00:00:00 | admin | set | messages: + msg1409 |
| 2006-11-05 00:00:00 | admin | set | status: open -> review |
| 2006-04-19 00:00:00 | admin | create | |