Come controllare il tipo generico in Kotlin?

Question

ho lezione

class Generic<T : SuperType>() 

e questo codice is't corretto

fun typeCheck(s: SuperType): Unit { 
      when(s){ 
       is T -> //do some thin 
      } 
     } 

ma gettata s digitare Ts as T Mostra avviso - getto pericoloso.
Come verificare che s sia il tipo T?

Answer 1

I tipi generici non vengono reificati sulla JVM in fase di esecuzione, quindi non c'è modo di farlo in Kotlin. L'avviso è corretto perché il compilatore non può generare alcuna istruzione che fallirà quando il cast è terminato, quindi il cast è deselezionato, il che significa che il programma potrebbe, in un momento successivo, rompere o meno.

Una funzione correlata che potrebbe essere utile è reified type parameters in funzioni inline. Le classi non possono avere parametri di tipo reificato, quindi, se approfondisci un po 'di più sul tuo caso d'uso, posso provare ad aiutarti a ottenere ciò di cui hai bisogno.

Answer 2

Se è necessario verificare se qualcosa è di tipo generico T è necessario disporre di un'istanza di Class<T> da verificare. Questa è una tecnica comune in Java hwoever in Kotlin, possiamo usare un metodo di factory inline che ci fa diventare oggetto di classe.

class Generic<T : Any>(val klass: Class<T>) { 
    companion object { 
     inline operator fun <reified T : Any>invoke() = Generic(T::class.java) 
    } 

    fun checkType(t: Any) { 
     when { 
      klass.isAssignableFrom(t.javaClass) -> println("Correct type") 
      else -> println("Wrong type") 
     } 

    } 
} 

fun main(vararg args: String) { 
    Generic<String>().checkType("foo") 
    Generic<String>().checkType(1) 
}