Что такое inline class в Kotlin?

Что такое Inline класс в Kotlin?

Inline классы (inline classes) — это специальный тип классов в Kotlin, представленный в версии 1.3 и стабилизированный в 1.5, который позволяет создавать обёртки (wrapper) для значений без накладных расходов на выделение дополнительного объекта в памяти во время выполнения. Их основная цель — обеспечить безопасность типов и повысить читаемость кода, минимизируя или полностью устраняя overhead, связанный с созданием объектов.

Ключевая идея и синтаксис

Inline класс объявляется с ключевым словом inline (до Kotlin 1.5 использовалось value). Он должен иметь только один параметр в конструкторе, который становится его "внутренним" значением.

// Пример объявления inline класса
inline class Password(val value: String)

// Пример использования
fun validate(password: Password) {
    // Функция принимает только Password, не просто String
    if (password.value.length < 8) {
        throw IllegalArgumentException("Password too short")
    }
}

val rawString = "mySecret123"
val securePassword = Password(rawString)
validate(securePassword) // OK
// validate(rawString) // Ошибка компиляции: требуется тип Password

Как это работает и преимущества

Во время компиляции компилятор Kotlin пытается "развернуть" (inline) использование inline класса, заменяя его на непосредственное использование его внутреннего значения. Это означает, что в байт-коде (например, для JVM) часто используется прямой тип параметра (String, Int, etc.), а не тип обёртки.

Основные преимущества:

• Безопасность типов (Type safety): Позволяют отличать семантически разные данные, даже если они имеют одинаковый базовый тип. Например, Password и Username могут быть обёртками для String, но вы не сможете случайно передать username в функцию, ожидающую password.
• Нулевые накладные расходы в runtime (Zero overhead): В большинстве случаев компилятор избегает создания реального объекта wrapper. Это делает их идеальными заменой для обычных классов-обёрток, когда производительность критична.
• Улучшенная читаемость и выразительность: Код становится более ясным, так как тип передаёт смысл данных, не просто их структуру.

Внутреннее представление и ограничения

Компилятор может представлять inline класс двумя способами:

1. Как обёртка (Boxed): Если требуется (например, при использовании в качестве generic типа или при присвоении переменной типа Any), создаётся реальный объект.
2. Как развернутое значение (Unboxed): В большинстве случаев, особенно в локальных переменных и параметрах функций, используется напрямую внутреннее значение.

Ограничения inline классов:

• Могут иметь только один свойство в конструкторе. Однако они могут содержать дополнительные вычисляемые свойства и функции.
• Не могут быть open, abstract, sealed или inner.
• Не могут иметь явно объявленных backing fields (кроме единственного параметра конструктора).
• Наследование запрещено: они могут наследовать только от интерфейсов.

Пример с расширением функциональности

Inline классы могут содержать методы и реализовывать интерфейсы.

inline class Meter(val value: Double) {
    fun toKilometer(): Kilometer = Kilometer(value / 1000)
    operator fun plus(other: Meter): Meter = Meter(value + other.value)
}

inline class Kilometer(val value: Double) {
    fun toMeter(): Meter = Meter(value * 1000)
}

// Использование
val distance1 = Meter(500.0)
val distance2 = Meter(300.0)
val totalDistance = distance1 + distance2 // Meter(800.0)
val totalInKm = totalDistance.toKilometer() // Kilometer(0.8)

Практическое применение

Inline классы часто используют для:

• Обёртки единиц измерения (Meter, Kilogram, Celsius).
• Обёртки специфичных данных (UserId, Email, HashCode).
• Оптимизации коллекций с примитивными типами (например, inline class UInt).
• Создания безопасных API, где важно избежать смешения различных видов данных.

Таким образом, inline классы в Kotlin — это мощный инструмент, сочетающий преимущества типобезопасности и выразительности абстрактных типов данных с производительностью прямого использования примитивных значений. Они заполняют важную нишу между простыми типами и полноценными классами, предлагая разработчикам возможность писать более чистый и безопасный код без компромиссов в эффективности.