В какой тип мапятся переменные из Kotlin в Java

Отображение типов Kotlin в Java (Kotlin-JVM)

При компиляции Kotlin в байткод для JVM происходит преобразование типов Kotlin в соответствующие типы Java. Это отображение важно для межъязыковой совместимости при использовании Kotlin и Java в одном проекте.

Основные принципы отображения

1. Простые типы и их обёртки

Kotlin различает примитивные и nullable-типы, что влияет на конечное представление в Java:

// Kotlin код
val intPrimitive: Int = 42          // -> int в Java
val intNullable: Int? = null        // -> java.lang.Integer в Java
val doublePrimitive: Double = 3.14  // -> double в Java

2. Коллекции и их изменяемость

Kotlin разделяет коллекции на read-only и mutable, что преобразуется в соответствующие Java-интерфейсы:

// Kotlin
val list: List<String> = listOf()      // -> java.util.List (только чтение)
val mutableList: MutableList<String>   // -> java.util.List (изменяемый)
val map: Map<String, Int>              // -> java.util.Map (read-only)

Детальное отображение типов

Целочисленные типы:

• Byte → byte / java.lang.Byte
• Short → short / java.lang.Short
• Int → int / java.lang.Integer
• Long → long / java.lang.Long

Вещественные типы:

• Float → float / java.lang.Float
• Double → double / java.lang.Double

Символьный и логический типы:

• Char → char / java.lang.Character
• Boolean → boolean / java.lang.Boolean

Строки и массивы:

• String → java.lang.String
• Array<T> → T[] (массивы в Java)
• IntArray → int[] (примитивный массив)

Важные особенности

Nullable vs Non-null типы:

fun example() {
    val nonNull: String = "Hello"      // @NotNull String в Java
    val nullable: String? = null       // @Nullable String в Java
}

Компилятор Kotlin добавляет аннотации @Nullable/@NotNull для улучшения проверок в Java.

Функциональные типы:

// Kotlin
val lambda: (Int) -> String = { it.toString() }

Преобразуется в:

// Java
Function1<Integer, String> lambda;

Где Function1 - интерфейс из kotlin-runtime.

Объекты и компаньоны:

object Singleton {
    const val VALUE = 10
}

class MyClass {
    companion object {
        fun create() = MyClass()
    }
}

В Java это статические классы:

// Для object Singleton
public final class Singleton {
    public static final Singleton INSTANCE;
    public static final int VALUE = 10;
}

// Для companion object
public class MyClass {
    public static final MyClass.Companion Companion;
    
    public static final class Companion {
        public MyClass create() { ... }
    }
}

Практические аспекты

Использование в Java-коде:

// Java класс, использующий Kotlin типы
public class JavaConsumer {
    public void useKotlinTypes() {
        // Работа с nullable типами
        String nullable = KotlinClass.getNullableString();
        if (nullable != null) {
            // обязательная проверка на null
        }
        
        // Использование функций-расширений
        // Доступны как статические методы
        CollectionsKt.swap(list, 0, 1);
    }
}

Особенности коллекций:

• Kotlin List<String> в Java виден как List<String>, но попытка вызова add() выбросит исключение
• Для изменяемых коллекций используйте MutableList, MutableMap и т.д.

Аннотации для лучшей совместимости:

@JvmName("customName")        // Изменяет имя метода в Java
@JvmOverloads                 // Генерирует перегруженные методы
@JvmStatic                    // Делает член статическим в Java
@Throws(Exception::class)     // Позволяет пробрасывать исключения

Рекомендации для разработки

1. Для публичных API явно указывайте типы, если они будут использоваться из Java
2. Используйте @JvmStatic для функций в companion object, которые нужны как статические в Java
3. Избегайте сложных функциональных типов в публичных методах для Java-совместимости
4. Тестируйте вызов Kotlin-кода из Java для выявления неожиданностей в отображении типов

Понимание отображения типов критически важно для создания библиотек на Kotlin, которые будут использоваться в Java-проектах, и для эффективной работы в смешанных командах, где часть кода написана на Java, а часть на Kotlin.