Smart cast to 'Type' is impossible: как исправить ошибку в Kotlin с изменяемыми свойствами?

Почему возникает ошибка Smart cast в Kotlin?

Ошибка "Smart cast to 'Type' is impossible, because 'variable' is a mutable property that could have been changed by this time" — это особенность системы типов Kotlin, направленная на безопасность. Когда вы используете var (изменяемое свойство), компилятор не может гарантировать, что между проверкой is и использованием значения оно не изменится в другом потоке или через другой вызов. В отличие от Java, где instanceof просто проверяет тип в момент выполнения, Kotlin пытается предотвратить потенциальные ClassCastException.

В вашем примере:

class User {
    var name: Any = "John"
    
    fun printName() {
        if (name is String) {
            // Между проверкой и использованием другой поток мог изменить name на Int
            println(name.length) // Ошибка!
        }
    }
}

Компилятор видит, что name — это var, и теоретически между строкой проверки и строкой использования может произойти изменение (например, из другого потока). Поэтому smart cast (умное приведение) не применяется.

Как это исправить?

Есть несколько решений:

1. Использовать локальную неизменяемую копию

Самый простой и рекомендуемый способ — сохранить значение в локальную val:

fun printName() {
    val localName = name  // Копируем в неизменяемую переменную
    if (localName is String) {
        println(localName.length) // Smart cast работает!
    }
}

Теперь компилятор знает, что localName не может измениться после проверки, и применяет smart cast.

2. Явное приведение с проверкой

Можно использовать as? (безопасное приведение) с последующей проверкой на null:

fun printName() {
    val str = name as? String
    if (str != null) {
        println(str.length)
    }
}

Этот подход также безопасен: если name не является String, as? вернёт null, и блок if не выполнится.

3. Использовать when с умным приведением

fun printName() {
    when (val n = name) {
        is String -> println(n.length)
        else -> println("Not a string")
    }
}

Здесь val n = name создаёт неизменяемую переменную в заголовке when, и для каждой ветки работает smart cast.

4. Сделать свойство неизменяемым (val)

Если свойство не должно меняться, просто замените var на val:

class User {
    val name: Any = "John"  // Теперь неизменяемо
}

Это решит проблему, но подходит только если вы уверены, что значение не нужно менять.

Когда это действительно проблема?

В однопоточном коде изменение свойства между проверкой и использованием маловероятно, но Kotlin всё равно запрещает smart cast для var из-за возможных многопоточных сценариев. Лучшая практика — всегда использовать локальные val для проверок типов.

Надеюсь, теперь стало понятнее! Если остались вопросы — спрашивайте.

class User {
    var name: Any = "John"
    
    fun printName() {
        // Используем функцию let для безопасной работы
        (name as? String)?.let { str ->
            println(str.length)
        } ?: run {
            println("Not a string")
        }
    }
}

fun printName() {
    val str = requireNotNull(name as? String) { "name must be String" }
    println(str.length)
}

if (name is String && name.length > 0) { // Работает, так как проверка и использование в одном условии
    println(name.length)
}