WebTolkRu

Работа - не волк, в лес не убежит. Она как ручная, ходит за тобой везде 😂

👍4👀2

68 viewsSergey Tolkachyov, 14:34

О строгости кода

Продолжая тему исключений, я бы хотел поговорить о строгости кода. Когда я описываю бизнес-логику в доменном слое, мой код изобилует такими местами:

class LoyaltyCard
{
    public function setLevel(LoyaltyLevel $level): void
    {
        if (!$this->isGuestBound()) {
            throw new \DomainException('Невозможно установить уровень карты при отсутствии привязанного гостя');
        }
        
        if ($level->getProgramId() !== $this->programId) {
            throw new \DomainException('Невозможно установить уровень карты от другой программы лояльности');
        }

        if (!$this->guestProfileFilled) {
            throw new \DomainException(
                'Невозможно изменить уровень карты лояльности при незаполненном профиле гостя',
            );
        }

        if (null !== $this->level && $this->level->getRequiredAmount() > $level->getRequiredAmount()) {
            throw new \DomainException('Уровень карты не может быть понижен');
        }

        if (null !== $this->level && $this->level->getId() === $level->getId()) {
            throw new \DomainException('Карте лояльности уже присвоен этот уровень');
        }

        //...
    }
}

Довольно часто коллеги приходят ко мне с вопросом, можно ли им выпилить из моего кода ту, или иную конструкцию throw. Еще хуже, когда они не спрашивают, а выпиливают выброс исключения молча (см. пост выше о замалчивании ошибок).

На каждый такой вопрос я отвечаю отрицательно и поясняю, что:

🍀 Каждая конструкция throw - это выражение средствами языка PHP бизнес-требований, продиктованных заказчиком.

🍀 Демонтаж throw - это не только демонтаж бизнес-логики, но и ослабление строгости кода в угоду сиюминутной потребности.

🍀 Если метод не выполняется так, как вы ожидаете, и плюется исключениями, вы должны решать эту проблему в клиентском коде (т. е. в том, который вы пишите).

Давайте разберемся чуть подробнее. Класс \DomainException является прямым наследником \LogicException, в описании которого сказано:

This kind of exception should lead directly to a fix in your code.

То есть:

⚙️ Если вы написали код, который приводит к выбросу \LogicException и его наследников, вы исправляете свой код (а не тот, который бросает exception).

⚙️ Тот, кто написал класс или метод, который вы используете, не предполагает его использование тем способом, который вы выбрали.

⚙️ Исключения, выбрасываемые методом, являются частью контракта, такой же, как тип возвращаемого значения.

В следующем посте расскажу о том, почему строгий код лучше, чем нестрогий.

Please open Telegram to view this post

VIEW IN TELEGRAM

👍2

61 viewsSergey Tolkachyov, 17:03