инвариантов?
Например ящик с яблоками, у которого инвариант не больше 3х яблок.
Делается проверка в методе добавления яблок, есть 2 варианта:
1. Сначала добавить яблоки в ящик (изменить состояние), потом посчитать количество яблок и проверить на соответствие инварианту. То есть тут получается инвариант нарушается на очень короткое время и это подозрительно, но мне кажется, что в этом ничего страшного нет, т.к. всё равно дальше выкинется эксепшен.
public function addApple(Apple $apple) {
$this->apples[] = $apple;
if (count($this->apples) > 3) {
throw new Exception();
}
}
2. Посчитать количество уже имеющихся яблок, потом предсказать, что после добавления яблока их будет на 1 больше, проверить на соответствие инварианту и только потом изменить состояние.
public function addApple(Apple $apple) {
$applesCount = count($this->apples) + 1;
if ($applesCount > 3) {
throw new Exception();
}
$this->apples[] = $apple;
}
делать первой строкой if($this->apples === 3) { throw new LimitApplesException(); } не? если бы добавлялось "рандомное количество яблок", тогда да, нужен предварительный расчёт перед изменением стейта. пёс его знает что там с этим эксепшеном сделают, вдруг просто проигнорят и пойдут дальше, а стейт уже изменился.
предсказания - хуйня
Обсуждают сегодня