Kotlin Academy · Lektion

Smart casts

Automatisk cast efter tjek

Lektion 2 af 413 trin

Smart casts er en gratis Kotlin Academy-lektion på CoddyKit. Dette er lektion 2 af 4. Du kan læse alle 3 lektioner i dette læringsspor gratis i deres fulde længde — derefter låser CoddyKit PRO alle lektioner op samt praktiske øvelser med en indbygget kodeeditor og en AI-underviser døgnet rundt. Den er en del af læringsforløbet i Kotlin Academy, og dine fremskridt synkroniseres på tværs af nettet og CoddyKit-appen. Kotlin Academy-kurset indeholder 4 lektioner i alt.

Hvad er smart casts

Når du har kontrolleret typen af en værdi, husker Kotlin dette. Inde i den kontrollerede blok behandler Kotlin automatisk værdien som den indsnævrede type.

Denne funktion kaldes et smart cast, og den fjerner behovet for manuel casting.

Smart cast efter is

Når en is-kontrol lykkes, kan du bruge værdien som den pågældende type uden selv at skrive et cast.

Compileren indsætter det for dig.

fun describe(x: Any) {
    if (x is String) {
        println(x.length) // x is smart-cast to String
    }
}

fun main() {
    describe("hello")
}

Smart cast efter null-kontrol

Smart casts fungerer også med nullabilitet. Når du har bekræftet, at en værdi ikke er null, behandles den som ikke-null.

fun length(text: String?): Int {
    if (text != null) {
        return text.length // smart-cast to non-null String
    }
    return 0
}

fun main() {
    println(length("abc"))
    println(length(null))
}

Smart casts i when

Typekontroller inde i when aktiverer også smart casts i hver gren.

Det er den idiomatiske måde at håndtere flere mulige typer på.

fun area(shape: Any): Double = when (shape) {
    is Int -> shape.toDouble()
    is String -> shape.length.toDouble()
    else -> 0.0
}

fun main() {
    println(area(5))
    println(area("hello"))
}

Smart cast med tidlig returnering

Hvis du returnerer tidligt, når en værdi er null, ved compileren, at den efterfølgende ikke er null.

Resten af funktionen bruger værdien sikkert.

fun process(text: String?) {
    if (text == null) return
    println(text.uppercase()) // smart-cast here
}

fun main() {
    process("data")
    process(null)
}

Smart cast med Elvis-returnering

Hvis du kombinerer Elvis med return, udløser det også et smart cast for den resterende kode.

fun process(text: String?) {
    val safe = text ?: return
    println(safe.length) // safe is non-null
}

fun main() {
    process("hi")
    process(null)
}

Kombinerede betingelser

Smart casts følger logikken i kombinerede betingelser med &&.

Efter typekontrollen til venstre ser højre side allerede den indsnævrede type.

fun check(x: Any) {
    if (x is String && x.length > 3) {
        println("long string")
    } else {
        println("other")
    }
}

fun main() {
    check("hello")
    check(2)
}

Når smart casts mislykkes

Smart casts kræver en garanti for, at værdien ikke ændres mellem kontrollen og brugen.

En variabel var, der kan ændres samtidig, får muligvis ikke et smart cast. Foretræk val for pålidelige smart casts.

fun main() {
    val text: String? = "stable"
    if (text != null) {
        println(text.length) // val smart-casts cleanly
    }
}

Lokal val er sikrest

Hvis du kopierer en værdi til en lokal val, bliver smart casts pålidelige.

Det er et almindeligt mønster, når du arbejder med nullable egenskaber.

class Box(val content: String?)

fun main() {
    val box = Box("item")
    val c = box.content
    if (c != null) {
        println(c.uppercase())
    }
}

Smart cast kontra eksplicit cast

Smart casts erstatter de fleste eksplicitte as-casts. De er sikrere, fordi de kun gælder, hvor typen er bevist.

Du lærer eksplicitte is- og as-operatorer næste gang.

fun main() {
    val x: Any = "text"
    if (x is String) {
        // no need for (x as String)
        println(x.reversed())
    }
}

Sæt det hele sammen

Smart casts lader compileren indsnævre typer automatisk:

  • Efter is-kontroller → cast til den pågældende type
  • Efter null-kontroller → cast til ikke-null
  • Fungerer i if, when og efter tidlige returneringer
  • Mest pålidelige med val
fun render(x: Any): String {
    if (x is Int) return "number " + x
    if (x is String) return "text " + x.uppercase()
    return "unknown"
}

fun main() {
    println(render(7))
    println(render("go"))
}

Hurtigt tjek

Afprøv din forståelse af smart casts.

Opsummering

Du har lært om smart casts:

  • Type- og null-kontroller indsnævrer typen automatisk
  • De fungerer i if, when og efter tidlige returneringer
  • val giver de mest pålidelige smart casts

Dernæst skal du studere operatorerne is og as direkte.

Gratis at komme i gang

Lær Kotlin med en AI-underviser — gratis

Skriv og kør rigtig kode i din browser, få øjeblikkelig hjælp fra en AI-underviser døgnet rundt, og fortsæt, hvor du slap, på web eller i appen.

Kurser
51
Lektioner
203

Ofte stillede spørgsmål

Er lektionen “Smart casts” gratis?

Ja — alle 3 lektioner i læringssporet Kotlin Academy, inklusive “Smart casts”, kan læses gratis i deres fulde længde her på webstedet. Derefter låser CoddyKit PRO alle lektioner op samt interaktive øvelser med en indbygget kodeeditor og en AI-underviser døgnet rundt. Kotlin Academy-kurset indeholder 4 lektioner i alt.

Hvad lærer jeg i “Smart casts”?

Automatisk cast efter tjek Du øver dig i Kotlin Academy med praktisk kode, som du kører direkte i browseren, og en AI-vejleder døgnet rundt besvarer dine spørgsmål, mens du arbejder dig gennem lektionen.

Skal jeg have erfaring for at begynde på Kotlin Academy?

Der kræves ingen tidligere erfaring. Kotlin Academy på CoddyKit er tilrettelagt for både begyndere og øvede, så du kan starte her eller fra begyndelsen og lære i dit eget tempo. Dette er lektion 2 af 4.

Hvor lang tid tager lektionen “Smart casts”?

De fleste CoddyKit-lektioner tager cirka 5–10 minutter. Hver lektion er kort og interaktiv, så du gør løbende fremskridt og kan fortsætte, hvor du slap – på både web og app.

Kan jeg skrive og køre kode i denne Kotlin Academy-lektion?

Ja. Alle Kotlin Academy-lektioner har en indbygget kodeeditor, så du kan skrive og køre rigtig kode direkte i din browser og få øjeblikkelig feedback fra AI – uden lokal opsætning.

Alle lektioner i dette kursus

  1. when som udtryk
  2. Smart casts
  3. Operatorerne is og as
  4. Udtømmende when
← Tilbage til Kotlin Academy