Anulabilidad En Kotlin

En este tutorial aprenderás sobre anulabilidad en Kotlin para usar tipos anulables y no anulables.

Tipos Anulables En Kotlin

Con el mismo marco de las variables de solo lectura y mutables, Kotlin evita que tus tipos acepten el literal constante null (ausencia de valor) como regla general.

Si necesitas un tipo que acepte nulos, defínelo como anulable, ubicando un signo de interrogación de cierre (?) al final del tipo.

Por ejemplo:

fun main() {
    var noAceptaNull: String
    noAceptaNull = null

    var aceptaNull: String?
    aceptaNull = null
}

La variable noAceptaNull es de tipo no anulable, por lo que si intentas asignarle null tendrás el error:

Null can not be a value of a non-null type String

Por el otro lado aceptaNull que ha sido declarado anulable con String?, si permite la asignación del literal.

Inferencia De Tipos No Anulables

El compilador de Kotlin tiene la capacidad de inferir si el tipo será anulable o no, dependiendo del contexto.

Por ejemplo:

Si inicializas una variable con un valor determinado y no declaras el tipo, implícitamente el tipo será no anulable:

// Inferencia
var cardName = "Animal compañero" // :String
// Sucesos...
cardName = null // Error

Verificar Igualdad A null

Con el fin de evitar que el flujo de tu programa se vea afectado por la aparición de un valor nulo, usa la expresión if para comprobar su existencia.

Por ejemplo:

Se requiere crear una función que imprima una lista de bestias de un juego. Es posible que no existan valores todavía en la base de datos.

fun showBeastsList(beasts: List<String>?) {
    if (beasts != null && beasts.isNotEmpty()) {
        beasts.forEach { println(it) }
    }
}

La solución usa un parámetro anulable de tipo List<String>?. Como vez, usamos el operador != para especificar la diferencia de null.

Debido a que el operador && realiza una operación de cortocircuito (omite las siguientes evaluaciones si la primera expresión es false), el compilador infiere que al realizar beasts.isNotEmpty(), beasts no será nulo y es seguro invocar al método.

En IntelliJ IDEA cuando existe dicha seguridad de nulidad, la variable es enfatizada en los lugares del contexto seguro.

De esta forma puedes llamar a forEach() sin que tengas problemas con valor null.

Operador De Acceso Seguro

Otra opción para protegerte contra nulidad, es que uses el operador de acceso seguro. Este se compone del signo de pregunta y un punto (?.) para el acceso.

cliente?.nombre // Si el [cliente] no es null, acceder a [nombre]

Si el miembro existe, entonces se retorna el contenido, de lo contrario se obtendrá null del recibidor.

Asignación De Tipos Anulables

El resultado de variables anulables solo puede ser asignado a otras variables anulables.

val password: String? = null
// Obtener password...
val passwordSize = password?.length

En el ejemplo anterior, el compilador de Kotlin deduce el tipo como Int? con el fin de soportar un posible valor null.

El Operador Elvis

El operador Elvis retorna el primer operando (a), si dicho operando es evaluado como true, de lo contrario evalúa y retorna su segundo operando (b).

c = a?:b

En Kotlin, este operador se reduce para comprobar expresiones anulables. Si el operando de la izquierda es null entonces retornará el de la derecha:

val passwordSize = if (password!=null) password.length else 0
// Esto equivale a:
val passwordSize = password?.length ?: 0

En el ejemplo anterior el operando a=password?.count y b=0.

Si a no es null, entonces retornar count, de lo contrario passwordSize sería igual a cero.

Operador !!

También es posible manejar la anulabilidad en Kotlin, usando el operador de aserción not null (!!) o not-null assertion operator.

Este convierte cualquier valor a un tipo no anulable. Si no se puede, se lanza una excepción del tipo NullPointerException.

Por ejemplo, el siguiente código produce una NPE debido a que el contador nunca se reasigna con un valor entero:

fun main() {
    val counter: Int? = null
    counter!!.dec()
 // NPE
    print(counter)
}

Al intentar usar dec() para disminuir el valor, la excepción se disparará.