Kotlin 空类型安全与智能类型转换

一、前言

在 Kotlin 中的类与接口 中我们已经讲了 Kotlin 的 类、接口 和 扩展方法，今天我们来讲 Kotlin 中的 空类型安全 和 智能类型转换。

二、Kotlin 空类型安全

2.1、空类型安全概念

Java 语言中是没有空类型安全这一概念的，所以写 Java 代码经常会出现空指针异常，但是 Kotlin 致力于消除空引用所带来的危险，所以就有了空类型安全概念。

下面这段代码在 Kotlin 中是无法编译通过的，因为 Kotlin 的 String 是不能接受空值的，所以这个赋值操作是不被允许的。

var nonNull: String = "Hello"
nonNull = null  // 不可空类型，不能赋值为 null
// 访问长度的话，不需要空判断
val length = nonNull.length

IDE 报错如下所示：

但是如果我们非得定义一个空值，也是有办法的，Kotlin 为了 100% 兼容 Java，必须得实现接收空值，所以要接收空值可以在定义的时候加一个 ？。

但是这个时候这个变量就可能是空值，所以访问的时候就会比较严格，比如下面代码中的 nullable.length 就会报错，因为可能触发空指针异常。

var nullable: String? = "Hello"
nullable = null  // 可空类型，编译通过
val length = nullable.length // 可能触发空指针，编译保报错

IDE 报错如下所示：

这个时候我们想 nullable.length 不报错可以：

1. 当我们确定 nullable 不可能为空的时候，可以将 nullable 强转为不可空类型，如下所示：

   var nullable: String? = "Hello"
   // 不会报错了（自己已经知道了，这个 nullable 不可能为空）
   val length = nullable!!.length
   

   
   

2. 如果我们不确定 nullable 是否为空的时候，可以用 ?. 来实现安全访问，如下所示：

   var nullable: String? = "Hello"
   // 这种情况下如果 nullable 为空的话，那么返回的 length 也是空
   val length = nullable?.length
   // 这时候 length 的类型不是 Int，而是 Int?，所以可以写成下面这样
   val length: Int? = nullable?.length
   // 如果你想 length 的类型是 Int 的话，可以加个默认值，写成下面这样
   val length: Int = nullable?.length ?: 0  // 如果 nullable?.length 为空， 就返回0
   

2.2、空类型的继承关系

我们知道 Int 是 Number 的子类，所以通过下面的代码我们就可以知道 String 应该是 String? 的子类。

var a: Int = 2
var b: Number = 10.0

a = b // Type mismatch，报错
b = a // OK

var x: String = "Hello"
var y: String? = "World"

x = y // Type mismatch，报错
y = x // OK

2.3、Kotlin 空类型安全回顾

三、Kotlin 智能类型转换

3.1、智能类型转换例子

// 定义一个接口
public interface Kotliner {
}

// 定义一个类 Person 实现 Kotliner 接口
public class Person implements Kotliner {
    public final String name;
    public final int age;

    public Person(String name, int age) {
        this.name = name;
        this.age = age;
    }

    public static void main(String[] args) {
        // 用子类的实例赋值给接口的引用
        Kotliner kotliner = new Person("Test", 20);
        // 这里已经判断了是不是 Person，但是下面还是要强制类型转换
        if (kotliner instanceof Person) {
            System.out.println(kotliner.name);  // 这样写报错
            System.out.println(((Person) kotliner).name);  // 正确写法
        }
    }
}

val kotliner: Kotliner = Person("Test", 20)
if (kotliner is Person) {
    println((kotliner as Person).name)  // 不需要强转，可以智能转换，所以下面的写法就可以了
    println(kotliner.name)
}

下面这段代码定义了一个 value， 类型是 String?，if 判断其不为空，所以在 if 判断这个括号里面，value 的类型会被智能转换成 String，当然出了括号，value 的类型就又是 String? 了。

var value: String? = null
value = "Test"
if (value != null) {
    // value: String?  ==>  String
    println(value.length)
}
// value: String?
...

3.2、不支持智能类型转换的情况

下面这种情况就不支持智能类型转换，因为这个公共变量很多地方都可以访问，所以我们在判断不为空之后，有可能别的线程又把 tag 改成了空，所以这种情况智能类型转换就失效了。

// 在 main 函数之外定义一个公共变量
var tag: String? = null

fun main() {
    if(tag != null) {
        // 有可能被改成空
        println(tag.length)  // 报错，不支持智能类型转换
    }
}

3.3、几个建议

• 尽可能使用 val 来声明不可变引用，让程序的含义更加清晰确定；
• 尽可能减少函数对外部变量的访问；
• 必要的时候曾创建局部变量指向外部变量，避免因它变化引起程序错误。

3.4、Kotlin 智能类型转换

四、小结

五、源码