Better function member. Given an argument list A with a set of argument expressions { E1, E2, , EN } and two applicable function members MP and MQ with parameter types { P1

Given an argument list A with a set of argument expressions { E₁, E₂,..., E_N } and two applicable function members M_P and M_Q with parameter types { P₁, P₂,..., P_N } and { Q₁, Q₂,..., Q_N }, M_P is defined to be a better function member than M_Q if

· for each argument, the implicit conversion from E_X to Q_X is not better than the implicit conversion from E_X to P_X, and

· for at least one argument, the conversion from E_X to P_X is better than the conversion from E_X to Q_X.

When performing this evaluation, if M_P or M_Q is applicable in its expanded form, then P_X or Q_X refers to a parameter in the expanded form of the parameter list.

In case the parameter type sequences {P₁, P₂, …, P_N} and {Q₁, Q₂, …, Q_N} are identical, the following tie-breaking rules are applied, in order, to determine the better function member.

· If M_P is a non-generic method and M_Q is a generic method, then M_P is better than M_Q.

· Otherwise, if M_P is applicable in its normal form and M_Q has a params array and is applicable only in its expanded form, then M_P is better than M_Q.

· Otherwise, if M_P has fewer declared parameters than M_Q, then M_P is better than M_Q. This can occur if both methods have params arrays and are applicable only in their expanded forms.

· Otherwise, if M_P has more specific parameter types than M_Q, then M_P is better than M_Q. Let {R₁, R₂, …, R_N} and {S₁, S₂, …, S_N} represent the uninstantiated and unexpanded parameter types of M_P and M_Q. M_P’s parameter types are more specific than M_Q’s if, for each parameter, R_X is not less specific than S_X, and, for at least one parameter, R_X is more specific than S_X:

o A type parameter is less specific than a non-type parameter.

o Recursively, a constructed type is more specific than another constructed type (with the same number of type arguments) if at least one type argument is more specific and no type argument is less specific than the corresponding type argument in the other.

o An array type is more specific than another array type (with the same number of dimensions) if the element type of the first is more specific than the element type of the second.

· Otherwise if one member is a non-lifted operator and the other is a lifted operator, the non-lifted one is better.

· Otherwise, neither function member is better.