Что нового в Kotlin 1.7.20

Как включить компилятор Kotlin K2

Чтобы включить компилятор Kotlin K2 и протестировать его, используйте следующий параметр компилятора:

-Xuse-k2

Вы можете указать его в вашем файле build.gradle(.kts):

tasks.withType<KotlinCompile> {
    kotlinOptions.useK2 = true
}

compileKotlin {
    kotlinOptions.useK2 = true
}

Проверьте повышение производительности в ваших проектах JVM и сравните результаты со старым компилятором.

Оставьте свой отзыв о новом компиляторе K2

Мы действительно ценим ваш отзыв в любой форме:

• Поделитесь отзывом напрямую с разработчиками K2 в Kotlin Slack: получите приглашение и присоединитесь к каналу #k2-early-adopters.

• Сообщите о проблемах, с которыми вы столкнулись при использовании нового компилятора K2, на нашей странице отслеживания проблем.

• Включите опцию отправки статистических данных об использовании, чтобы разрешить JetBrains собирать анонимные данные об использовании K2.

Предварительный просмотр оператора ..< для создания открытых диапазонов

Этот релиз вводит новый ..< оператор. В Kotlin есть .. оператор для выражения диапазона значений. Новый ..< оператор действует как функция until и помогает вам определить открытый диапазон.

Наши исследования показывают, что этот новый оператор лучше выражает открытые диапазоны и делает явным, что верхняя граница не включена.

Вот пример использования оператора ..< в выражении when:

when (value) {
    in 0.0..<0.25 -> // First quarter
    in 0.25..<0.5 -> // Second quarter
    in 0.5..<0.75 -> // Third quarter
    in 0.75..1.0 ->  // Last quarter  <- Note closed range here
}

interface OpenEndRange<T : Comparable<T>> {
    // Lower bound
    val start: T
    // Upper bound, not included in the range
    val endExclusive: T
    operator fun contains(value: T): Boolean = value >= start && value < endExclusive
    fun isEmpty(): Boolean = start >= endExclusive
}

class IntRange : IntProgression(...), ClosedRange<Int>, OpenEndRange<Int> {
    override val start: Int
    override val endInclusive: Int
    override val endExclusive: Int
}

Улучшенные строковые представления для одиночных элементов и иерархий sealed-классов с data object

В этом релизе вводится новый тип объявления object для использования: data object. Data object концептуально идентичен обычному объявленному object, но поставляется со строковым представлением toString сразу же по умолчанию.

package org.example
object MyObject
data object MyDataObject

fun main() {
    println(MyObject) // org.example.MyObject@1f32e575
    println(MyDataObject) // MyDataObject
}

Это делает объявления data object идеальными для иерархий sealed-классов, где их можно использовать наряду с объявлениями data class. В этом фрагменте, объявление EndOfFile как data object вместо простого object означает, что оно получит красивое toString представление без необходимости ручной переопределения, сохраняя симметрию с соответствующими определениями data class:

sealed class ReadResult {
    data class Number(val value: Int) : ReadResult()
    data class Text(val value: String) : ReadResult()
    data object EndOfFile : ReadResult()
}

fun main() {
    println(ReadResult.Number(1)) // Number(value=1)
    println(ReadResult.Text("Foo")) // Text(value=Foo)
    println(ReadResult.EndOfFile) // EndOfFile
}

tasks.withType<org.jetbrains.kotlin.gradle.tasks.KotlinCompile>().configureEach {
    // ...
    kotlinOptions.languageVersion = "1.9"
}

compileKotlin {
    // ...
    kotlinOptions.languageVersion = '1.9'
}

Новые ограничения вывода типов билдеров

Kotlin 1.7.20 накладывает некоторые значительные ограничения на использование вывода типов билдеров, которые могут повлиять на ваш код. Эти ограничения касаются кода, содержащего лямбда-функции билдера, где невозможно вывести параметр без анализа самой лямбды. Параметр используется в качестве аргумента. Теперь компилятор всегда будет показывать ошибку для такого кода и попросит вас явно указать тип.

Это изменение, вносящее разрыв в совместимости, но наши исследования показывают, что такие случаи очень редки, и ограничения не должны повлиять на ваш код. Если они повлияют, рассмотрите следующие случаи:

• Вывод типа билдера с расширением, скрывающим члены.

  Если ваш код содержит функцию расширения с тем же именем, которая будет использована во время вывода типа билдера, компилятор покажет ошибку:

  class Data {
      fun doSmth() {} // 1
  }
  
  fun <T> T.doSmth() {} // 2
  
  fun test() {
      buildList {
          this.add(Data())
          this.get(0).doSmth() // Resolves to 2 and leads to error
      }
  }
  

  Для исправления кода необходимо явно указать тип:

  class Data {
      fun doSmth() {} // 1
  }
  
  fun <T> T.doSmth() {} // 2
  
  fun test() {
      buildList<Data> { // Type argument!
          this.add(Data())
          this.get(0).doSmth() // Resolves to 1
      }
  }
  

