Механизми васеъкунии функсияҳо дар сатҳи дохилии меъморӣ дар Kotlin чӣ гуна амал мекунад?

Дар Kotlin механизмии васеъкунии функсияҳо дар сатҳи компилятор амалӣ карда шудааст, на дар сатҳи JVM. Дар вақти компилятсия, функсияи васеъшуда ба як методи статикӣ табдил меёбад, ки ҳамчун параметри аввал объектро қабул мекунад, ки барои он васеъкунӣ даъват мешавад. Ин маъно дорад, ки васеъкунӣ синфи аслӣ тағир намедиҳад ва методҳоро ба байткоди синф намеорад, балки танҳо функсияҳои хориҷиро бо синтакси даъват тавассути нуқта месозад.

Масалан, барои синфи String:

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

val c = "Kotlin".lastChar()  // даъвати васеъкунӣ

Компилятор як методи статикӣ мебарорад, тақрибан чунин:

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

Бинобар ин, васеъкунӣ сахтсинтаксӣ аст, ки сохтори синфҳоро тағир намедиҳад, балки роҳи қулайи даъвати функсияҳои хориҷиро илова мекунад.