------- Comment #2 from  2009-01-24 08:45 -------
(In reply to comment #1)
> How would you use such a thing?
> The trouble is that F!(int, char[], Object) in itself is ambiguous - does T1
> bind to int and T2 to (char[], Object), or T1 to (int, char[]) and T2 to
> Object?  Even one to the empty tuple and the the other to the whole thing? 
> F!(int, char[], Object) would effectively have to be an internal, intermediate
> template with the point of division as a parameter.
> If you try to call the whole thing using IFTI, it's still ambiguous - what 
> will
> T1 bind to?
> Maybe it could be made to work, if the compiler can be made to try to match
> templates before expanding symbolic tuples under suitable conditions.

When instantiated explicitly, all explicit arguments are eaten by T1. This is
the purpose of the pattern: pass some explicit arguments, then deduce some more
implicitly. Currently this is possible, but only with one ellipsis.


Reply via email to