Kotlin的空安全机制

空指针

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

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

• Kotlin两种方式实现空安全
  • 1.每次引用对象的时候，都去进行对象判空，在运行期避免对象空指针
  • 2.通过静态代码检查，编译插件检查，在编译期避免空指针异常

编译期判空

• Java中编译时的空判断可以通过@NotNull和@Nullable来实现，例如@NotNull的注解就可以标记变量非空，然后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
}

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

public final class NullableKt {
    
    
   public static final void main(@NotNull String[] args) {
    
    
      Intrinsics.checkNotNullParameter(args, "args");
      String a = (String)null;
      String var2 = getValue(a);
      System.out.println(var2);
   }

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

• 对于@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
}

• Kotlin转换成Java后

public final class NullableKt {
    
    
   public static final void main(@NotNull String[] args) {
    
    
      Intrinsics.checkNotNullParameter(args, "args");
      String a = "";
      String var2 = getValue(a);
      boolean var3 = false;
      System.out.println(var2);
   }

   @NotNull
   public static final String getValue(@NotNull String s) {
    
    
      Intrinsics.checkNotNullParameter(s, "s");
      return "1" + s.length();
   }
}

• 对于非空类型@NotNull String s，做了断言Intrinsics.checkNotNullParameter(s, “s”)处理