在 String 类型的可空接收器上只允许安全 (?.) 或非空断言 (!!.) 调用？

Question

fun checkLengthA(str : String?): Int = if (str.isNullOrBlank()) 0 else str.length

“String 类型的可空接收器只允许安全 (?.) 或非空断言 (!!.) 调用？

所有空对象（或空）都被 isNullOrBlank() 捕获，因此 str.length 中的 str 对象永远不能为空（或空）。这可以通过用显式检查替换扩展函数来实现。

fun checkLengthB(str : String?): Int = if (str == null) 0 else str.length

或更简洁的表达方式：

fun checkLengthC(str : String?): Int = str?.length ?: 0

checkLengthB 和 checkLengthC 都可以正常运行。

让我们从 checkLengthA 中删除可空类型以避免编译错误，上面突出显示：

fun checkLengthA(str : String): Int = if (str.isNullOrBlank()) 0 else str.length

现在，我们只允许解析使用字符串类型的非空参数，所以如果我们期望一些空类型，那么我们必须把“？”返回。

看起来编译器不理解 String 类型的 str 在运行 str.length 和扩展函数时永远不会评估为 null，但如果我们在 if-else 中使用 (str == null) 它将毫无问题地编译声明。

谁能解释为什么会这样？

Answer 1

编译器无法证明在isNullOrBlank 计算结果为false 之后，参数不能为空。 isNullOrBlank 只是一个普通方法，相同的参数可以应用于任何数量的检查参数是否为空的函数。如果有人将isNullOrBlank 的实现更改为始终返回false 怎么办？

在arg == null 的情况下，编译器知道这一定意味着参数不为空，因为，这正是== null 在语法和字面上的含义。

请注意，== null 并不总是会导致安全转换，例如，当被检查的变量是属性时。

在这种情况下：

str?.length ?: 0

不涉及智能演员表。

str?.length 是 Int?，使用 Elvis 运算符 ?: 您最终将得到 Int。

---

有趣的是，the implementation of isNullOrBlank 包含这个contract：

contract {
    returns(false) implies (this@isNullOrBlank != null)
}

所以也许这会在某个时候得到支持。