(In reply to comment #12)
> I'm confused why this would be an overload set. cmp1 is a template so I
> can't see how this code would even begin to be valid without specifying
> the template argument in the default argument...
Once you know A's T, you have a desired type int (*)(T, T) from which to determine which specialization of the template to use.
(In reply to comment #12)
> I'm confused why this would be an overload set. cmp1 is a template so I
> can't see how this code would even begin to be valid without specifying
> the template argument in the default argument...
Once you know A's T, you have a desired type int (*)(T, T) from which to determine which specialization of the template to use.