Какими свойствами должна обладать чистая функция и какие побочные эффекты нарушают её чистоту?

Требования к чистым функциям и нарушающие их побочные эффекты

• Чистая функция возвращает один и тот же результат при одинаковых входных данных
• Она не зависит от внешнего состояния и не изменяет его, то есть не использует скрытые состояния
• Такая функция не создаёт побочных эффектов: не мутирует внешние данные, включая глобальные переменные и аргументы
• Она не выполняет операции ввода-вывода, например не записывает данные в файл, сеть или консоль
• Она не использует нестабильные зависимости, такие как текущая дата или случайные числа
• Благодаря этому функцию проще тестировать и выполнять параллельно
• Чистоту нарушают, например, следующие побочные эффекты:
• изменение глобальных объектов
• вывод записей в консоль или файл
• обращение к базе данных или API
• создание случайных значений внутри функции
• изменение аргументов либо внешних структур данных
• Чистые функции служат основой функционального программирования и помогают обеспечить предсказуемость кода

Подробный ответ

Основной ответ

Чистая функция (pure function) при каждом вызове с одинаковыми входными данными возвращает одинаковый результат и не производит побочных эффектов. Её главные свойства — детерминированность и отсутствие взаимодействия с внешним состоянием.

Ключевые моменты

• Идемпотентность и детерминированность: результат чистой функции определяется исключительно переданными аргументами, поскольку она не зависит от внешних переменных и состояний.
• Отсутствие побочных эффектов: функция не изменяет внешние переменные и объекты, не обращается к базам данных и файлам, не отправляет сетевые запросы и не выполняет операции ввода-вывода.
• Не обращается к внешнему миру: чтение внешних источников — например, получение текущей даты, случайного числа или состояния файла — нарушает чистоту, поскольку результат перестаёт быть воспроизводимым.
• Избегание мутации входных данных: переданные объекты и массивы не должны изменяться функцией, иначе скрытые изменения могут повлиять на остальную часть программы.

Побочные эффекты, нарушающие чистоту

• Изменение глобальных переменных или другого внешнего состояния.
• Запись либо изменение данных за пределами области функции: в файлах, базах данных или кэше.
• Вызов функций, создающих состояние, например генерация случайных чисел без явной передачи параметров.
• Выполнение операций ввода-вывода: console.log, чтение данных из сети или обращение к hardware.
• Получение системного времени или текущей даты без передачи их через параметры.

Практический контекст

Чистые функции широко применяются в функциональном программировании, поскольку упрощают тестирование, отладку и масштабирование кода. В React 18+, например, чистота компонентов способствует оптимизациям и помогает предотвращать нежелательные сайд-эффекты. В сложных системах pure функции делают поведение предсказуемым и упрощают применение мемоизации, например с помощью reselect или memo.