Estoy muy sorprendido de que el siguiente código esté compilado:
lateinit var progressBar: ProgressBar y en onCreate :
progressBar = view.findViewById(R.id.pb_loader) findViewById declaró que puede devolver un null , entonces, ¿cómo no me obliga el compilador a declarar:
lateinit var progressBar: ProgressBar?¿Puede alguien ayudarme a entender cuándo el compilador se aplica y cuándo no?
View.findViewById es una función de Java. El compilador de Kotlin no tiene forma de determinar si puede devolver un valor anulable o no, ya que para Java solo existen tipos anulables (aunque es posible que nunca sean nulos en tiempo de ejecución).
Las anotaciones se introdujeron por el bien de la documentación (y la interoperabilidad). El compilador de Kotlin puede usar algunos de ellos para determinar el tipo adecuado.
Pero si el compilador no puede decidir, el tipo se considera tipo de plataforma , lo que significa que usted, como desarrollador, debe decidir en el sitio de llamadas si el valor devuelto podría ser null .
De los documentos :
Cualquier referencia en Java puede ser nula, lo que hace que los requisitos de Kotlin de estricta seguridad nula no sean prácticos para los objetos que provienen de Java. Los tipos de declaraciones de Java se tratan especialmente en Kotlin y se denominan tipos de plataforma. Los controles nulos se relajan para tales tipos, por lo que las garantías de seguridad para ellos son las mismas que en Java.
Así que sí, este es el comportamiento esperado. Kotlin no verifica la nulabilidad si proviene de una API de Java, a menos que coloque anotaciones de nulabilidad en el método. findViewById lamentablemente no tiene tales anotaciones.