Kaip įgyvendinamas funkcijų išplėtimo mechanizmas Kotlin vidinėje architektūroje?

Kotlin'e funkcijų išplėtimo mechanizmas yra įgyvendintas kompiliatoriaus lygyje, o ne JVM lygyje. Kompiliacijos metu išplėtota funkcija virsta statiniu metodu, kuris kaip pirmą parametrą priima objektą, kuriam kviečiama išplėtimo funkcija. Tai reiškia, kad išplėtimai nekeičia originalios klasės ir neprideda metodų į klasės baitkodo, o tik sukuria išorines funkcijas su kvietimo sintakse per tašką.

Pavyzdžiui, išplėtimas klasei String:

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

val c = "Kotlin".lastChar()  // išplėtimo kvietimas

Kompiliatorius sugeneruos statinį metodą, maždaug taip:

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

Taip, išplėtimai yra sintaksės cukrus, kuris nekeičia klasių struktūros, bet prideda patogų būdą kviečiant išorines funkcijas.