Исключения

Классы исключений

Все классы исключений в Kotlin наследуют класс Throwable. Каждое исключение имеет сообщение, стек вызовов и необязательную причину.

Чтобы бросить объект исключения, используйте выражение throw:

fun main() {
//sampleStart
    throw Exception("Hi There!")
//sampleEnd
}

Чтобы перехватить исключение, используйте выражение try, ...catch:

try {
    // some code
} catch (e: SomeException) {
    // handler
} finally {
    // optional finally block
}

Может быть ноль или более блоков catch, и блок finally может быть опущен. Однако, как минимум, один блок catch или finally необходим.

val a: Int? = try { input.toInt() } catch (e: NumberFormatException) { null }

Проверяемые исключения

В Kotlin нет проверяемых исключений. Есть много причин для этого, но мы предоставим простой пример, который иллюстрирует почему.

Ниже приведен пример интерфейса из JDK, реализованного классом StringBuilder:

Appendable append(CharSequence csq) throws IOException;

Эта сигнатура говорит о том, что каждый раз, когда я добавляю строку к чему-либо (например, к логу, консоли и т.д.), я должен перехватить исключение IOExceptions. Почему? Потому что реализация может выполнять операции ввода-вывода (Writer также реализует Appendable). Результатом является код, подобный этому, повсюду:

try {
    log.append(message)
} catch (IOException e) {
    // Must be safe
}

И это не хорошо. Просто взгляните на Effective Java, 3-е издание, пункт 77: Не игнорируйте исключения.

Брюс Эккель говорит об этом по поводу проверяемых исключений:

И вот некоторые дополнительные мысли по этому вопросу:

• Проверяемые исключения Java были ошибкой (Род Вальдхофф)

• Проблемы с проверяемыми исключениями (Андерс Хейлсберг)

Если вы хотите предупредить вызывающие стороны о возможных исключениях при вызове кода Kotlin из Java, Swift или Objective-C, вы можете использовать аннотацию @Throws. Подробнее об использовании этой аннотации см. для Java и для Swift и Objective-C.

Тип Nothing

Тип throw — это выражение в Kotlin, поэтому вы можете использовать его, например, в качестве части выражения Elvis:

val s = person.name ?: throw IllegalArgumentException("Name required")

Выражение throw имеет тип Nothing. Этот тип не имеет значений и используется для обозначения мест в коде, которые никогда не могут быть достигнуты. В собственном коде вы можете использовать Nothing для обозначения функции, которая никогда не возвращает значение:

fun fail(message: String): Nothing {
    throw IllegalArgumentException(message)
}

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

val s = person.name ?: fail("Name required")
println(s)     // 's' is known to be initialized at this point

Вы также можете столкнуться с этим типом при работе с выводом типов. Необязательная версия этого типа, Nothing?, имеет ровно одно возможное значение — null. Если вы используете null для инициализации значения инферированного типа, и нет другой информации, которая может быть использована для определения более конкретного типа, компилятор выведет тип Nothing?:

val x = null           // 'x' has type `Nothing?`
val l = listOf(null)   // 'l' has type `List<Nothing?>

Взаимодействие с Java

См. раздел об исключениях на странице взаимодействия с Java для получения информации о взаимодействии с Java.