Created on 2010-08-03.00:00:00 last changed 96 months ago
[Voted into the WP at the November, 2010 meeting.]
Proposed resolution (September, 2010):
Change 184.108.40.206 [temp.func.order] paragraph 2 as follows:
Partial ordering selects which of two function templates is more specialized than the other by transforming each template in turn (see next paragraph) and performing template argument deduction using the function
parameter types, or in the case of a conversion function the returntype. The deduction process determines whether one of the templates is more specialized than the other. If so, the more specialized template is the one chosen by the partial ordering process.
Change 220.127.116.11 [temp.func.order] paragraph 4 as follows:
Using the transformed function template's function
parameter list, or in the case of a conversion function its transformed returntype, perform type deduction against the function parameter list (or return type)of the other function . The mechanism for performing these deductions is given in 18.104.22.168 [temp.deduct.partial].
22.214.171.124 [temp.deduct.partial] paragraph 3 specifies that the deduction used in partial ordering in a non-call context is based on the complete function type of the function templates. The wording in 126.96.36.199 [temp.func.order] paragraph 2 (and echoed in paragraph 4) reflects an earlier specification, however, saying that the deduction uses only “the function parameter types, or in the case of a conversion function the return type.” This is a contradiction. The wording in 188.8.131.52 [temp.func.order] should be changed.
|2014-03-03 00:00:00||admin||set||status: fdis -> c++11|
|2011-04-10 00:00:00||admin||set||status: dr -> fdis|
|2010-11-29 00:00:00||admin||set||messages: + msg3200|
|2010-11-29 00:00:00||admin||set||status: tentatively ready -> dr|
|2010-10-18 00:00:00||admin||set||messages: + msg2994|
|2010-10-18 00:00:00||admin||set||status: drafting -> tentatively ready|