Проверка типов и приведение типов

Операторы is и !is

Используйте оператор is или его отрицание !is для выполнения проверки во время выполнения, чтобы определить, соответствует ли объект заданному типу:

if (obj is String) {
    print(obj.length)
}

if (obj !is String) { // same as !(obj is String)
    print("Not a String")
} else {
    print(obj.length)
}

Умные приведения типов

В большинстве случаев вам не нужно использовать явные операторы приведения типов в Kotlin, так как компилятор отслеживает проверки is и явные приведения для неизменяемых значений и вставляет (безопасные) приведения автоматически при необходимости:

fun demo(x: Any) {
    if (x is String) {
        print(x.length) // x is automatically cast to String
    }
}

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

if (x !is String) return

print(x.length) // x is automatically cast to String

или если оно находится справа от && или ||, а соответствующая проверка (обычная или отрицательная) — слева:

// x is automatically cast to String on the right-hand side of `||`
if (x !is String || x.length == 0) return

// x is automatically cast to String on the right-hand side of `&&`
if (x is String && x.length > 0) {
    print(x.length) // x is automatically cast to String
}

Умные приведения типов работают и для when выражений и while циклов:

when (x) {
    is Int -> print(x + 1)
    is String -> print(x.length + 1)
    is IntArray -> print(x.sum())
}

Обратите внимание, что умные приведения типов работают только тогда, когда компилятор может гарантировать, что переменная не изменится между проверкой и использованием. Более конкретно, умные приведения типов могут быть использованы в следующих условиях:

• val локальные переменные — всегда, за исключением делегированных свойств.

• val свойства — если свойство является закрытым или внутренним или если проверка выполняется в том же модуле, где объявлено свойство. Умные приведения типов не могут использоваться для открытых свойств или свойств, имеющих пользовательские геттеры.

• var локальные переменные — если переменная не изменяется между проверкой и использованием, не захватывается в лямбда-выражение, которое ее изменяет, и не является делегированным свойством.

• var свойства — никогда, так как переменная может быть изменена в любой момент другим кодом.

Оператор «небезопасного» приведения типа

Обычно оператор приведения типов выбрасывает исключение, если приведение невозможно. Поэтому он называется небезопасным. Небезопасное приведение типа в Kotlin выполняется с помощью инфиксного оператора as.

val x: String = y as String

Обратите внимание, что null не может быть приведено к String, так как этот тип не является nullable. Если y равно null, приведенный выше код генерирует исключение. Чтобы сделать такой код правильным для значений null, используйте nullable тип в правой части приведения типа:

val x: String? = y as String?

Оператор «безопасного» (nullable) приведения типа

Чтобы избежать исключений, используйте оператор безопасного приведения типа as?, который возвращает null при неудачном приведении.

val x: String? = y as? String

Обратите внимание, что несмотря на то, что правая часть as? является типом без null String, результат приведения типа является nullable.

Проверка типов и приведение типов для дженериков

Дополнительную информацию о том, какие проверки типов и приведения вы можете выполнять с дженериками, см. в соответствующем разделе на странице документации дженериков.