This is the mail archive of the gcc-bugs@gcc.gnu.org mailing list for the GCC project.


Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]

Re: Partial ordering bug (?) in egcs


>>>>> Thomas Kunert <kunert@physik.tu-dresden.de> writes:

> Unfortunately I don't have a copy of the FDIS, but the Nov. 97 WP says
> in 14.5.5.2 [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.

Jason



Index Nav: [Date Index] [Subject Index] [Author Index] [Thread Index]
Message Nav: [Date Prev] [Date Next] [Thread Prev] [Thread Next]