La réification de type

1. La problématique

Commençons par un exemple qui met en avant le problème que la réification de type nous aidera à corriger.

Soit une fonction printClass dont le but est d’afficher l’interface Class d’une interface KClass que l’on passe en paramètre. L’interface KClass est générique, et pour respecter cette généricité, la fonction doit pouvoir être utilisée avec n’importe quelle classe.

fun printClass(type: Kclass<T>) 
{ 
 //... 
} 

Malheureusement, en l’état, cette fonction ne compile pas puisque le type générique T est inconnu. Modifions-la pour introduire le type générique :

fun <T> printClass(type: Kclass<T>) 
{ 
 //... 
}