b = calc(a)
Что делать если мы обновили a но на calc случился exception. Нужно ли сохранить новое значение a или нужно его откатить в этом случае?
Вы выразили мысль о том что логично сохранить новое значение a. Но я вспомнил в чем тут проблема. Если мы сохраняем значение a:
1. Нужно ли оповещать подписчиков?
1.1 Да - в этом случае не понятно что делать с ошибкой из calc. Ее нельзя не выкинуть - это уже совсем не очевидный флоу получается. Ну предположим мы ее выкинем после обхода подписчиков. А если в подписчиках кто-то упадет, что делать? Как нам выбрасывать 2 ошибки?)) В общем тут все крайне не однозначно, для разных ситуаций может потребоваться разное поведние.., так же это может быть совсем не интуитивно.
1.2 Нет - подписчиков оповещать не нужно. Но что если у вас какой-то сайд-эффект завязан на это значение, тогда в следующий апдейт мы получим уже новое значение, а значение сохранившееся при ошибке пропадет. На примере логера каунтера это будет выглядеть так: 0 (инитиал), 1 (инкрементб сайд-эффект), 2 (инкремент, тут ошибка и мы не трогали подписчиков), 3 (инкремент, сайд-эффект в недоумении куда делось “2”).
Как видите чем больше мы разрешаем программе обрабатывать ошибки, тем менее однозначной она становится. Особенно это может быть проблемой, если обрабатывать ли и как ошибки за вас решает библиотека, а не вы.
Поэтому я придерживаюсь позиции, что при падении необходимо останалвивать и откатывать всю ветку вычислений - возможно мы потеряем апдейт какой-то обособленной фичи, но зато мы на 100% можем быть уверены в консистентности своих данных.
Я лично для себя вчера подтвердил в очередной раз, что надо kiss и частные кейсы типа этого решаются через custom store. Ошибки ошибками, но надо с корнем проблемы зачастую бороться - что вызвало эту ошибку, а не откатывать цепочки и потом недоумевать - что происходит
Обсуждают сегодня