Var nullable e smart cast

LudvigH 2020-08-30 11:25.

Considera il seguente blocco di Kotlin.

var nullableInt: Int? = null

if (nullableInt != null) {
    val checkedInt: Int = nullableInt
    print("not-null-branch")
} else {
    print("null-branch")
}

Android Studio mi dice che il cast intelligente da Int?a Intnon è possibile, poiché nullableIntè mutevole. Capisco che questo potrebbe essere un problema nel codice multithread.

Un modo per gestire il problema è fare un cast esplicito con val checkedInt: Int = nullableInt!!, ma se usassi il codice in un ambiente multithread non è consigliabile.

Chiudi i duplicati

Ci sono un paio di domande molto vicine su SO riguardo a questo argomento. Tuttavia, non trovo una risposta soddisfacente in nessuno di quelli che ho trovato:

In Kotlin, qual è il modo idiomatico di gestire valori nullable, fare riferimento o convertirli discute perché si pone il problema, ma non fornisce suggerimenti su come gestirlo

Kotlin evita lo smart cast per il controllo null ha un ramo if-not-null che restituisce un valore non null, quindi il ?.let{} :? {}costrutto funziona lì. Poiché il mio ramo non nullo restituisce null, verranno eseguiti entrambi i rami.

Kotlin "Smart cast è impossibile, perché la proprietà avrebbe potuto essere cambiata in questo momento" riguarda solo un ramo non nullo e nessun ramo nullo, quindi il ?.let{}costrutto sembra corretto. In quel thread, forniscono il suggerimento di prendere una copia locale prima della ifdichiarazione, il che potrebbe essere fattibile anche nel mio caso. Purtroppo non è molto elegante e spero che ci sia qualche altra alternativa.

Esiste un modo per gestire questa ramificazione condizionale nullo in modo nullo senza prendere una copia?

Capisco che la risposta potenzialmente potrebbe essere "dipende". Se è così, per favore dillo e spiega perché.

kotlin null kotlin-null-safety

2 answers

Sam 2020-08-30 18:35.

Usa `.let`invece di`?.let`

Poiché la .letfunzione di estensione è definita per tutti i tipi, inclusi quelli nullable, è possibile chiamarla effettivamente senza l' ?.operatore di chiamata sicura . Quando lo fai, il lambda verrà sempre chiamato, anche per i nullvalori. Il parametro all'interno del letblocco sarà nullable se il ricevitore è nullable.

Tuttavia, il parametro lambda è idoneo per lo smart casting , perché non è modificabile.

Ecco la differenza:

x.let { it -> /* This always runs. 'it' can be null if 'x' is null */ }
x?.let { it -> /* This only runs if 'x' is not null. 'it' is never null. */ }

Applicandolo al tuo esempio, potresti scrivere questo:

var nullableInt: Int? = null

nullableInt.let {
    if (it != null) {
         doSomethingWith(it)
    } else {
         doSomethingElse()
    }
}

Tenfour04 2020-08-30 19:57.

Non è possibile avviare il cast di una proprietà perché un altro thread potrebbe modificarla. Non c'è un modo logico per aggirare questo. La lingua fornisce già un modo non sicuro per farlo con ciò !!che hai già menzionato.

Fare una copia locale del riferimento (manualmente o utilizzando una funzione di ambito come witho let) è banale, quindi non è qualcosa di cui ti devi preoccupare.

La mia opinione personale è che una variabile locale è il modo più pulito e leggibile per farlo. Eviti l'annidamento di blocchi che avresti con le funzioni di ambito.

val myVar = myProp
if (myVar != null) {

} else {

}

Penso che il modo più pulito con le funzioni di ambito sia quello di utilizzare with. Legge meglio di letquando gestisci entrambi i rami.

with(myProp) {
    if (this != null) {

    } else {

    }
}

Per un modo conciso di gestire entrambi i rami, funziona quanto segue. Considero alsoun po 'più robusto rispetto leta questa situazione, perché non puoi eseguire accidentalmente entrambi i rami restituendo un valore nullo dal primo lambda. Ma la leggibilità soffre di andare così conciso.

myProp?.also {
    // not null it
} ?: run {
    // null
}

Japanese Spanish German French Thai Portuguese Russian Vietnamese Italian Korean Turkish Indonesian Polish Hindi

MORE COOL STUFF

Jana Duggar: tutto ciò che ha detto sull'amore e sulla sua finestra di 5 anni per trovare "l'unico"

Jana Duggar è stata aperta sulla sua ricerca dell'amore. Ecco tutto ciò che ha detto sull'argomento e sulla sua finestra di cinque anni per il matrimonio.

2023-06-12.

Sam Heughan sa esattamente cosa prenderà dal set di 'Outlander': 'Mi sento come se fossi Jamie quando li indosso'

La star di 'Outlander' Sam Heughan ha recentemente rivelato cosa prenderà dal set per ricordare Jamie Fraser, il ruolo che lo ha reso una star.

2023-06-12.

La canzone dei primi Beatles che è stata una delle "esibizioni più entusiasmanti" della band, secondo un membro dei Fab Four

"She Loves You" è stata scritta in un'ora, registrata in un giorno ed è stata la canzone dei Beatles con una delle loro migliori performance della loro carriera.

2023-06-11.

Dolly Parton ha aiutato sua nonna "invalida" quando nessuno degli altri nipoti l'avrebbe fatto: le faceva anche uno scherzo

