Smart cast to 'Type' is impossible: 如何在 Kotlin 中修复可变属性的错误

你好！我开始学习 Kotlin 时遇到了一个无法理解的错误。我有一个简单的代码，尝试检查变量的类型并在它是字符串时执行某个操作： ```kotlin var value: Any = "Hello, Kotlin!" if (value is String) { println(value.length) // 错误：Smart cast to 'String' is impossible } ``` 编译器提示："Smart cast to 'String' is impossible, because 'value' is a mutable property that could have been changed by this time"。我明白 `value` 是一个可变变量，但为什么这是个问题？我刚刚在 `if` 内部检查了它的类型！如果我用 `val`，一切都能正常工作。但我需要变量能够改变。如何正确处理这种情况？也许有某种模式或替代方法？感谢您的解释和示例。 <<>>

为什么会出现 Smart cast 错误？

问题在于 Kotlin 编译器无法保证在类型检查之后变量没有被修改。