Menu
Coddy logo textTech

Inferenza del tipo

Fa parte della sezione Fondamenti del percorso Kotlin di Coddy. Lezione 6 di 93.

Kotlin può determinare automaticamente il tipo di un valore. Questo si chiama inferenza del tipo:

fun main() {
    val name = "Alice"   // Kotlin deduce che questo è un String
    val age = 25         // Kotlin deduce che questo è un Int
    val price = 9.99     // Kotlin deduce che questo è un Double
}

Ma puoi anche dichiarare esplicitamente il tipo usando un’annotazione di tipo. Scrivi i due punti dopo il nome, seguiti dal tipo:

fun main() {
    val name: String = "Alice"
    val age: Int = 25
    val price: Double = 9.99
    val isActive: Boolean = true
}

Le annotazioni di tipo sono utili quando:

  • Vuoi essere particolarmente chiaro sul tipo di un valore
  • Dichiari una variabile senza un valore iniziale
fun main() {
    var score: Int   // Dichiarata ma non ancora inizializzata
    score = 100      // Assegnata in seguito
}

Senza l'annotazione del tipo, Kotlin non saprebbe quale tipo dovrebbe avere score.

challenge icon

Sfida

Principiante

Crea quattro dichiarazioni val senza annotazioni esplicite del tipo: city che contiene "Oslo", platform che contiene 4, fare che contiene 12.5 e isExpress che contiene false. Lascia che Kotlin ne deduca i tipi. Stampa i loro valori su quattro righe separate, in quest’ordine.

Provalo tu

fun main() {
    // Dichiara i quattro valori senza annotazioni di tipo.
    // Stampali nell'ordine richiesto.
}
quiz iconMettiti alla prova

Questa lezione include un breve quiz. Inizia la lezione per rispondere e tenere traccia dei tuoi progressi.

Tutte le lezioni di Fondamenti

Esercitati da solo: Playground Kotlin