Что будет в байт коде после написания расширения класса?

Расширение класса в Kotlin и его представление в байт-коде

Когда вы пишете расширение класса (extension function) в Kotlin, компилятор преобразует его в статический метод в Java-байткоде. Ключевой момент: расширения не модифицируют исходный класс и не используют наследование. Вместо этого они являются "синтаксическим сахаром", который компилируется в обычные статические методы с особым способом передачи получателя (receiver).

Структура в байт-коде

Рассмотрим пример Kotlin-кода:

// Исходный класс
class Person(val name: String)

// Функция расширения
fun Person.greet() = println("Hello, $name!")

После компиляции в байт-код (эквивалент на Java для наглядности):

// Исходный класс остается неизменным
public final class Person {
    private final String name;
    
    public Person(String name) {
        this.name = name;
    }
    
    public String getName() {
        return this.name;
    }
}

// Функция расширения становится статическим методом
public final class PersonKt {  // Имя класса по умолчанию или указанное в @file:JvmName
    public static void greet(Person $receiver) {
        String var1 = "Hello, " + $receiver.getName() + "!";
        System.out.println(var1);
    }
}

Ключевые особенности в байт-коде

1. Статический метод: Функция расширения компилируется как public static метод.
2. Параметр получателя: Первый параметр метода — это объект типа-получателя (в примере — Person).
3. Имя класса-контейнера: По умолчанию создается класс с именем, производным от имени файла (ИмяФайлаKt), но можно задать своё с помощью @file:JvmName("...").
4. Доступ к приватным членам: Расширения не имеют доступа к приватным (private) полям и методам получателя, так как они внешние по отношению к классу.

Пример с Receiver Type

Для extension-свойств и функций с receiver type:

val Person.formalName: String
    get() = "Mr./Ms. $name"

fun Person.sayWithPrefix(prefix: String) = println("$prefix $name")

В байт-коде:

public final class PersonKt {
    // Extension property — пара методов getter
    public static String getFormalName(Person $receiver) {
        return "Mr./Ms. " + $receiver.getName();
    }
    
    // Extension function с дополнительными параметрами
    public static void sayWithPrefix(Person $receiver, String prefix) {
        String var2 = prefix + " " + $receiver.getName();
        System.out.println(var2);
    }
}

Nullable Receiver

Если получатель nullable (Person?), в байт-коде параметр также будет nullable:

fun Person?.safeGreet() = println(this?.name ?: "Anonymous")

public static void safeGreet(Person $receiver) {
    // Генерируется проверка на null
    String var1 = $receiver != null ? $receiver.getName() : "Anonymous";
    System.out.println(var1);
}

Важные аспекты

• Нет полиморфизма: Расширения разрешаются статически (статическая диспетчеризация) в месте объявления, а не динамически как виртуальные методы.
• Конфликты имен: Если одинаковое расширение определено в разных местах, компилятор требует явного указания, какое использовать.
• Imports в байт-коде: Вызовы расширений компилируются в обычные статические вызовы, требующие import соответствующего класса-контейнера.

Итог: В байт-коде расширение класса — это просто статический метод со специальным первым параметром, представляющим объект-получатель. Это позволяет "добавлять" методы к существующим классам без их реальной модификации и без наследования, сохраняя обратную совместимость и чистоту исходных классов.