А как вообще обрабатываются монадические ошибки (не знаю как их

Question

А как вообще обрабатываются монадические ошибки (не знаю как их

правильно назвать) в реальном коде?

То есть на уровне 1 вложенности можно написать чтото типа '?' rust, ну тоесть

void g() {
func1()?;
func2()?;
}

А что будет на следующем уровне вложенности? Тоесть как вызвать функцию g? Тоже ставить вопросики типа

g()?;

Не получится ли тогда, что все везде будут ставить вопросы не задумываясь, и в результате получим теже самые исключения только в профиль?

#c++ #embedded #programming #russian

0

28.07.2020

1 ответов

20 просмотров

Ofee Oficsu · Accepted Answer

Да, это возможно, но есть существенная разница. В случае с исключениями, пользователь функции g() может и не знать, прилетит ли ему исключение, а если да – то какое и откуда, из func1(), func2()? По сути, автор функции g() может просто взять и забить переложить ответственность за обработку ошибок вызываемых им функций на пользователя функции g(), по сути, оставляя прямое взаимодействие между пользователем функции и частью внутренней имплементации – func1(), func2(). Это не очень красиво, у нас протекла абстракция в случае, если требуется хоть сколько-нибудь нетривиальная обработка ошибки. В случае же с монадами... Ну, автор функции g(), в идеале, явно укажет тип возвращаемого значения. А ещё ему придется позаботиться, чтобы в случае ошибок, возвращался один и тот же тип ошибки, ведь func1() и func2() могут вернуть разные монады для обработки разных типов ошибок. В любом случае, у пользователя больше понимания о том, как может себя вести функция g(), её контракт выражен возвращаемым типом и способов его нарушить (в идеале) у автора g() просто нет. А насколько внимателен к обработке ошибок будет пользователь... это его выбор, самое главное, что он не вынужден следить за чужими ошибками и не создаёт их кому-то ещё по стеку выше или ниже, о ком он даже не знает Ещё не стоит забывать и о том, что монады – не только про обработку ошибок, их функционал несколько шире, это, например, возврат какой-то дополнительной информации или даже возврат полноценного лога. Или более сложный пример – корутины, по сути, тоже монады, просто другая их форма, предназначенная для другой цели

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

А как вообще обрабатываются монадические ошибки (не знаю как их

1 ответов

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