Quand se produit une surcharge lors de l'utilisation de fonctions en ligne?

La surcharge des fonctions inline (fonctions inline) en Kotlin ne se produit pas dans le sens traditionnel du polymorphisme à l'exécution. Une fonction inline est insérée à l'endroit de l'appel lors de la compilation. Par conséquent, lorsque nous parlons de "surcharge" en ce qui concerne les fonctions inline, nous faisons généralement référence à la capacité du compilateur à générer plusieurs versions du code inséré pour différents contextes d'appel, en particulier lors de l'utilisation de génériques.

Points clés:

• Spécialisation à la compilation: Pour les fonctions inline avec des génériques (reified), le compilateur génère des versions spécialisées du code pour chaque type spécifique remplacé dans le paramètre de type. Cela se produit lors de la compilation, pas à l'exécution.
• Éviter la surcharge supplémentaire: L'objectif de l'inlining est d'éliminer les coûts liés à l'appel de la fonction. La spécialisation pour les génériques permet d'éviter l'emballage des types primitifs et d'autres coûts liés à l'effacement des types en Java.
• Pas de polymorphisme: Ce n'est pas un polymorphisme classique, où une méthode redéfinie est appelée en fonction du type réel de l'objet à l'exécution. Ici, le choix de la "version" de la fonction se fait lors de la compilation.

Exemple d'utilisation de reified avec une fonction inline:

inline fun <reified T> printType(value: T) {
    // Le compilateur générera du code séparé pour chaque T (Int, String, etc.)
    println("Le type est : ${T::class.java.name}")
}

fun main() {
    printType(123) // Génère du code pour T = Int
    printType("Bonjour") // Génère du code pour T = String
}

Dans ce cas, bien que syntaxiquement nous appelions une seule fonction printType, le compilateur génère deux versions différentes du code inséré : une pour Int et une pour String. Cela peut être considéré comme une forme de "surcharge" ou, plus précisément, spécialisation en temps de compilation, qui se produit grâce au mécanisme d'inlining, et non au polymorphisme à l'exécution.