Kotlin类型的检查与转换

Kotlin

Kotlin教程使用Kotlin进行服务器端开发使用Kotlin进行Android开发使用Kotlin进行JavaScript开发 Kotlin开发环境设置（IntelliJ IDEA） Kotlin开发环境设置（Eclipse） Kotlin基础语法 Kotlin惯用语法 Kotlin编码约定/编码风格 Kotlin数据类型 Kotlin包 Kotlin控制流程 Kotlin返回和跳转 Kotlin类和继承 Kotlin属性和字段 Kotlin接口 Kotlin可见性修饰符 Kotlin扩展 Kotlin数据类 Kotlin密封类 Kotlin泛型 Kotlin嵌套类 Kotlin枚举类 Kotlin对象表达式和对象声明 Kotlin委托 Kotlin委托属性 Kotlin函数 Kotlin lambda表达式 Kotlin内联函数 Kotlin协程 Kotlin解构声明 Kotlin集合 Kotlin区间/范围 Kotlin类型的检查与转换 Kotlin this表达式 Kotlin相等性 Kotlin操作符符重载 Kotlin null值安全 Kotlin异常处理 Kotlin注解 Kotlin反射 Kotlin类型安全的构建器 Kotlin类型别名 Kotlin兼容性 Kotlin调用Java代码在Java中调用Kotlin代码 Kotlin动态类型 Kotlin调用JavaScript JavaScript中调用Kotlin Kotlin JavaScript模块 Kotlin JavaScript反射编写Kotlin代码文档 Kotlin注解处理工具 Kotlin使用Gradle Kotlin使用Maven Kotlin使用Ant Kotlin与OSGi Kotlin编译器插件

Kotlin类型的检查与转换

`is` 和 `!is` 操作符

我们可以在运行时通过使用 is 操作符或其否定形式 !is 来检查对象是否符合给定类型：

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

if (obj !is String) { // 与 !(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 自动转换为字符串
    }
}

编译器足够聪明，能够知道如果反向检查导致返回那么该转换是安全的：

 if (x !is String) return
    print(x.length) // x 自动转换为字符串

或者在 && 和 || 的右侧：

// `||` 右侧的 x 自动转换为字符串
    if (x !is String || x.length == 0) return

    // `&&` 右侧的 x 自动转换为字符串
    if (x is String && x.length > 0) {
        print(x.length) // x 自动转换为字符串
    }

这些 智能转换 用于 when{: .keyword }-表达式和 while{: .keyword }-循环也一样：

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

请注意，当编译器不能保证变量在检查和使用之间不可改变时，智能转换不能用。
更具体地，智能转换能否适用根据以下规则：

val{: .keyword } 局部变量——总是可以；
val{: .keyword } 属性——如果属性是 private 或 internal，或者该检查在声明属性的同一模块中执行。智能转换不适用于 open 的属性或者具有自定义 getter 的属性；
var{: .keyword } 局部变量——如果变量在检查和使用之间没有修改、并且没有在会修改它的 lambda 中捕获；
var{: .keyword } 属性——决不可能(因为该变量可以随时被其他代码修改)。

“不安全的”转换操作符

通常，如果转换是不可能的，转换操作符会抛出一个异常。因此，我们称之为不安全的。Kotlin 中的不安全转换由中缀操作符 as{: .keyword }(参见operator precedence)完成：

val x: String = y as String

请注意，null{: .keyword } 不能转换为 String 因该类型不是可空的，即如果 y 为空，上面的代码会抛出一个异常。为了匹配 Java 转换语义，我们必须在转换右边有可空类型，就像：

val x: String? = y as String?

“安全的”(可空)转换操作符

为了避免抛出异常，可以使用安全转换操作符 as?{: .keyword }，它可以在失败时返回 null{: .keyword }：

val x: String? = y as? String

请注意，尽管事实上 as?{: .keyword } 的右边是一个非空类型的 String，但是其转换的结果是可空的。

上一篇:Kotlin区间/范围

下一篇:Kotlin this表达式

我要发贴

Kotlin