Что нового в 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 для получения дополнительной информации об этом обновлении вывода типа билдера.

Дженерические инлайн-классы

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

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

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

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

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

Чтобы включить эту функцию, используйте опцию компилятора -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 свойством с поддерживающим полем и стандартным геттером в том же модуле:

  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 или задайте binaryOption(option, value) Gradle DSL для необходимого фреймворка.

Команда 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: числа, значения Boolean, символы, строки, массивы и беззнаковые целые числа.

• 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.