Programming Taskbook 0

Глава 4. Запросы 
85 
менты с одинаковой последней цифрой. При выводе сгруппированной по-
следовательности процедурой Writeln она представляется в виде обычной 
иерархической последовательности (в нашем случае — последовательно-
сти групп чисел). Порядок следования групп (и элементов в пределах каж-
дой группы) определяется однозначно: в пределах каждой группы все эле-
менты сохраняют свой исходный порядок, а группы располагаются в том 
порядке, в котором появляются в исходной последовательности первые 
элементы с данными ключами. 
Приведенный фрагмент никак не отражает тот факт, что результат за-
проса (переменная res) является особым типом IGrouping. Чтобы продемон-
стрировать это, дополним фрагмент следующим циклом: 
foreach var e in res do 
Print(e.Key); // 0 9 3 4 2 
В результате выполнения этого цикла на экране напечатаются значе-
ния ключей, соответствующих группам последовательности res. Именно в 
наличии дополнительного свойства Key у элементов и состоит единствен-
ное отличие типа IGrouping от обычной иерархической последовательности. 
Разобравшись с простейшим вариантом запроса GroupBy, перейдем к 
его более сложным вариантам. 
Группировка может сопровождаться проецированием; в результате 
полученная последовательность будет содержать элементы типа IGroup-
ing, где TRes — тип элементов, полученных из элементов ис-
ходной последовательности путем некоторого преобразования. Требуемое 
преобразование задается в качестве второго параметра метода GroupBy и 
представляет собой лямбда-выражение elemSel (селектор элемента), при-
нимающее элемент исходной последовательности и возвращающее преоб-
разованный элемент (типа TRes). Таким образом, в данном случае группы 
будут состоять из элементов типа TRes. 
Модифицируем предыдущий пример таким образом, чтобы в группы 
включались преобразованные числа из исходной последовательности, в 
которых отброшена правая цифра: 
var a := Seq(10, 29, 33, 84, 40, 59, 52, 53, 60); 
var res := a.GroupBy(e -> e mod 10, e -> e div 10); 
Writeln(res); // [[1,4,6],[2,5],[3,5],[8],[5]] 
foreach var e in res do 
Print(e.Key); // 0 9 3 4 2 
В этом примере свойство Key оказывается особенно полезным, так как 
по значениям самих элементов в полученных группах невозможно восста-
новить значение их общего ключа. 
Третий и четвертый варианты запроса GroupBy являются наиболее гиб-
кими, поскольку предоставляют программисту возможность самостоятель-

---

86 
но определить, в каком виде будут храниться сгруппированные элементы в 
результирующей последовательности. Для этого используется параметр 
finalSel (финальный селектор) — лямбда-выражение, принимающее ключ и 
связанную с ним группу (последовательность) и возвращающее новое 
представление данной группы. В третьем варианте запроса финальный се-
лектор принимает последовательность исходных элементов (типа T); в чет-
вертом варианте дополнительно выполняется проецирование: исходные 
элементы преобразуются к типу TElem с помощью селектора элемента el-
emSel, после чего полученные последовательности сгруппированных эле-
ментов (уже имеющих тип TElem) обрабатываются в финальном селекторе. 
Обычно варианты запроса GroupBy с финальным селектором исполь-
зуются в ситуациях, когда в результате группировки требуется получить не 
сами группы элементов, а некоторые их характеристики. 
Например, следующий фрагмент позволяет получить для каждой 
группы кортеж из двух значений: ключа группы и суммы всех входящих в 
нее элементов: 
var a := Seq(10, 29, 33, 84, 40, 59, 52, 53, 60); 
var res := a.GroupBy(e -> e mod 10, (k, ee) -> (k, ee.Sum)); 
Writeln(res); // [(0,110),(9,88),(3,86),(4,84),(2,52)] 
Обратите внимание на имя второго параметра в финальном селекторе: 
ee. Подобные «удвоенные» идентификаторы часто используются для обо-
значения последовательностей, являющихся параметрами лямбда-выраже-
ний. 
Предположим теперь, что нам требуется получить суммы не исходных 
чисел, а чисел, у которых отброшена правая цифра. Для решения такой за-
дачи можно использовать предыдущий фрагмент, добавив в запрос Sum 
параметр — лямбда-выражение вида e -> e div 10. Другим способом реше-
ния будет использование четвертого варианта запроса GroupBy с указанным 
лямбда-выражением в качестве второго параметра (селектора элемента): 
var a := Seq(10, 29, 33, 84, 40, 59, 52, 53, 60); 
var g := a.GroupBy(e -> e mod 10, e -> e div 10,
(k, ee) -> (k, ee.Sum)); 
Writeln(g); // [(0,11),(9,7),(3,8),(4,8),(2,5)] 
В приведенном фрагменте добавленное лямбда-выражение выделено 
полужирным шрифтом. 
Нам осталось описать специализированные запросы группировки, до-
бавленные в библиотеку PascalABC.NET. По сравнению с описанием за-
проса GroupBy это более простая задача. 
Запрос Batch разбивает исходную последовательность на группы оди-
накового размера (определяемого параметром size); при этом последняя 
группа может иметь меньший размер. Запрос Batch может иметь второй па-

---