• Вывод типа билдера с несколькими лямбдами и аргументы типа не указаны явно.

  Если в выводе типа билдера есть два или более блоков лямбда, они влияют на тип. Для предотвращения ошибки компилятор требует указать тип:

  fun <T: Any> buildList(
      first: MutableList<T>.() -> Unit, 
      second: MutableList<T>.() -> Unit
  ): List<T> {
      val list = mutableListOf<T>()
      list.first()
      list.second()
      return list 
  }
  
  fun main() {
      buildList(
          first = { // this: MutableList<String>
              add("")
          },
          second = { // this: MutableList<Int> 
              val i: Int = get(0)
              println(i)
          }
      )
  }
  

  Для исправления ошибки необходимо явно указать тип и исправить несоответствие типов:

  fun main() {
      buildList<Int>(
          first = { // this: MutableList<Int>
              add(0)
          },
          second = { // this: MutableList<Int>
              val i: Int = get(0)
              println(i)
          }
      )
  }
  

Если вы не нашли свой случай в приведенных выше примерах, создайте проблему в нашей команде.

См. эту задачу YouTrack для получения дополнительной информации об этом обновлении вывода типов билдеров.

Обобщённые inline-классы

Kotlin 1.7.20 позволяет базовому типу JVM inline-класса быть параметром типа. Компилятор отображает его на Any? или, вообще, на верхнюю границу параметра типа.

Рассмотрим следующий пример:

@JvmInline
value class UserId<T>(val value: T)

fun compute(s: UserId<String>) {} // Compiler generates fun compute-<hashcode>(s: Any?)

Функция принимает inline-класс в качестве параметра. Параметр отображается на верхнюю границу, а не на аргумент типа.

Чтобы включить эту функцию, используйте опцию компилятора -language-version 1.8.

Мы будем признательны за ваши отзывы на эту функцию в YouTrack.

Более оптимизированные случаи делегируемых свойств

В Kotlin 1.6.0 мы оптимизировали случай делегирования свойству, опуская поле $delegate и генерируя непосредственный доступ к целевому свойству. В 1.7.20 мы реализовали эту оптимизацию для большего количества случаев. Поле $delegate теперь будет опущено, если делегат является:

• Именованным объектом:

  object NamedObject {
      operator fun getValue(thisRef: Any?, property: KProperty<*>): String = ...
  }
  
  val s: String by NamedObject
  

• Заключительным val свойством с полем-экземпляром и по умолчанию getter-ом в том же модуле:

  val impl: ReadOnlyProperty<Any?, String> = ...
  
  class A {
      val s: String by impl
  }
  

• Константным выражением, элементом перечисления, this или null. Вот пример this:

  class A {
      operator fun getValue(thisRef: Any?, property: KProperty<*>) ...
  
      val s by this
  }
  

Узнайте больше о делегируемых свойствах.

Мы будем признательны за ваши отзывы на эту функцию в YouTrack.

Поддержка JVM IR-бекенда в задаче генерации подстановочных файлов kapt

До версии 1.7.20 задача генерации подстановочных файлов kapt использовала старый бэкенд, и повторяемые аннотации не работали с kapt. С Kotlin 1.7.20 мы добавили поддержку JVM IR-бекенда в задаче генерации подстановочных файлов kapt. Это позволяет использовать все самые новые возможности Kotlin с kapt, включая повторяемые аннотации.

Чтобы использовать IR-бекенд в kapt, добавьте следующую опцию в свой файл gradle.properties:

kapt.use.jvm.ir=true

Мы будем признательны за ваши отзывы на эту функцию в YouTrack.

Новый менеджер памяти Kotlin/Native по умолчанию

Этот релиз приносит дальнейшую стабильность и улучшения производительности новому менеджеру памяти, позволяя нам продвинуть новый менеджер памяти до Бета-версии.

Предыдущий менеджер памяти усложнял написание конкурентного и асинхронного кода, включая проблемы с реализацией библиотеки kotlinx.coroutines. Это препятствовало принятию Kotlin Multiplatform Mobile, так как ограничения по конкурентности создавали проблемы с совместным использованием Kotlin-кода между платформами iOS и Android. Новый менеджер памяти, наконец, открывает путь к выпуску Kotlin Multiplatform Mobile в бета-версии.

Новый менеджер памяти также поддерживает кэш компилятора, что делает время компиляции сопоставимым с предыдущими выпусками. Подробнее об преимуществах нового менеджера памяти см. в нашей оригинальной статье в блоге для предварительной версии. Более подробные технические детали можно найти в документации.

kotlin.native.binary.objcExportSuspendFunctionLaunchThreadRestriction=none

Настройка файла Info.plist

