C# 4.0 полное руководство - 2011

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

Тип переменной диапазона должен соответствовать типу элементов, хранящихся в источнике данных. Следовательно, тип переменной диапазона зависит от типа источника данных. Как правило, тип переменной диапазона может быть выведен средствами С#. Но выводимость типов может быть осуществлена при условии, что в источнике данных реализована форма интерфейсаIEnumerable,гдеТобозначает тип элементов в источнике данных. (Как упоминалось выше, форма интерфейсаIEnumerableреализуется во всех массивах, как, впрочем, и во многих других источниках данных.) Но если в источнике данных реализован необобщенный вариант интерфейсаI Enumerable,то тип переменной диапазона придется указывать явно. И это делается в оператореfrom.Ниже приведен пример явного объявления типаintпеременной диапазонап.

var posNums = from int n in nums // ...

Очевидно, что явное указание типа здесь не требуется, поскольку все массивы неявно преобразуются в форму интерфейсаIEnumerable,которая позволяет вывести тип переменной диапазона.

Тип объекта, возвращаемого по запросу, представляет собой экземпляр интерфейсаIEnumerable,гдеТ— тип получаемых элементов. Следовательно, тип переменной запроса должен быть экземпляром интерфейсаIEnumerable,а значениеТдолжно определяться типом значения, указываемым в оператореselect.В предыдущих примерах значениюТсоответствовал типint,поскольку переменнаяпимела типint.(Как пояснялось выше, переменнаяпотносится к типуint,потому что элементы именно этого типа хранятся в массивеnums.)С учетом явного указания типаIEnumerableупомянутый выше запрос можно было бы составить следующим образом.

IEnumerable posNums = from n in nums

where n > 0 select п^-