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

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

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

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

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

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

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

· для каждого аргумента неявное преобразование из E_X в Q_X не лучше неявного преобразования из 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} идентичны (т. е. для каждого P_i имеется тождественное преобразование в соответствующий Q_i), то для определения более подходящей функции-члена применяются следующие правила разрешения.

· Если 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.

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

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

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

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

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

7.5.3.3 Лучшее преобразование из выражения

При наличии неявного преобразования C₁, которое переводит выражение E в тип T₁, и неявного преобразования C₂, которое переводит выражение E в тип T₂, C₁ является лучшим преобразованием, чем C₂, если верно хотя бы одно из следующих утверждений:

· E имеет тип S, также существует преобразование идентификации из S в T₁, но не из S в T₂.

· E не является анонимной функцией, а T₁ является более подходящей целью преобразования, чем T₂ (§7.5.3.5).

· E является анонимной функцией, T₁ является либо типом делегата D₁, либо типом дерева выражения Expression<D₁>, T₂ является либо типом делегата D₂, либо типом дерева выражения Expression<D₂>, и верно одно из следующих утверждений:

o D₁ является более подходящей целью преобразования, чем D₂.

o D₁ и D₂ имеют идентичные списки параметров, и верно одно из следующих утверждений:

· D₁ имеет тип возвращаемого значения Y₁, а D₂ — тип возвращаемого значения Y₂, выведенный тип возвращаемого значения X существует для E в контексте данного списка параметров (§7.5.2.12), и преобразование из X в Y₁ является более подходящим, чем преобразование из X в Y₂.

· E является асинхронным выражением, D₁ имеет тип возвращаемого значения Task<Y₁>, а D₂ имеет тип возвращаемого значения Task<Y₂>, выведенный тип возвращаемого значения Task<X> существует для E в контексте данного списка параметров (§7.5.2.12), и преобразование из X в Y₁ является более подходящим, чем преобразование из X в Y₂.

· D₁ имеет тип возвращаемого значения Y, а D₂ возвращает значение void

7.5.3.4 Лучшее преобразование из типа

При наличии преобразования C₁, которое переводит тип S в тип T₁, и преобразования C₂, которое переводит тип S в тип T₂, C₁ является лучшим преобразованием, чем C₂, если верно хотя бы одно из следующих утверждений:

· Существует тождественное преобразование из S в T₁, и не существует преобразования из S в T₂.

· T₁ является лучшей целью для преобразования, чем T₂ (§7.5.3.5).

7.5.3.5 Лучшая цель для преобразования

В случае, если даны два различных типа T₁ и Т₂, Т₁ является лучшей целью для преобразования, чем Т₂, если верно одно из следующих утверждений:

· Существует неявное преобразование из T₁ в T₂, и нет неявного преобразования из T₂ в T₁.

· T₁ является целым типом со знаком, а T₂ является целым типом без знака. А именно:

o T₁ имеет тип sbyte, а T₂ имеет тип byte, ushort, uint или ulong

o T₁ имеет тип short, а T₂ имеет тип ushort, uint или ulong.

o T₁ имеет тип int, а T₂ имеет тип uint или ulong.

o T₁ равно long и T₂ равно ulong.