Что нового в 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
}

Улучшенное строковое представление синглтонов и иерархий запечатанных классов с объектами-данными

В этом выпуске представлен новый тип объявления 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 идеально подходят для иерархий запечатанных классов, где их можно использовать наряду с объявлениями 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'
}

Новые ограничения на вывод типов в builder-функциях

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

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

• Вывод типов в builder-функциях с расширением, скрывающим члены.

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

  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
      }
  }
  

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

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

  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)
          }
      )
  }
  

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

Подробнее об этом обновлении вывода типов в builder-функциях см. в задаче YouTrack.

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

В Kotlin 1.7.20 базовый тип inline-классов JVM может быть параметром типа. Компилятор отображает его в 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 с модификатором final, имеющее поле для хранения и стандартный геттер в том же модуле:

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

• Константное выражение, элемент enum, 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. Это позволяет использовать с kapt все новейшие возможности Kotlin, в том числе повторяемые аннотации.

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

kapt.use.jvm.ir=true

Будем рады вашим отзывам об этой функции в YouTrack.

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

В этом выпуске дальнейшие улучшения стабильности и производительности нового менеджера памяти позволяют повысить его статус до Beta.

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

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

kotlin.native.binary.objcExportSuspendFunctionLaunchThreadRestriction=none

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

При создании фреймворка компилятор Kotlin/Native генерирует файл списка свойств информации 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 к группе SourceSet в Java. Это позволяет настраивать каталоги исходного кода в файле build.gradle.kts так же, как они настраиваются в Java, Groovy и Scala:

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

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

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

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

Новый метод настройки цепочки инструментов JVM

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

kotlin {
    jvmToolchain(17)
}

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

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

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

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

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

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

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

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

Новые и обновленные руководства

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

• Создание веб-приложения с помощью React и Kotlin/JS — создайте браузерное приложение, изучая DSL Kotlin и возможности типичной программы на React.

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

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

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

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

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

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