А как в котлине идиоматично декларировать исключения, которые метод выбрасывает?

Question

А как в котлине идиоматично декларировать исключения, которые метод выбрасывает?

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

#kotlin #programming #russian

0

16.01.2022

11 ответов

29 просмотров

Ayrat Hudaygulov

Лично мой опыт. Если ошибка вызыванного метода может быть обработана особым образом и исправлена вызывающим, то Result<T, TError>, где TError закрытый силед тип (discriminated union). Если там просто про отсутствие результата, то нулабл. Если там кардинальный ахтунг (дб недоступна, сервис не отвечает), то просто бросаю исключение. Вызывающий явно такое обработать не в состоянии.

0

16.01.2022

Ayrat Hudaygulov

Ayrat Hudaygulov
Лично мой опыт. Если ошибка вызыванного метода мо...

Трай кетчей у меня очень мало в коде, на глобальном евентлупе (если это воркер) или на весь реквест пайплайн (если это апи)

0

16.01.2022

Анастасия Автор вопроса

Ivan Vinogradov
sealed class с dataclass-подтипами Success Fail — ...

А если я хочу exception-style, а не monad-style(Ну или как это назвать)? Exception - это более spring-way, мне кажется, иначе придется в контроллере раскрывать Result, а не очень хочется

0

16.01.2022

Анастасия Автор вопроса

Ayrat Hudaygulov
Лично мой опыт. Если ошибка вызыванного метода мо...

Мне как-то не нравится смешивать два подхода к обработке ошибок

0

16.01.2022

Ayrat Hudaygulov

Анастасия
Мне как-то не нравится смешивать два подхода к обр...

Это прагматично. Исключения для исключительных ситуаций. Монады для обычных

0

16.01.2022

Vladimir Petraković

Анастасия
А если я хочу exception-style, а не monad-style(Ну...

То всегда есть Java 🙂 Исключения в котлине только для исключительных ситуаций (ошибки I/O, нарушенные инварианты), они всегда unchecked. Можно, конечно, их в документации описать, но это не самое надёжное средство заставить их обрабатывать.

0

16.01.2022

Анастасия Автор вопроса

Vladimir Petraković
То всегда есть Java 🙂 Исключения в котлине только ...

Нет, я и в джаве использовала только unchecked(checked-исключения были очень плохой идеей), на мой вгзляд, это позволяет вызывающему как-то составить представления о том, что может случиться, о том, что он мог бы обработать, а что пусть летить наверх. Но с монадами сложнее, так как я не видела примера, насколько он приживется в спринге(Какой-нибудь @Transactional нужно исключение, что бы сделать rollback, скорее всего, это как-нибудь можно правильно обернуть, конечно, но все же)

0

16.01.2022

Vladimir Petraković

Анастасия
Нет, я и в джаве использовала только unchecked(che...

Ну если вы в джаве не использовали checked исключения, вы можете просто писать такой же код. Да, с Result/Either спринговые прокси вряд ли поймут, что происходит.

0

16.01.2022

Анастасия Автор вопроса

Vladimir Petraković
Ну если вы в джаве не использовали checked исключе...

Т.е. в доке просто писать, что он кидает, понятно, спасибо

0

16.01.2022

Denis B12

можно ещё аннотацию Throws на функцию повесить https://kotlinlang.org/api/latest/jvm/stdlib/kotlin.jvm/-throws/

0

16.01.2022

Ivan Vinogradov · Accepted Answer

Ivan Vinogradov

sealed class с dataclass-подтипами Success Fail — самый явный контракт. Внутри Success твой payload, внутри Fail может быть как исключение, так и enum код ошибки какой-то

0

16.01.2022

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

А как в котлине идиоматично декларировать исключения, которые метод выбрасывает?

11 ответов

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