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

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

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

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

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

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

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

• D₁ имеет тип возвращаемого значения Y₁, а D₂ - тип возвращаемого значения Y₂, выведенный тип возвращаемого значения 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₂ в T₁

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

• T₁ является sbyte, а T₂ является byte, ushort, uint или ulong

• T₁ является short, а T₂ является ushort, uint или ulong

• T₁ является int, а T₂ является uint или ulong

• T₁ является long, а T₂ является ulong

7.5.3.6Перегрузка в универсальных классах

Несмотря на то что сигнатуры при объявлении должны быть уникальными, при замене аргументов типа могут создаваться идентичные сигнатуры. В таких случаях конечные правила разрешения перегрузки, описанные выше, позволят выбрать конкретный член.

В следующих примерах показываются допустимые и недопустимые в соответствии с этим правилом перегрузки:

interface I1<T> {...}

interface I2<T> {...}

class G1<U> { int F1(U u); // Overload resulotion for G<int>.F1 int F1(int i); // will pick non-generic

void F2(I1<U> a); // Valid overload void F2(I2<U> a); }

class G2<U,V> { void F3(U u, V v); // Valid, but overload resolution for void F3(V v, U u); // G2<int,int>.F3 will fail

void F4(U u, I1<V> v); // Valid, but overload resolution for void F4(I1<V> v, U u); // G2<I1<int>,int>.F4 will fail

void F5(U u1, I1<V> v2); // Valid overload void F5(V v1, U u2);

void F6(ref U u); // valid overload void F6(out V v); }