7.5.3.1Применимая функция-член

Функция-член называется применимой функцией-членом в соответствии со списком аргументов A, когда выполняются все следующие условия.

• Каждый аргумент в A соответствует параметру в объявлении функции члена, как описано в §7.5.1.1, и любой параметр, которому не соответствует аргумент, является необязательным параметром.

• Для каждого аргумента в A режим передачи параметра для аргумента (то есть по значению, с помощью ключевых слов ref или out) совпадает с режимом передачи соответствующего параметра и

• для параметра значения или массива параметров существует неявное преобразование (§6.1) из аргумента в тип соответствующего параметра или

• для параметров, передаваемых с помощью ref или out, тип аргумента идентичен типу соответствующего параметра. В конечном счете параметры типа ref или out представляют собой псевдонимы для передаваемых аргументов.

Для функции-члена, включающей массив параметров, если функция-член применима в соответствии с указанными правилами, то она называется применимой в нормальной форме. Если функция-член, включающая массив параметров, не применима в нормальной форме, то она может быть применима в расширенной форме.

• Расширенная форма создается путем замены массива параметров в объявлении функции-члена на ноль или другое число параметров с типом элементов массива параметров, так чтобы число аргументов в списке аргументов A совпадало с общим числом параметров. Если в списке A меньше аргументов, чем число фиксированных параметров в объявлении функции-члена, то создать расширенную форму функции-члена нельзя и поэтому она неприменима.

• Иначе расширенная форма применима, если для каждого аргумента в списке A режим передачи параметра для аргумента идентичен режиму передачи соответствующего параметра и

• для фиксированного параметра значения или параметра значения, созданного при расширении, существует неявное преобразование (§6.1) из типа аргумента в тип соответствующего параметра или

• для параметров, передаваемых с помощью ref или out, тип аргумента идентичен типу соответствующего параметра.

7.5.3.2Более подходящая функция-член

Для целей определения наиболее подходящей функции-члена формируется укороченный список аргументов А, содержащий только сами выражения аргументов в том порядке, в каком они присутствуют в исходном списке аргументов.

Списки параметров для каждого кандидата функции-члена формируется следующим способом:

• Расширенная форма используется в случае, если функция-член была применима только в расширенной форме.

• Необязательные параметры без соответствующих аргументов удаляются из списка параметров

• Порядок параметров изменяется таким образом, что они встречаются в той же позиции, что и соответствующий аргумент в списке аргументов.

При наличии списка аргументов A с набором выражений аргументов { E₁, E₂, ..., E_N } и двух применимых функций-членов M_P и M_Q с типами параметров { P₁, P₂, ..., P_N } и { Q₁, Q₂, ..., Q_N } MP считается более подходящей функцией-членом, чем M_Q, если

• для каждого аргумента неявное преобразование из EX в QX не лучше неявного преобразования из E_X в P_X и

• по крайней мере для одного аргумента преобразование из E_X в P_X лучше преобразования из E_X в Q_X.

При проведении этой оценки если M_P или M_Q применима в расширенной форме, то P_X или Q_X относится к параметру в расширенной форме списка параметров.

Если последовательности типов параметров { P₁, P₂, …, P_N } и { Q₁, Q₂, …, Q_N} идентичны, то для определения более подходящей функции-члена применяются следующие правила разрешения.

• Если M_P не является универсальным методом, а M_Q — универсальный метод, то M_P является более подходящей, чем M_Q.

• Иначе, если M_P применима в нормальной форме, а M_Q имеет массив params и применима только в расширенной форме, то M_P является более подходящей, чем M_Q.

• Иначе, если у M_P больше объявленных параметров, чем у M_Q, то M_P является более подходящей, чем M_Q. Это может просходить, когда у обеих функций-членов есть массивы params, применимые только в расширенных формах.

• Иначе, если у всех параметров M_P есть соответствующий аргумент, тогда как аргументы по умолчанию должны быть заменены на по меньшей мере один необязательный параметр в M_Q, то M_P является более подходящей, чем M_Q.

• Иначе, если у M_P более конкретные типы параметров, чем у M_Q, то M_P является более подходящей, чем M_Q. Пусть наборы {R₁, R₂, …, R_N} и {S₁, S₂, …, S_N} представляют неинициализированные и нерасширенные типы параметров функций-членов M_P и M_Q. Типы параметров M_P являются более конкретными, чем у M_Q, если для любого параметра R_X является не менее конкретным, чем S_X, и по крайней мере один параметр R_X является более конкретным, чем S_X.

• Параметр типа является менее конкретным, чем не параметр типа.

• Один сформированный тип является более конкретным, чем другой (с таким же числом аргументов типа), если у первого типа по крайней мере один аргумент типа является более конкретным по сравнению с соответствующим аргументом типа второго типа и нет аргументов типа менее конкретных по сравнению с соответствующими аргументами типа другого сформированного типа.

• Тип массива является более конкретным, чем другой тип массива (с таким же числом измерений), если тип элементов первого является более конкретным, чем тип элементов второго.

• Иначе, если один член не является оператором с нулификацией, а другой является, то оператор без нулификации считается более подходящим.

• Иначе определить более подходящую функцию-член нельзя.