Есть небольшой вопрос - стоит ли делать предсказания при проверке

Question

Есть небольшой вопрос - стоит ли делать предсказания при проверке

инвариантов?
Например ящик с яблоками, у которого инвариант не больше 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;
}

#php #programming #russian

0

27.06.2018

2 ответов

22 просмотра

Sergey P

предсказания - хуйня

0

27.06.2018

Виктор TΞXΞLLE-55 · Accepted Answer

делать первой строкой if($this->apples === 3) { throw new LimitApplesException(); } не? если бы добавлялось "рандомное количество яблок", тогда да, нужен предварительный расчёт перед изменением стейта. пёс его знает что там с этим эксепшеном сделают, вдруг просто проигнорят и пойдут дальше, а стейт уже изменился.

169 похожих чатов

Есть небольшой вопрос - стоит ли делать предсказания при проверке

2 ответов

Похожие вопросы