Tipus de dades

Introducció#

A Computació vas veure que 5 / 2 dona 2 i que 'K' == "K" ni tan sols compila.

Les dues coses tenen la mateixa explicació: el tipus dels valors.

En Python els tipus existeixen — type(2) et diu <class 'int'> — però són una propietat del valor, i el valor viu mentre el programa s’executa.

En Kotlin el tipus és una propietat de la variable, i el compilador el sap abans que el programa arrenqui.

D’aquí surt tot el que veuràs en aquesta pàgina.

Inferència#

Quan declares una variable amb un valor, no cal que diguis de quin tipus és:

fun main() {
    val text = "Hello, I am studying Kotlin now."
    val n = 1
}

Kotlin dedueix que text és un String i que n és un Int.

Aquest mecanisme s’anomena inferència de tipus.

També pots dir-ho tu, després del nom i separat per dos punts:

fun main() {
    val text: String = "Hello, I am studying Kotlin now."
    val n: Int = 1
}

Les dues formes es fan servir. Amb la inferència el codi és més curt; dient-ho tu, més explícit.

Hi ha un cas en què no tens elecció: si declares la variable i l’assignes més tard, no hi ha cap valor del qual deduir el tipus.

fun main() {
    val greeting
    greeting = "hello"
}

This variable must either have an explicit type or be initialized.