java - 为什么可以将 java 可为空的返回值分配给 Kotlin Non-Nullable 变量？

Question

我很惊讶编译了以下代码:

lateinit var progressBar: ProgressBar

在onCreate中:

progressBar = view.findViewById(R.id.pb_loader)

findViewById声明它可以返回一个null，那么编译器怎么不强制我声明:

lateinit var progressBar: ProgressBar?

谁能帮我理解编译器什么时候强制执行，什么时候不强制执行？

Answer 1

View.findViewById是一个Java函数。 Kotlin 编译器无法确定它是否可以返回可空值，因为对于 Java，只存在可空类型(即使它们在运行时可能永远不会为空)。

为了文档(和互操作性)而引入了注释。 Some of them Kotlin 编译器可以使用它来确定正确的类型。

但如果编译器无法判断类型则视为platform type ，这意味着您作为开发人员必须在调用站点决定返回的值是否可能是 null。