PHP: Функции
2026-02-26 18:37 Diff
https://ru.hexlet.io/courses/php-functions/lessons/abstraction/theory_unit

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

В этом заключается суть абстракции. Мы игнорируем несущественные стороны, свойства и связи рассматриваемого объекта или процесса, чтобы представить сложную концепцию в простой форме. Умение абстрагировать — одно из важнейших свойств нашего мозга. Маленькие дети очень быстро учатся классифицировать предметы окружающего мира. Без особого труда они понимают, что дерево — это дерево, даже если конкретный вид дерева они видят впервые. Так же легко они узнают зайчика в двух разведенных пальцах, которые обозначают уши.

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

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

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

Но не забывайте, что абстракции почти всегда текут.

Пример дырявой абстракции

В первом проекте Хекслета наши ученики совершают одну ошибку, связанную с неверным выделением абстракций. Если отбросить детали, то задача сводится к написанию функции, которая принимает на вход число и печатает на экран слово yes для четных чисел или слово no для нечетных.

Первое решение выглядит примерно так:

Оно рабочее, но сама концепция четности не выделена в свою абстракцию — это затрудняет тестирование и понимание кода. Здесь он простой, но в более сложном случае было бы непросто догадаться, что за операция выполняется. Было бы правильно выделить четность в отдельную функцию-абстракцию:

Посмотрите на код выше внимательно. Все ли с ним нормально?

На самом деле, этот код даже хуже, чем первая версия, потому что здесь создана неверная абстракция. Понятие четности числа никак не связано ни с выводом на экран, ни со строчками yes или no. Оно существует в вакууме как математическая концепция и не знает о том, как ее собираются использовать. И это мы даже не говорим о том, что имя isEven начинается с is, то есть эта функция-предикат. Такие функции могут возвращать только логическое значение и никак иначе (исключений не существует!). Правильный вариант выглядит так:

Это самый примитивный вариант создания абстракций. В реальном коде обычно все значительно сложнее.