This is the mail archive of the
mailing list for the GCC project.
Re: Partial ordering bug (?) in egcs
- To: kunert at physik dot tu-dresden dot de (Thomas Kunert), egcs-bugs at cygnus dot com
- Subject: Re: Partial ordering bug (?) in egcs
- From: Jason Merrill <jason at cygnus dot com>
- Date: 11 Aug 1998 11:40:01 -0700
- References: <199808101939.PAA53124@seurat.uwaterloo.ca> <35CFD56F.C6A70480.firstname.lastname@example.org>
>>>>> Thomas Kunert <email@example.com> writes:
> Unfortunately I don't have a copy of the FDIS, but the Nov. 97 WP says
> in 22.214.171.124 [temp.func.order]:
> 3 Using the transformed function parameter list, perform argument deduc-
> tion against the other function template. The transformed template is
> at least as specialized as the other if, and only if, the deduction
> succeeds and the deduced parameter types are an exact match (so the
> deduction does not rely on implicit conversions).
> `const T2&' is not supposed to be the the "same as" but an "exact match"
> for `IndexPlaceholder<N_index>'. In the example above you can choose an
> appropriate T2. Hence I think #2 is more specialized than #1.
Granting this point for the sake of argument, it still depends on the
deduction succeeding. There is no way to deduce T2 in this case, since
"const T2&" is a reference type and "IndexPlaceholder<N_index>" is not.