Как хранится в памяти sealed class

Как sealed class хранится в памяти Kotlin/Android

В Kotlin, sealed class (или sealed interface в более новых версиях) — это специальный тип класса, предназначенный для ограниченного иерархии, где все возможные подтипы известны на момент компиляции. Его представление в памяти комбинирует особенности обычных классов и enum-ов, но с важными различиями.

Основные принципы хранения

Sealed класс сам по себе является абстрактным классом. Он не может быть инстанциирован напрямую. Поэтому в памяти нет отдельного «объекта sealed класса». Вместо этого память выделяется для объектов его конкретных наследников (subclasses).

Когда компилятор Kotlin (часто через трансформацию в JVM bytecode для Android) встречает sealed иерархию, он применяет оптимизации, схожие с теми, что используются для enum classes, но более гибкие.

1. Объекты (Object) и Классы (Class)

• Если наследник sealed класса объявлен как object (синглтон), он хранится в памяти как единственный экземпляр. Этот экземпляр создается при первом обращении и существует до конца работы приложения. Это аналогично элементам enum.

  sealed class Result {
      object Success : Result() // Единственный экземпляр в памяти
      data class Error(val message: String) : Result()
  }
  

    `Result.Success` будет храниться как статический экземпляр.

• Если наследник объявлен как обычный class или data class, для каждого его инстанса выделяется отдельная область памяти, как для любого другого объекта в Kotlin/Java. Память включает:

    *   Заголовок объекта (информация для JVM о типе, монитор для синхронизации).
    *   Поля этого конкретного класса.

2. Механизм дискриминатора (Discriminator)

Внутренне, для эффективного выполнения проверок типа (when выражения без else) и is, компилятор может добавлять скрытое поле — дискриминатор. Это числовой идентификатор, который присваивается каждому подтипу sealed класса. Это похоже на ordinal в enum.

// Пример возможного Java-представления (очень упрощенно) после компиляции
public abstract class Result {
    private final int discriminator; // Скрытое поле

    protected Result(int discriminator) {
        this.discriminator = discriminator;
    }

    public static final class Success extends Result {
        public static final Success INSTANCE = new Success(0);
        private Success(int discriminator) { super(discriminator); }
    }

    public static final class Error extends Result {
        public final String message;
        public Error(int discriminator, String message) {
            super(discriminator);
            this.message = message;
        }
    }
}

В выражении when компилятор может генерировать код, который сравнивает поле discriminator, вместо использования цепочки instanceof, что может быть более эффективно.

Оптимизации и ключевые особенности

• Статический анализ и безопасность: Главная «оптимизация» sealed классов — не в памяти, а на уровне компилятора. Компилятор знает все возможные типы, что позволяет делать исчерпывающие when выражения и предотвращает ошибки.
• Отсутствие накладных расходов на сам sealed класс: Поскольку sealed класс абстрактный, нет дополнительных структур данных для его представления как инстанциируемого типа.
• Размер памяти объектов наследников: Определяется исключительно их собственными полями и общими накладными расходами объекта JVM (заголовок). Добавление sealed родителя не добавляет новых полей в наследников (кроме возможного внутреннего дискриминатора).
• Сравнение с Enum: Enum хранит все элементы как статические синглтоны в одном классе. Sealed класс более гибкий: часть наследников может быть синглтонами (object), часть — регулярными классами с состоянием и множественными инстансами.

Практическое влияние на Android разработчика

1. Эффективность памяти для object: Использование object как наследников для состояний, которые не требуют данных (например, Loading, Success без данных), чрезвычайно эффективно — один экземпляр на всю жизнь приложения.
2. Pattern Matching в when: Компилятор использует знания о sealed иерархии для генерации оптимального кода проверки типа, что может положительно сказаться на скорости выполнения.
3. Сохранение состояния: Для data class наследников нужно учитывать стандартные правила управления памятью в Android: избегать утечек памяти в больших объектах, учитывать жизненный цикл.

Таким образом, sealed class в памяти Kotlin — это, прежде всего, набор его конкретных наследников, хранящихся по общим правилам JVM, но с дополнительной внутренней меткой (дискриминатором), которая позволяет компилятору проводить оптимизации и гарантировать безопасность типов, что является его главной ценностью.