Какой тип результата возвращает filter у Dictionary в Swift и какое практическое следствие это имеет?
filter у Dictionary возвращает массив элементов словаря — [(key: Key, value: Value)], а не новый Dictionary. Поэтому результат сохраняет пары ключ-значение, но теряет словарные операции и гарантии уникальности ключей как структуры словаря.
Алгоритмы map, filter и reduce определены на уровне протокола Sequence, чтобы одинаково работать с массивами, множествами, словарями и пользовательскими последовательностями. Такой общий API возвращает результат в форме, естественной для произвольной последовательности: для filter это последовательный контейнер элементов, обычно массив.
Отдельные специализированные операции нужны только там, где важно сохранить структуру исходного типа. Например, mapValues специально преобразует значения словаря и поэтому сохраняет Dictionary.
Разработчик может ожидать, что фильтрация словаря вернёт отфильтрованный словарь. Если передать результат filter дальше как Dictionary, это потребует явного преобразования, а при повторяющихся ключах такое преобразование должно определить правило разрешения конфликтов.
Кроме того, массив элементов словаря не следует использовать как замену словарю, если требуются быстрый доступ по ключу, словарные методы или явная модель уникальности ключей.
Dictionary является Sequence, чьи элементы представлены парами ключ-значение. Общая операция filter проверяет каждую такую пару и помещает подходящие элементы в массив:
Тип filtered — массив кортежей, фактически [Dictionary<String, Int>.Element]. Ключи в исходном словаре уникальны, поэтому обычная фильтрация не создаёт дубликатов ключей; однако результат уже не является словарём и не предоставляет доступ по ключу как основную операцию.
Если нужен именно словарь, его можно явно построить из отфильтрованных пар. При этом следует учитывать, что преобразование из последовательности пар должно иметь правило обработки одинаковых ключей; для данных, полученных непосредственно из одного словаря, конфликтов обычно нет.
Главный компромисс такой: filter удобен как общий алгоритм над последовательностью и возвращает линейный результат, а специализированное построение словаря требует дополнительного намерения и может потребовать разрешения конфликтов. Сложность самой фильтрации обычно линейна относительно числа элементов исходного словаря, но порядок обхода Dictionary не следует использовать как стабильный порядок вывода.
Нужно отобрать товары дороже заданной цены и затем передать их в функцию, которая строит отчёт в определённом порядке. Вариант с непосредственным filter удобен: он даёт массив пар, после чего его можно отсортировать по цене или названию. Минус — поиск товара по ключу в таком результате становится неудобным и требует линейного поиска.
Вариант с восстановлением словаря подходит, если после фильтрации нужен доступ по идентификатору товара. Однако для отчёта словарь сам по себе не задаёт требуемый порядок, поэтому всё равно понадобится отдельная сортировка.
Рациональное решение — выбрать форму результата по следующей операции: для последовательной обработки и сортировки оставить массив пар, для частого доступа по ключу явно создать новый словарь. В обоих случаях нельзя рассчитывать на порядок обхода исходного Dictionary как на порядок строк отчёта.
filter нельзя считать отфильтрованным словарём, даже если ключи уникальны?Потому что тип результата определяется контрактом общей операции над Sequence, а не только содержимым конкретного входа. Массив пар не предоставляет словарную семантику: у него нет специализированного доступа по ключу, а операции над ним работают с позициями и последовательным обходом.
Уникальность ключей в данных не меняет статический тип результата. Чтобы получить Dictionary, нужно явно выполнить преобразование и тем самым выразить требование к структуре результата.
filter у Dictionary?Результат содержит элементы в порядке, в котором их выдала исходная последовательность во время обхода. Однако Dictionary не следует рассматривать как источник стабильного прикладного порядка; порядок не должен использоваться для воспроизводимой сортировки или формирования отчёта.
Если порядок важен, его нужно задать явно после фильтрации, например сортировкой массива по ключу или другому полю.
mapValues от обычного map для словаря?mapValues преобразует только значения и сохраняет ключи, поэтому возвращает Dictionary с теми же ключами и преобразованными значениями. Это возможно, потому что операция сохраняет словарную структуру и не создаёт новых ключей.
Обычный map преобразует каждый элемент-пару как элемент последовательности. Его общий результат — массив преобразованных элементов, поэтому он не обязан сохранять тип Dictionary и не может автоматически вывести правило обработки возможных совпадающих ключей.