Исключения

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

Все классы исключений в 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's checked exceptions were a mistake (Род Уолдафф)

• The Trouble with Checked Exceptions (Андерс Хейлсберг)

Если вы хотите предупредить вызывающие стороны о возможных исключениях при вызове кода 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.