柯特林聪明的施展在当表情上

Question

我对科特林聪明的演员感到困惑。在我看来，如果（条件）/否则等价于当（条件）为真 -

我正在使用kotlin 1.5.30

data class Person(val name: String)
data class Address(val id: String, val person: Person?)

fun getPersonFromAddress(address: Address?): String {
    return if (address?.person != null) {
        address.person.name
    } else {
        "Not found"
    }
}

fun getPersonFromAddress(address: Address?): String {
    return when (address?.person != null) {
        true -> address.person.name // <-- Does not compile
        false -> "Not found"
    }
}




Answer 1

匿名用户

由于它分析它的方式，if 表达式将转换为如下所示的 when 表达式：

fun getPersonFromAddress(address: Address?): String {
    return when {
        address?.person != null -> address.person.name
        else -> "Not found"
    }
}

将编译。

带有参数的时的与没有参数的时的不同。首先评估参数中的表达式，仅一次。然后将结果（而不是表达式）与每个案例进行比较。因此，就如何评估它而言，它与if/ore相同是一个步骤。

正如注释中提到的@broot，您还可以将空检查推迟到像这样的时候，智能强制转换将起作用，因为它在该分支上检查它：

fun getPersonFromAddress(address: Address?): String {
    return when(address?.person) {
        null -> "Not found"
        else -> address.person.name
    }
}

如果您要将带有条件的 when 语句的尝试转换为 if/else 语法，它将如下所示：

fun getPersonFromAddress2(address: Address?): String {
    val condition = address?.person != null
    return if (condition) {
        address.person.name
    } else {
        "Not found"
    }
}

其也将不编译。

我认为这是因为在这些情况下，编译器必须对智能强制转换进行分析的复杂性会随着额外的间接检查而成倍增长。