Kotlin的空安全机制_kotlin空安全原理

空指针

• 尝试调用空对象的成员变量或方法会触发空指针异常（NullPointerException）

空安全机制（避免出现空指针异常）

• 两种方式实现空安全
  • 1.每次引用对象的时候，都去进行对象判空，在运行期避免对象空指针
  • 2.通过静态代码检查，编译插件检查，在编译期避免空指针异常
    • Java中编译时的空判断可以通过@NonNull和@Nullable来实现，例如@NonNull的注解就可以标记变量非空，然后IDE会帮助检查，但是是可选的，Kotlin中是强制区分两种类型，并且IDE的提示级别从警告变成了错误，拒绝编译，也就避免了在写代码的时候写出空指针

Kotlin可空类型String?

• Kotlin代码

fun main(args: Array<String>) {
    val a: String? = null
    println(getValue(a))
}

fun getValue(s: String?): String {
    return "1" + s?.length
}
1
2
3
4
5
6
7
8

• Kotlin转换成Java后（Tools—Kotlin—Show Kotlin Bytecode—Decompile）

   @NonNull
   public static final String getValue(@Nullable String s) {
      return "1" + (s != null ? s.length() : null);
   }
1
2
3
4

• 对于@Nullable String s，可空类型，使用时做了判断(s != null ? s.length() : null)

Kotlin非空类型String

• Kotlin代码

fun main(args: Array<String>) {
    val a: String = ""
    println(getValue(a))
}

fun getValue(s: String): String {
    return "1" + s.length
}
1
2
3
4
5
6
7
8

• Kotlin转换成Java后

   @NonNull
   public static final String getValue(@NonNull String s) {
      Intrinsics.checkNotNullParameter(s, "s");
      return "1" + s.length();
   }
1
2
3
4
5

• 对于非空类型@NonNull String s，做了断言Intrinsics.checkNotNullParameter(s, “s”)处理
• 所以在使用Java调用Kotlin时，如果强制传入一个空值，则会抛出空指针异常