Dolly Parton e sua nonna Bessie avevano un rapporto speciale. Nonna Parton era molto malata, ma questo non ha impedito a Dolly di farle uno scherzo.

2023-06-11.

10 delle creature marine più spaventose che si nascondono nelle profondità dell'oceano

L'oceano è pieno di bellezza, ma nasconde anche alcune delle creature marine più spaventose del pianeta. Molti di questi animali si nascondono molto al di sotto della superficie dell'oceano, nel mondo oscuro e ad alta pressione delle profondità marine.

2025-10-29.

I 10 migliori incantesimi per le spade in Minecraft

Se stai combattendo contro nemici ostili o ti stai preparando per scenari PvP, conoscere i migliori incantesimi per le spade offerti da Minecraft può darti un vantaggio notevole. Incantare le spade ti permette di infliggere più danni, aumentare il numero di nemici che cadono e aumentare la durata della tua spada.

2025-10-29.

Il furgone delle consegne di Amazon prende fuoco in un'esplosione di fuoco durante la calura estiva di Houston

Le riprese dei droni hanno ripreso i vigili del fuoco che sembravano lottare per spegnere l'incendio.

2024-07-03 19:04.

Lo spettacolo Black Panther della Marvel sarà lo spettacolo animato più cruciale di sempre

Eyes of Wakanda si collega direttamente al MCU, oltre ad aggiornamenti su X-Men '97, What If..., Daredevil e altro ancora.

2024-07-03 19:03.

La storia sentimentale di Ava Gardner: uno sguardo ai matrimoni e alle storie d'amore dell'icona di Hollywood

Ava Gardner avrebbe dovuto sposarsi con Mickey Rooney e Frank Sintra, e frequentare diverse altre star di Hollywood. Ecco uno sguardo alla storia sentimentale di Ava Gardner.

2024-06-23.

3 modi comprovati per migliorare la tua abilità di scrittura

I vantaggi della scrittura e le strategie per aiutarti a farlo

Nel 2022, con il rilascio di GPT-3, l'abilità di scrittura sembra diventare meno importante. Con l'intelligenza artificiale, anche le persone con una scrittura scadente possono generare personale di qualità.

La lenta erosione: svelare i modi in cui le persone deperiscono nella loro carriera

Nel mondo frenetico e competitivo di oggi, la propria carriera gioca un ruolo significativo nella crescita personale, nella stabilità finanziaria e nella soddisfazione generale della vita. Tuttavia, molte persone si trovano intrappolate in un ciclo inesorabile di stagnazione e insoddisfazione, che si esauriscono gradualmente nella loro vita professionale.

Cosa rende influente un podcast?

La scorsa settimana ho notato un comunicato stampa, inviato tramite PressGazette (un sito Web di notizie sui media britannici). L'articolo annunciava che Acast, la società di hosting e pubblicità di podcast di Scandi, avrebbe guidato un consorzio di editori "probabilmente i più influenti" nel podcasting.

Language

Japanese

Spanish

German

French

Thai

Portuguese

Russian

Vietnamese

Italian

Korean

Turkish

Indonesian

Polish

Hindi

Var nullable e smart cast

Chiudi i duplicati

2 answers

Usa `.let`invece di`?.let`

Related questions

MORE COOL STUFF

Jana Duggar: tutto ciò che ha detto sull'amore e sulla sua finestra di 5 anni per trovare "l'unico"

Sam Heughan sa esattamente cosa prenderà dal set di 'Outlander': 'Mi sento come se fossi Jamie quando li indosso'

La canzone dei primi Beatles che è stata una delle "esibizioni più entusiasmanti" della band, secondo un membro dei Fab Four

Dolly Parton ha aiutato sua nonna "invalida" quando nessuno degli altri nipoti l'avrebbe fatto: le faceva anche uno scherzo

Qual è il legno più duro del mondo?

10 delle creature marine più spaventose che si nascondono nelle profondità dell'oceano

I 10 migliori incantesimi per le spade in Minecraft

13 Paesi socialisti molto diversi tra loro

Il riepilogo di Bear: Marcus è l'uomo più gentile, tenero e sincero di Chicago?

A $ 9.800, li metteresti dentro in questa Toyota RAV4 del 2008 a sette posti?

Il furgone delle consegne di Amazon prende fuoco in un'esplosione di fuoco durante la calura estiva di Houston

Lo spettacolo Black Panther della Marvel sarà lo spettacolo animato più cruciale di sempre

La storia sentimentale di Ava Gardner: uno sguardo ai matrimoni e alle storie d'amore dell'icona di Hollywood

Chi è la moglie di John Cleese? Tutto su Jennifer Wade

Chi è la ragazza di Dev Patel? Tutto su Tilda Cobham-Hervey

Cronologia della relazione tra Garth Brooks e Trisha Yearwood

i pronomi sono super spaventosi

3 modi comprovati per migliorare la tua abilità di scrittura

I vantaggi della scrittura e le strategie per aiutarti a farlo

La lenta erosione: svelare i modi in cui le persone deperiscono nella loro carriera

Cosa rende influente un podcast?

Language

Var nullable e smart cast

Chiudi i duplicati

2 answers

Usa .letinvece di?.let

Related questions

MORE COOL STUFF

I vantaggi della scrittura e le strategie per aiutarti a farlo

Language

Usa `.let`invece di`?.let`