7.5.2.7Вывод явных типов параметров

Явный Вывод типа параметра выполняется из выражения E с типом T следующим образом:

• Если E является анонимной функцией c явным указанием типа с типами параметров U₁…U_k, а T является типом делегата или типом дерева выражения с типами параметров V₁…V_k, то для каждого U_i выполняется точный вывод (§7.5.2.8) из Ui к соответствующему V_i.

7.5.2.8Точный вывод

Точный вывод из типа U для типа V выполняется следующим образом.

• Если V является одним из нефиксированных X_i, то U добавляется к набору границ для X_i.

• Иначе, наборы V₁…V_k и U₁…U_k определяются проверкой применимости одного из следующих случаев:

• V является типом массива V₁[…], а U - U₁[…] того же ранга

• V является типом V₁?, а U - типом U₁?

• V является сформированным типом C<V₁…V_k>, а U - сформированным типом C<U₁…U_k>

Если применим хотя бы один из этих случаев, выполняется точный вывод из каждого U_i в соответствующий V_i.

• Иначе вывод не производится.

7.5.2.9Вывод нижних границ

Вывод нижних границ из типа U для типа V выполняется следующим образом.

• Если V является одним из нефиксированных X_i, то U добавляется к набору нижних границ для X_i.

• Иначе, наборы U₁…U_k и V₁…V_k определяются проверкой применимости одного из следующих случаев:

• V является типом массива V₁[…], а U - U₁[…] (или типом параметра, эффективный базовый тип которого - U₁[…]) того же ранга

• V - один из IEnumerable<V₁>, ICollection<V₁> или IList<V₁>, а U - тип одномерного массива U₁[] (или параметр типа, эффективный базовый тип которого - U₁[])

• V является типом V₁?, а U - тип V₁?

• V - сформированный класс, структура, интерфейс или тип делегата C<V₁…V_k>; также существует уникальный тип C<U₁…U_k>, в котором U (или, если U является параметром типа, его эффективный базовый класс или любой член его набора эффективных интерфейсов) идентичен, наследует от (напрямую или косвенно) или реализует (напрямую или косвенно) C<U₁…U_k>.

(Ограничение "уникальности" означает, что в случае interface C<T>{} class U: C<X>, C<Y>{} во время вывода из U в C<T> вывод произведен не будет, так как U₁ может быть X или Y.)

Если применим хотя бы один из этих случаев, выполняется точный вывод из каждого U_i в соответствующий V_i следующим образом:

• Если неизвестно, что U_i является ссылочным типом, выполняется точный вывод

• Иначе, если U - тип массива, выполняется вывод по нижней границе

• Иначе, если V является C<V₁…V_k>, вывод зависит от i-го параметра типа C:

• Если он ковариантен, выполняется вывод по нижней границе.

• Если он контрвариантен, выполняется вывод по верхней границе.

• Если он инвариантен, выполняется точный вывод.

• Иначе вывод не производится.

7.5.2.10Вывод по верхним границам

Вывод верхних границ из типа U для типа V выполняется следующим образом.

• Если V является одним из нефиксированных X_i, то U добавляется к набору верхних границ для X_i.

• Иначе, наборы V₁…V_k и U₁…U_k определяются проверкой применимости одного из следующих случаев:

• U является типом массива U₁[…], а V - U₁[…] того же ранга

• U - один из IEnumerable<U_e>, ICollection<U_e> или IList<U_e>, а V - тип одномерного массива V_e[]

• U является типом U₁?, а V - типом V₁?

• U - сформированный класс, структура, интерфейс или тип делегата C<U₁…U_k>, а V - класс, структура, интерфейс или тип делегата, идентичный, наследующий от (напрямую или косвенно), или реализующий (напрямую или косвенно) уникальный тип C<U₁…U_k>

(Ограничение "уникальности" означает, что в случае interface C<T>{} class V<Z>: C<X<Z>>, C<Y<Z>>{} при выводе из C<U₁> в V<Q> вывод производиться не будет. Вывод не выполняется из U₁ в X<Q> или Y<Q>.)

Если применим хотя бы один из этих случаев, выполняется точный вывод из каждого U_i в соответствующий V_i следующим образом:

• Если неизвестно, что U_i является ссылочным типом, выполняется точный вывод

• Иначе, если V является типом массива, выполняется вывод по верхней границе

• Иначе, если U является C<U₁...U_k>, вывод зависит от i-го параметра типа C:

• Если он ковариантен, выполняется вывод по верхней границе.

• Если он контрвариантен, выполняется вывод по нижней границе.

• Если он инвариантен, выполняется точный вывод.

• Иначе вывод не производится.