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

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

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

Точный вывод

Точный вывод из типа 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> and U — сформированным типом C<U₁…U_k>.

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

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

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

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

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

· Иначе, если V является типом V₁? и U является типом U₁?, то выполняется вывод по нижней границе из U₁ к V₁.

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

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

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

· 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:

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

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

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

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

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

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

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

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

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

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

· U является типом U₁? и V является типом V₁?.

· U — сформированный класс, структура, интерфейс или тип делегата C<U₁…U_k>, а V — класс, структура, интерфейс или тип делегата, идентичный, наследующий от (напрямую или косвенно), или реализующий (напрямую или косвенно) уникальный тип C<V₁…V_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:

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

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

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

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

Фиксирование

Нефиксированная переменная типа X_i с набором границ фиксируется следующим образом.

· Набор типов кандидатов U_j изначально формируется как набор всех типов в наборе границ для X_i.

· Затем по очереди проверяется каждая граница для X_i: для каждой точной границы U для X_i все типы U_j, не являющиеся идентичными U, удаляются из набора кандидатов. Для каждой нижней границы U для X_i из набора кандидатов удаляются все типы U_j, в которые не существует неявного преобразования из U. Для каждой верхней границы U для X_i из набора кандидатов удаляются все типы U_j, из которых не существует неявного преобразования в U.

· Если среди оставшихся типов-кандидатов U_j имеется уникальный тип V, из которого существует неявное преобразование во все остальные типы-кандидаты, то X_i фиксируется в V.

· Иначе вывод типа завершается сбоем.