Kotlin 类型的检查与转换“is”与“as”

1,是与!是操作符

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

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

if (obj !is String) { // 与 !(obj is String) 相同
    print("Not a String")
}
else {
    print(obj.length)
}
  • 1
  • 2
  • 3
  • 4
  • 6
  • 7
  • 8
  • 9
  • 10

2,智能转换

在许多情况下,不需要在Kotlin中使用显式转换操作符,因为编译器跟踪不可变变的is-检查以及显式转换,并在需要时自动插入(安全的)转换:

fun demo(x: Any) {
    if (x is String) {
        print(x.length) // x 自动转换为字符串
    }
}
  • 1
  • 2
  • 3
  • 4

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

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

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

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

    // `&&` 右侧的 x 自动转换为字符串
    if (x is String && x.length > 0) {
        print(x.length) // x 自动转换为字符串
    }
  • 1
  • 2
  • 3
  • 4
  • 6
  • 7

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

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

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

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

3,“不安全的”转换操作符

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

val x: String = y as String
  • 1

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

val x: String? = y as String?
  • 1

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

为了避免抛出异常,可以使用安全转换操作符作为?,它可以在失败时返回null:

val x: String? = y as? String
  • 1

请注意,尽管事实上?的右边是一个非空类型的String,但是其转换的结果是可空的。

猜你喜欢

转载自blog.csdn.net/jiankeufo/article/details/80937631