kotlin - 扩展函数内部的不可变val null检查

Question

当我有一个不可变的val可选时，编译器将跟踪有关我对null执行的检查的信息，并将该变量视为非null并直接在if条件内调用它。

val s: String? = "test"

if (s != null) {
   s.startsWith("3") // This works
}

if (!s.isNullOrEmpty()) {
    s.startsWith("3") // Not working
}

是否可以在扩展功能中进行检查并保持编译器的意识呢？

Answer 1

Kotlin尚不可用。

JetBrains(https://discuss.kotlinlang.org/t/status-of-kotlin-internal-contracts/6392)目前正在开发一项名为“契约(Contract)”的功能–与他们对Java代码使用their own @Contract annotation所做的功能类似，但会得到编译器的支持。

但是，它处于早期阶段，还没有发布日期。