kotlin - 这是 Kotlin REPL 的错误吗？

Question

我可以像这样(递归地)在 Kotlin REPL 中定义一个值而不会出现错误:

val s: String = s

现在我得到一个类型为 NotNull 但值为 null 的 's'。
我可以用 NPE 对这个 NotNull 值做一些事情:

>>> val s: String = s

>>> s.length
java.lang.NullPointerException

您可以在自己的 Kotlin REPL 上尝试它，它每次都有效。

我使用的是 Kotlin 版本 1.1.2-3。

Answer 1

是的，这是REPL的一个bug。

在 REAL Kotlin 文件中，它会提示“Unresolve reference”

抱歉，我无法发布 img，但您可以在您的 IDE 中尝试。

我使用的是 IntelliJ-IDEA 2017.1.3