コトルのジェネリックタイプをチェックするには？

Question

私はクラス

class Generic<T : SuperType>() 

を持っており、このコードが正しい

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

をis'tが、Ts as Tショー警告型にsをキャスト - 危険なキャストを。
sのタイプはTであることを確認しますか？

Answer 1

実行時にジェネリック型がJVM上で反映されないため、Kotlinでこれを行う方法はありません。コンパイラは、キャストが実行されたときに失敗する命令を生成できないため、キャストはチェックされていないため、プログラムは後でいつでも中断することがあります。

インライン関数で使用される可能性のある関連機能はreified type parametersです。クラスはタイプパラメータを変更することはできません。したがって、ユースケースについてさらに詳しく説明すると、必要と思われるものを達成するのを手伝うことができます。

Answer 2

何かがジェネリックタイプTであるかどうかを確認する必要がある場合は、チェックするためにClass<T>のインスタンスを持つ必要があります。これはKotlinのJava Hwoeverの一般的なテクニックです。クラスオブジェクトを取得するインラインファクトリメソッドを利用できます。

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) 
}