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

Коллеги, помните мы обсуждали вчера ситуацию про менеджмент состояния: let a let

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


Как видите чем больше мы разрешаем программе обрабатывать ошибки, тем менее однозначной она становится. Особенно это может быть проблемой, если обрабатывать ли и как ошибки за вас решает библиотека, а не вы.

Поэтому я придерживаюсь позиции, что при падении необходимо останалвивать и откатывать всю ветку вычислений - возможно мы потеряем апдейт какой-то обособленной фичи, но зато мы на 100% можем быть уверены в консистентности своих данных.

1 ответов

6 просмотров

Я лично для себя вчера подтвердил в очередной раз, что надо kiss и частные кейсы типа этого решаются через custom store. Ошибки ошибками, но надо с корнем проблемы зачастую бороться - что вызвало эту ошибку, а не откатывать цепочки и потом недоумевать - что происходит

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

Обсуждают сегодня

читать файл максимально быстро? странный вопрос))
zamtmn
53
тоесть, указав return eax, сгенерируется никому ненужная инструкция mov eax,eax ?
Aiwan \ (•◡•) / _bot
24
Приветствуем всех! Устали без проектов? Если вы программист и хотите получать стабильные заказы, компания Elif предлагает вам недельный курс по поиску проектов и их ведению. ...
Elif
1
А чего сейчас в моде вместо Error для эксепшенов? А то я тут внезапно узрел что он не рекомендуется :) У Try::Tiny какой-то совершенно ужасный синтаксис если надо конкретные э...
Denis F
19
а зачем этот вопрос для удаления из чата?
Mёdkinson Medvezhkin
63
Привет. Сразу скажу, что на C/C++/Rust я не пишу, но тем не менее возникла потребность дебага C/C++/Rust кода. Суть: есть серверное приложение, которое периодически ведёт себ...
ninekeem 🐳
4
всем привет! углубившись в плюсы и начав изучать реверсинг понял, что без асм'а никуда со своими высокоабстрактными представлениями начал изучать механизмы асма, и не совсем п...
9
Всем привет, после Си стоит учить плюсы или лучше на раст перейти?
Linus
8
или вы считаете муит дает знание?
супер_лох_3000 альфа версия
12
значить например он учился в СДУ то получается он особенный?)
Asets Serikov
11
Карта сайта