При создании фреймворка компилятор Kotlin/Native генерирует файл свойств Info.plist, Info.plist. Раньше настройка его содержимого было сложно. С Kotlin 1.7.20 вы можете напрямую задать следующие свойства:

Для этого используйте соответствующий бинарный вариант. Передайте флаг компилятора -Xbinary=$option=$value или установите DSL Gradle binaryOption(option, value) для необходимого фреймворка.

Команда Kotlin выражает огромную благодарность Мадсу Агеру за реализацию этой функции.

Настройка целевой платформы

• org.jetbrains.kotlin.gradle.dsl.SingleTargetExtension теперь имеет параметр типа, SingleTargetExtension<T : KotlinTarget>.

• Конвенция kotlin.targets.fromPreset() устарела. Вместо этого вы все еще можете использовать kotlin.targets { fromPreset() }, но мы рекомендуем использовать более специализированные способы создания целей.

• Автоматически сгенерированные Gradle-доступы к целевым платформам больше недоступны внутри блока kotlin.targets { }. Используйте метод findByName("targetName") вместо этого.

  Обратите внимание, что такие вспомогательные функции все еще доступны в случае kotlin.targets, например, kotlin.targets.linuxX64.

Настройка директорий исходных кодов

Плагин Kotlin Gradle теперь добавляет Kotlin SourceDirectorySet как расширение kotlin к группе Java SourceSet. Это позволяет настроить директории исходных кодов в файле build.gradle.kts аналогично тому, как они настраиваются в Java, Groovy и Scala:

sourceSets {
    main {
        kotlin {
            java.setSrcDirs(listOf("src/java"))
            kotlin.setSrcDirs(listOf("src/kotlin"))
        }
    }
}

Вам больше не нужно использовать устаревшую конвенцию Gradle и указывать директории исходных кодов для Kotlin.

Помните, что вы также можете использовать расширение kotlin для доступа к KotlinSourceSet:

kotlin {
    sourceSets {
        main {
        // ...
        }
    }
}

Новый метод конфигурации JVM-инструментария

Этот релиз предоставляет новый метод jvmToolchain() для включения функции JVM-инструментария. Если вам не нужны дополнительные поля конфигурации, такие как implementation или vendor, вы можете использовать этот метод из расширения Kotlin:

kotlin {
    jvmToolchain(17)
}

Это упрощает процесс настройки проекта Kotlin без дополнительной конфигурации. До этого релиза вы могли указывать версию JDK только следующим образом:

kotlin {
    jvmToolchain {
        languageVersion.set(JavaLanguageVersion.of(17))
    }
}

Переработанные и улучшенные страницы

• Обзор основных типов – узнайте о базовых типах, используемых в Kotlin: числах, булевых значениях, символах, строках, массивах и беззнаковых целых числах.

• IDE для разработки на Kotlin – см. список IDE с официальной поддержкой Kotlin и инструментов с поддержкой плагинов сообщества.

Новые статьи в журнале Kotlin Multiplatform

• Разработка нативных и кроссплатформенных приложений: как выбрать? – ознакомьтесь с нашим обзором и преимуществами разработки кроссплатформенных приложений и нативного подхода.

• Шесть лучших кроссплатформенных фреймворков для разработки приложений – ознакомьтесь с ключевыми аспектами, которые помогут вам выбрать правильный фреймворк для вашего кроссплатформенного проекта.

Новые и обновленные учебные материалы

• Начало работы с Kotlin Multiplatform Mobile – познакомьтесь с кроссплатформенной мобильной разработкой с помощью Kotlin и создайте приложение, работающее как на Android, так и на iOS.

• Разработка полнофункционального веб-приложения с Kotlin Multiplatform – создайте приложение, используя Kotlin на всех уровнях, с серверной частью Kotlin/JVM и веб-клиентом Kotlin/JS.

• Разработка веб-приложения с React и Kotlin/JS – создайте приложение для браузера, изучив DSL Kotlin и функции типичной программы React.

Изменения в документации выпуска

Мы больше не предоставляем список рекомендуемых библиотек kotlinx для каждого выпуска. Этот список включал только версии, рекомендованные и протестированные с самим Kotlin. Он не учитывал, что некоторые библиотеки зависят друг от друга и требуют специальной версии kotlinx, которая может отличаться от рекомендованной версии Kotlin.

Мы работаем над тем, чтобы найти способ предоставить информацию о том, как библиотеки взаимодействуют и зависят друг от друга, чтобы было ясно, какую версию библиотеки kotlinx вы должны использовать при обновлении версии Kotlin в вашем проекте.

Руководство по совместимости для Kotlin 1.7.20

Хотя Kotlin 1.7.20 – это инкрементальный выпуск, нам всё же пришлось внести несовместимые изменения, чтобы ограничить распространение проблем, возникших в Kotlin 1.7.0.

Подробный список таких изменений см. в руководстве по совместимости для Kotlin 1.7.20.