0Pricing
Kotlin Academy · Lezione

Parametri di tipo reified: accedere a T a runtime

Utilizzi reified con le funzioni inline per eseguire controlli e cast dei tipi a runtime.

Parametri di tipo reified: accedere a T a runtime è una lezione Kotlin Academy gratuita su CoddyKit. Questa è la lezione 3 di 4. Puoi leggere la lezione completa qui gratuitamente — poi esercitati direttamente nel browser con un editor di codice integrato e un tutor IA disponibile 24/7. Fa parte del percorso di apprendimento Kotlin Academy, e i tuoi progressi si sincronizzano tra il web e l'app CoddyKit. Il corso Kotlin Academy include 4 lezioni in totale.

Il problema della cancellazione dei tipi

Kotlin/JVM elimina le informazioni sui tipi generici a runtime. All'interno di una funzione generica fun foo() non è possibile scrivere T::class o is T: dopo la compilazione, la JVM non sa a quale tipo corrisponda T.

reified in soccorso

Combini inline con reified sul parametro di tipo. Poiché la funzione viene sottoposta a inlining, il compilatore sostituisce il tipo concreto in ogni punto della chiamata, rendendo T completamente accessibile a runtime.

inline fun <reified T> isInstance(value: Any): Boolean = value is T

val result = isInstance<String>("hello")  // true

Verificare il tipo con is T

Senza reified, is T provoca un errore in fase di compilazione («Impossibile verificare l'istanza del tipo cancellato»). Con reified, il compilatore riscrive il controllo utilizzando il tipo concreto fornito nel punto della chiamata.

inline fun <reified T> filterByType(list: List<Any>): List<T> =
    list.filterIsInstance<T>()

Ottenere KClass da T

È possibile ottenere la KClass del parametro di tipo con T::class. Questo consente di eseguire controlli del tipo e passare riferimenti a classi alle API senza ricorrere alla reflection.

inline fun <reified T> className(): String = T::class.simpleName ?: "Unknown"

println(className<Int>())  // "Int"

Analizzare con reified

Un pattern comune consiste in un helper parseJson type-safe che riceve automaticamente la classe di destinazione:

inline fun <reified T> parseJson(json: String): T =
    jacksonObjectMapper().readValue(json, T::class.java)

Pattern ViewModel / Service Locator

I container per l'injection delle dipendenze usano spesso reified per restituire l'istanza corretta senza richiedere il passaggio di un argomento Class:

inline fun <reified T : ViewModel> Fragment.viewModel(): T =
    ViewModelProvider(this)[T::class.java]

Chiamare le API Java con Class<T>

Molte API Java richiedono un argomento Class. reified consente di chiamarle senza costringere il chiamante a passare esplicitamente la classe:

inline fun <reified T> Gson.fromJson(json: String): T =
    fromJson(json, T::class.java)

reified e vincoli di tipo

È possibile combinare reified con i limiti superiori:

inline fun <reified T : Any> create(): T =
    T::class.java.getDeclaredConstructor().newInstance()

Limitazioni

I parametri di tipo reified funzionano solo nelle funzioni inline, non nelle classi, nelle interfacce o nelle funzioni non inline. Non è possibile chiamare una funzione reified con un tipo sconosciuto, noto solo a runtime.

Come lo implementa il compilatore

In ogni punto della chiamata, il compilatore sostituisce T con l'argomento di tipo effettivo. Il bytecode nel punto della chiamata contiene riferimenti diretti alla classe concreta: non è necessaria alcuna reflection.

Esempi della libreria standard

Funzioni della libreria standard che usano reified: filterIsInstance(), emptyArray(), arrayOf(), typeOf(). Funzionano in modo preciso proprio perché sono funzioni inline + reified.

Verifica rapida

Perché reified richiede che la funzione sia inline?

Riepilogo: parametri di tipo reified

Punti chiave:

  • reified rende accessibile un parametro di tipo a runtime, aggirando la cancellazione del tipo
  • Richiede che la funzione sia inline
  • Consente di usare is T, T::class, T::class.java all'interno della funzione
  • È alla base del parsing type-safe del JSON, degli helper per la DI e delle API che usano riferimenti a classi

Domande Frequenti

La lezione «Parametri di tipo reified: accedere a T a runtime» è gratuita?

Sì — il testo completo di «Parametri di tipo reified: accedere a T a runtime» è gratuito qui sul web. Per esercitarvi in modo interattivo (un editor di codice integrato e un tutor IA 24/7) e sbloccare il resto del corso Kotlin Academy, passa a CoddyKit PRO. Il corso Kotlin Academy include 4 lezioni in totale.

Cosa imparerò in «Parametri di tipo reified: accedere a T a runtime»?

Utilizzi reified con le funzioni inline per eseguire controlli e cast dei tipi a runtime. Eserciti Kotlin Academy con codice pratico che esegui direttamente nel browser, e un tutor IA 24/7 risponde alle tue domande mentre lavori sulla lezione.

Ho bisogno di esperienza per iniziare Kotlin Academy?

Non è richiesta alcuna esperienza precedente. Kotlin Academy su CoddyKit è strutturato per principianti e studenti avanzati, quindi puoi iniziare da qui o dall'inizio e procedere al tuo ritmo. Questa è la lezione 3 di 4.

Quanto tempo richiede la lezione «Parametri di tipo reified: accedere a T a runtime»?

La maggior parte delle lezioni CoddyKit richiede circa 5–10 minuti. Ogni lezione è breve e interattiva, quindi fai progressi costanti e riprendi esattamente da dove hai lasciato su web e app.

Posso scrivere ed eseguire codice in questa lezione Kotlin Academy?

Sì. Ogni lezione Kotlin Academy include un editor di codice integrato, quindi scrivi ed esegui codice reale direttamente nel tuo browser e ricevi feedback istantaneo dall'IA — nessuna configurazione locale necessaria.

Tutte le lezioni di questo corso

  1. Funzioni inline: eliminare l'overhead delle lambda
  2. Modificatori noinline e crossinline
  3. Parametri di tipo reified: accedere a T a runtime
  4. Pattern reified pratici: parsing, DI e serializzazione
← Torna a Kotlin Academy