Mikor fordul elő túlterhelés inline függvények használatakor?

Az inline-függvények (inline functions) Kotlinban nem a hagyományos értelemben vett futásidejű polimorfizmusban történő túlterhelés (overloading). Egy inline függvény a hívás helyén kerül beágyazásra fordítás közben. Ezért, amikor az "overloading"-ról beszélünk inline-függvények kapcsán, általában arra a képességre utalunk, hogy a fordító több verziót generálhat a beágyazott kódból különböző hívási kontextusokra, különösen generikus típusok használata esetén.

Főbb pontok:

• Szakosítás fordítási időben: Az reified típusú generikus inline-függvények esetén a fordító minden konkrét típushoz külön kódverziót generál, amely a típusparaméter helyére kerül. Ez fordítás közben történik, nem futásidőben.
• További overhead elkerülése: Az inline célja a függvényhívás költségeinek kiküszöbölése. A generikus típusokra való szakosítás lehetővé teszi, hogy elkerüljük az primitív típusok csomagolását és más, a típus-eltávolítással kapcsolatos overheadokat Java-ban.
• Nem polimorfizmus: Ez nem klasszikus polimorfizmus, ahol az felülírt metódus a tényleges objektumtípus szerint hívódik futásidőben. Itt a "verzió" kiválasztása fordítási időben történik.

Példa az reified használatára inline-függvénnyel:

inline fun <reified T> printType(value: T) {
    // A fordító külön kódot generál minden T-hez (Int, String, stb.)
    println("Típus: ${T::class.java.name}")
}

fun main() {
    printType(123) // Kód generálva T = Int
    printType("Helló") // Kód generálva T = String
}

Ebben az esetben, bár szintaktikusan csak egy printType függvényt hívunk, a fordító két különböző verziót generál a beágyazott kódból: egyet az Int-hez és egyet a String-hez. Ezt a "overloading" vagy, pontosabban, speciálisítás formájának lehet tekinteni fordítási időben, amely a inline mechanizmusnak köszönhető, nem pedig a futásidejű polimorfizmusnak.