Kad notiek pārslodze, izmantojot inline funkcijas?

Kotlin iekšējās funkcijas (inline functions) pārklāšana nenotiek tradicionālā laika polimorfisma nozīmē. Inline funkcija tiek iekļauta izsaukšanas vietā kompilācijas laikā. Tādēļ, runājot par "pārklāšanu" inline funkcijām, mēs biežāk domājam par to, ka kompilators var ģenerēt vairākas iekļautā koda versijas dažādiem izsaukuma kontekstiem, īpaši izmantojot ģenerikus.

Galvenie punkti:

• Speciālizācija kompilācijas laikā: reified ģeneriku inline funkcijām, kompilators ģenerē specializētas koda versijas katram konkrētajam tipam, kas aizvietots vietā ar tipa parametru. Tas notiek kompilācijas laikā, ne izpildes laikā.
• Papildu izmaksu novēršana: Inline mērķis ir novērst funkcijas izsaukuma izmaksas. Ģeneriku speciālizācija ļauj izvairīties no primitivā tipu iepakošanas un citiem izdevumiem, kas saistīti ar tipu zudumu Java.
• Ne polimorfisms: Tas nav klasiskais polimorfisms, kur pārdefinēta metode tiek izsaukta atkarībā no faktiskā objekta tipa izpildes laikā. Šeit "versijas" izvēle notiek kompilācijas laikā.

Piemērs, kā izmantot reified ar inline funkciju:

inline fun <reified T> printType(value: T) {
    // Kompilators ģenerēs atsevišķu kodu katram T (Int, String un citi)
    println("Type is: ${T::class.java.name}")
}

fun main() {
    printType(123) // Kods tiek ģenerēts T = Int
    printType("Hello") // Kods tiek ģenerēts T = String
}

Šajā gadījumā, lai gan sintaktiski mēs izsaucam vienu funkciju printType, kompilators ģenerē divas dažādas iekļautā koda versijas: vienu Int un otru String. To var uzskatīt par "pārklāšanu" vai, precīzāk, kompilācijas laika speciālizāciju, kas notiek pateicoties inline mehānismam, nevis izpildes laika polimorfismam.