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

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

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

-Xuse-k2

Вы можете проверить прирост производительности в своих проектах 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.8"
}

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

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

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 свойством с поддерживающим полем и стандартным методом получения в том же модуле:

  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 по умолчанию

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

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

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

kotlin.native.binary.objcExportSuspendFunctionLaunchThreadRestriction=none

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

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

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

Команда 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's 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.