Hogyan valósul meg a Kotlin belső architektúrájában a függvények bővítési mechanizmusa?

A Kotlinban a függvénykiterjesztés mechanizmusa a fordító szintjén van megvalósítva, nem a JVM szintjén. Fordításkor a kiterjesztett függvény statikus módszerré alakul, amely első paraméterként az objektumot veszi át, amelyhez a kiterjesztés hívása történik. Ez azt jelenti, hogy a kiterjesztések nem módosítják az eredeti osztályt, és nem adnak hozzá metódusokat az osztály byte-kódjához, hanem külső függvényeket hoznak létre pont-notation szintaxissal.

Például, egy String osztályhoz tartozó kiterjesztés:

fun String.lastChar(): Char = this.get(this.length - 1)

val c = "Kotlin".lastChar()  // kiterjesztés hívása

A fordító egy statikus metódust generál, nagyjából így:

public static char lastChar(String receiver) {
    return receiver.charAt(receiver.length() - 1);
}

Így a kiterjesztések szintaktikus cukorként működnek, amelyek nem változtatják meg az osztályok szerkezetét, hanem kényelmes módot adnak külső függvények hívására.