Kotlin 零安全性？

Question

让我们有一个函数foo和一个类Bar：

fun foo(key: String): String? {
  // returns string or null
}

class Bar(x: String, y: String) {
  // ...
}

现在，让我们来看看代码：

val x = foo("x")
val y = foo("y")
if (x.isNotEmpty() && y.isNotEmpty())
  return Bar(x, y)

问题是这段代码无法编译。因为它需要Bar(x!!, y!!)。

但是当我用它的内容替换函数时，!! 就不需要了。

val x = foo("x")
val y = foo("y")
if ((x != null && x.length() > 0) && (y != null && y.length() > 0))
  return Bar(x, y)

为什么无法从函数.isNotEmpty() 解析空检查？

Answer 1

这在理论上是可能的，但这意味着要么 1. isNotEmpty() 的声明必须向编译器传达这样一个事实：如果结果为真，x 保证为非空 2. 任何函数体的更改都可能导致其调用站点无法编译。

选项 2 绝对不能接受。选项 1 需要在类型系统中有一个相当有表现力的机制，我们决定暂时不添加，因为它可能会使用户的事情变得复杂。

我们计划通过内联函数支持类似的功能，但仍在考虑中。