Может ли selaed class наследоваться от другого sealed class в Kotlin?

Краткий ответ

Да, sealed class (изолированный класс) в Kotlin МОЖЕТ наследоваться от другого sealed class, но с одним критически важным ограничением: наследование возможно только в пределах того же самого файла (.kt) или внутри того же самого модуля (начиная с Kotlin 1.5).

Подробное объяснение

Основная идея sealed class (изолированного, или герметизированного, класса) — предоставить контролируемое и ограниченное наследование. Все прямые наследники такого класса должны быть объявлены в той же самой области видимости, что и сам sealed class. Это гарантирует, что компилятор знает все возможные подтипы на этапе компиляции, что является фундаментом для мощной и безопасной конструкции when выражений (exhaustive when).

Эволюция правил наследования

Правила наследования для sealed классов эволюционировали с версиями Kotlin:

1. Kotlin 1.0 - 1.4: Наследники sealed class могли объявляться только внутри того же самого файла (.kt). Это было строгое ограничение.
2. Kotlin 1.5 и новее: Правила были смягчены. Теперь прямые наследники могут объявляться внутри того же самого модуля (package). Это сделало архитектуру более гибкой, особенно для больших проектов.

Пример наследования sealed class от другого sealed class

Рассмотрим практический пример, демонстрирующий эту возможность.

// Файл: NetworkState.kt

// Базовый sealed class для состояния сети
sealed class NetworkState {
    object Connected : NetworkState()
    object Disconnected : NetworkState()
}

// Sealed class-наследник, уточняющий состояние подключения
sealed class DetailedConnectionState : NetworkState() {
    object Connecting : DetailedConnectionState()
    data class Authenticated(val userName: String) : DetailedConnectionState()
    data class Failed(val error: Throwable) : DetailedConnectionState()
}

В этом примере:

• NetworkState — корневой sealed class.
• DetailedConnectionState — sealed class, который наследуется от NetworkState.
• При этом DetailedConnectionState сам является sealed, поэтому его собственные наследники (Connecting, Authenticated, Failed) должны быть объявлены в том же файле (или модуле).

Преимущества и сценарии использования такой иерархии

Использование иерархии из sealed классов позволяет создавать логические и безопасные древовидные структуры данных, которые идеально подходят для моделирования состояний (State) или результатов операций.

fun handleState(state: NetworkState) {
    // Компилятор проверяет полноту покрытия всех вариантов NetworkState
    when (state) {
        is NetworkState.Connected -> println("Сеть доступна")
        is NetworkState.Disconnected -> println("Сеть недоступна")
        // Компилятор ЗНАЕТ, что DetailedConnectionState тоже является NetworkState,
        // поэтому мы должны его обработать.
        is DetailedConnectionState -> handleDetailedState(state)
    }
}

fun handleDetailedState(detailedState: DetailedConnectionState) {
    // Внутри обработки компилятор также требует полноты покрытия для DetailedConnectionState
    when (detailedState) {
        is DetailedConnectionState.Connecting -> println("Идёт подключение...")
        is DetailedConnectionState.Authenticated -> println("Привет, ${detailedState.userName}!")
        is DetailedConnectionState.Failed -> println("Ошибка: ${detailedState.error.message}")
    }
}

Ключевые технические аспекты

1. Контроль компилятора: Компилятор отслеживает всю иерархию. Выражение when, использующее корневой NetworkState, будет требовать обработки не только его прямых наследников (Connected, Disconnected), но и всех наследников любого дочернего sealed class, такого как DetailedConnectionState. Это обеспечивает полноту (exhaustiveness) проверок.
2. Невозможность наследования "извне": Вы не можете унаследовать от DetailedConnectionState в другом произвольном файле вашего проекта. Это нарушило бы основной контракт sealed классов.
3. Отличие от abstract class: В отличие от абстрактного класса, который лишь запрещает создание своего экземпляра, sealed class жёстко ограничивает множество своих подтипов. Иерархия из sealed классов — это по сути замкнутая алгебраическая структура.

Вывод

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