Rivalry2

HTML Diff

1 added 1 removed

Original 2026-01-01

Modified 2026-02-26

1 В этом уроке мы поговорим оCQS(Command-query Separation). Это принцип программирования, изобретенный Бертандом Майером, создателем языка Eiffel.

2 Этот принцип утверждает, что каждая функция считается:

3 <ul><li>Либо командой, которая выполняет действие (action)</li>

4 <li>Либо запросом, который извлекает данные (query)</li>

5 </ul>При этом функция не может быть командой и запросом одновременно. Команда всегда связана с выполнением побочных эффектов, а чистые функции возможны только для запросов.

6 <h2>Как работает команда</h2>

7 Рассмотрим такой пример:

8 Согласно принципу CQS, функция save считается командой. Ее единственная задача - это возвращать успешность своего выполнения как значение true или false. По той же логике может быть null, как в случае с print_r. Если мы попробуем вернуть какие-то осмысленные данные с помощью этой функции, это будет считаться нарушением CQS. Но в некоторых ситуациях этот принцип невозможно соблюсти. Например, открытие файла на запись возвращает файловый дескриптор - идентификатор, через который происходят манипуляции с файлом.

9 Отделение команд от запросов тесно связано с идеями, описанными в уроке о чистых функциях.

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

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

11 + Следовательно, чтобы отделить чистый код от кода с побочными эффектами, мы можем выделить запрос (возврат данных) из ко��анды в отдельную функцию. Как мы увидим позже, запросы можно выполнять множество раз, не боясь что-то сломать:

12 <h2>Как работает запрос</h2>

13 Рассмотрим такой фрагмент кода:

14 Функцию isAdmin можно воспринимать как:

15 <ul><li>Предикат</li>

16 <li>Типичный запрос (query)</li>

17 <li>Вопрос "Является ли пользователь администратором?"</li>

18 </ul>С точки зрения CQS такая функция не может изменить состояние системы - например, поменять дату проверки на администратора внутри пользователя или сделать пользователя администратором.

19 Это противоречит не только CQS, но и здравому смыслу. В отличие от предыдущего примера, в случае предикатов true и false показывают не успешность выполнения функции, а ответ на этот запрос.

20 Взгляните на пример работы функции, которая меняет исходные данные:

21 Если сделать еще один вызов takeKids($users), то выполнение кода, скорее всего, завершится с ошибкой, потому что изменилась структура исходного массива. Такое поведение функции-запроса противоестественно. CQS имеет альтернативную формулировку, которая отлично характеризует код выше: "Задавая вопрос, не изменяй ответ".

22 К запросам относятся и любые вычисления:

23 Этот код не создает никаких побочных эффектов и детерминирован. Его можно вызывать сколько угодно раз без риска получить ошибку или неверный результат.

24 Отсутствие изменений в запросах - это очень важный принцип, который нужно соблюдать всегда. Даже на интуитивном уровне ни один человек не ожидает, что проверка isAdmin или вычисление максимального числа в массиве может выполнить какое-то деструктивное действие. С другой стороны, на практике такой код иногда попадается. Теперь вы знаете, как его исправить.