Break, continue и goto 23 страница

7.4.2.6 Вывод типа вывода;

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

· Если E является анонимной функцией с полученным типом возвращаемого значения U (§7.4.2.11), а T является типом делегата или типом дерева выражения с типом возвращаемого значения T_b, то выполняется вывод из U для T_b по нижней границе (§7.4.2.9).

· Иначе, если E является группой методов, а T является типом делегата или типом возвращаемого значения дерева выражения T_b с типами параметров T₁…T_k и типом возвращаемого значения T_b, и разрешение перегрузки E с типами T₁…T_k дает один метод с типом возвращаемого значения U, то выполняется вывод из U для T_b по нижней границе.

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

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

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

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

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

7.4.2.8 Точный вывод;

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

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

· Иначе, если U является типом массива U_e[…] и V является типом массива V_e[…] одного ранга, выполняется точный вывод из U_e в V_e.

· Иначе, если V является сформированным типом C<V₁…V_k> и U является сформированным типом C<U₁…U_k>, то выполняется точный вывод из каждого типа U_i в соответствующий V_i.

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

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

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

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

· Иначе, если U является типом массива U_e[…] и V является типом массива V_e[…] такого же ранга, либо если U является типом одномерного массива U_e[]и V является одним из интерфейсов IEnumerable<V_e>, ICollection<V_e> или IList<V_e>, то

o если известно, что U_e является ссылочным типом, то выполняется вывод из U_e в V_e по нижней границе;

o иначе выполняется точный вывод из U_e в V_e.

· Иначе, если V является сформированным типом C<V₁…V_k> и имеется уникальный набор типов U₁…U_k, такой что существует стандартное неявное преобразование из U в C<U₁…U_k>, выполняется точный вывод из каждого U_i для соответствующего V_i.

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

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

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

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

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

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

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

7.4.2.11 Выведенный тип возвращаемого значения

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

· Если телом F является выражение, то выведенный тип возвращаемого значения F совпадет с типом этого выражения.

· Если телом F является блок, а самым подходящим общим типом для набора выражений в операторах return блока является T (§7.4.2.13), то выведенным типом возвращаемого значения F будет T.

· Иначе тип возвращаемого значения для E вывести нельзя.

В качестве примера вывода типа с анонимной функцией рассмотрим метод расширения Select, объявленный в классе System.Linq.Enumerable:

namespace System.Linq
{
public static class Enumerable
{
public static IEnumerable<TResult> Select<TSource,TResult>(
this IEnumerable<TSource> source,
Func<TSource,TResult> selector)
{
foreach (TSource element in source) yield return selector(element);
}
}
}

Предположим, что пространство имен System.Linq было импортировано с помощью предложения using и у класса Customer свойство Name имеет тип string. Тогда для выбора имен списка клиентов можно использовать метод Select:

List<Customer> customers = GetCustomerList();
IEnumerable<string> names = customers.Select(c => c.Name);

Вызов метода расширения (§7.5.5.2) для Select обрабатывается путем перезаписи вызова статического метода:

IEnumerable<string> names = Enumerable.Select(customers, c => c.Name);

Поскольку аргументы типа не были указаны явно, для получения аргументов типа используется вывод типа. Сначала аргумент customers связывается с параметром source, и для T выводится тип Customer. Затем с помощью описанного выше процесса вывода типа анонимной функции c присваивается тип Customer, а выражение c.Name связывается с типом возвращаемого значения параметра selector, и для S выводится тип string. Таким образом, этот вызов эквивалентен

Sequence.Select<Customer,string>(customers, (Customer c) => c.Name)

а результат имеет тип IEnumerable<string>.

В следующем примере демонстрируется, как вывод типа анонимной функции обеспечивает «перетекание» данных о типе между аргументами в вызове универсального метода. Если имеется метод

static Z F<X,Y,Z>(X value, Func<X,Y> f1, Func<Y,Z> f2) {
return f2(f1(value));
}

вывод типа при вызове

double seconds = F("1:15:30", s => TimeSpan.Parse(s), t => t.TotalSeconds);

будет происходить следующим образом. Сначала аргумент «1:15:30» связывается с параметром value, и для X выводится тип string. Затем параметру первой анонимной функции s присваивается выведенный тип string, а выражение TimeSpan.Parse(s) связывается с типом возвращаемого значения f1, и для Y выводится тип System.TimeSpan. Наконец, параметр второй анонимной функции t получает выведенный тип System.TimeSpan, а выражение t.TotalSeconds связывается с типом возвращаемого значения f2, и для Z выводится тип double. Таким образом, результат вызова имеет тип double.