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 ответов

18 просмотров

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

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

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

а через ESC-код ?
Alexey Kulakov
29
30500 за редактор? )
Владимир
47
Чёт не понял, я ж правильной функцией воспользовался чтобы вывести отладочную информацию? но что-то она не ловится
notme
18
У меня есть функция где происходит это: write_bit(buffer, 1); write_bit(buffer, 0); write_bit(buffer, 1); write_bit(buffer, 1); write_bit(buffer, 1); w...
~
13
Недавно Google Project Zero нашёл багу в SQLite с помощью LLM, о чём достаточно было шумно в определённых интернетах, которые сопровождались рассказами, что скоро всех "ибешни...
Alex Sherbakov
5
program test; {$mode delphi} procedure proc(v: int32); overload; begin end; procedure proc(v: int64); overload; begin end; var x: uint64; begin proc(x); end. Уж не знаю...
notme
6
Как передать управляющий символ в открытую через CreateProcess консоль? Собсна, есть процедура: procedure TRedirectThread.WriteData(Data: OEMString); var Written: Cardinal;...
Serjone
6
вы делали что-то подобное и как? может есть либы готовые? увидел картинку нокода, где всё линиями соединено и стало интересно попробовать то же в ddl на lua сделать. решил с ч...
Victor
8
Ребят в СИ можно реализовать ООП?
Николай
33
Подскажите пожалуйста, как в CustomDrawCell(Sender: TcxCustomGridTableView; ACanvas: TcxCanvas; AViewInfo: TcxGridTableDataCellViewInfo; var ADone: Boolean); получить наз...
A Z
7
Карта сайта