kotlin - 如何将可为空类型传递给采用非空类型的函数？

Question

如果我在通过之前进行空检查，这可能吗？例如:

fun main(args: Array<String>) {
    var num: Int? = null
    // Stuff happens that might make num not null
    ...
    if (num != null) doSomething(num)
}

fun doSomething(number: Int) {
    ...
}

我不明白为什么编译器不允许我传递可空值，即使我先检查它不是空值。谁能解释一下？

Answer 1

注意:从编译器版本 1.0 beta 开始，有问题的代码按原样工作

编译器可以判断变量是否在检查和使用之间发生了变化，至少在像这个问题这样的局部变量的情况下，以及在其他一些情况下。见 Jayson's answer详情。

http://kotlinlang.org/docs/reference/null-safety.html#checking-for-null-keyword--in-conditions说

The compiler tracks the information about the [null] check ... this only works where b is immutable (i.e. a local val or a member val which has a backing field and is not overridable), because otherwise it might happen that b changes to null after the check.

所以这样的事情应该有效:

fun main(args: Array<String>) {
    var num: Int? = null
    // Stuff happens that might make num not null
    ...
    val numVal: Int? = num
    if (numVal != null) doSomething(numVal)
}

fun doSomething(number: Int) {
    ...
}

当然，最好以这样的方式重写“事情发生”，您可以制作 num成 val首先。