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

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

Хотя большинство изменений языка уже были объявлены в других каналах, таких как журналы обновлений или предупреждения компилятора, этот документ обобщает их все, предоставляя полную справку по миграции с Kotlin 1.3 на Kotlin 1.4.

Основные термины

В этом документе мы вводим несколько видов совместимости:

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

Запомните, что эти определения даны только для чистого Kotlin. Совместимость кода Kotlin с точки зрения других языков (например, Java) выходит за рамки этого документа.

Язык и стандартная библиотека

Неожиданное поведение с инфиксным оператором in и ConcurrentHashMap

Запрет доступа к защищенным членам внутри публичных инлайновых членов

Контракты на вызовах с неявными получателями

Несогласованное поведение сравнений чисел с плавающей точкой

Отсутствие умного преобразования типов для последнего выражения в обобщённом лямбда-выражении

Проблема: KT-15020

Компонент: Язык Kotlin

Тип несовместимого изменения: поведенческое

Краткое описание: умные преобразования типов для последних выражений в лямбда-выражениях будут корректно применяться с версии 1.4

Цикл устаревания:

< 1.4: старое поведение (см. детали в проблеме)
>= 1.4: поведение изменено, -XXLanguage:-NewInference можно использовать для временного возврата к поведению версии до 1.4. Обратите внимание, что этот флаг также отключит несколько новых функций языка.

Не полагайтесь на порядок аргументов лямбда-выражения для приведения результата к Unit

Проблема: KT-36045

Компонент: Язык Kotlin

Тип несовместимого изменения: исходный код

Краткое описание: начиная с Kotlin 1.4, аргументы лямбда-выражения будут обрабатываться независимо без неявного приведения к Unit

Цикл устаревания:

< 1.4: старое поведение (см. детали в проблеме)
>= 1.4: поведение изменено, -XXLanguage:-NewInference можно использовать для временного возврата к поведению версии до 1.4. Обратите внимание, что этот флаг также отключит несколько новых функций языка.

Неверный общий супертип между сырым и целочисленным литеральным типом приводит к некорректной работе кода

Проблема: KT-35681

Компоненты: Язык Kotlin

Тип несовместимого изменения: исходный код

Краткое описание: начиная с Kotlin 1.4, общий супертип между сырым Comparable типом и целочисленным литеральным типом будет более специфичным

Цикл устаревания:

< 1.4: старое поведение (см. детали в проблеме)
>= 1.4: поведение изменено, -XXLanguage:-NewInference можно использовать для временного возврата к поведению версии до 1.4. Обратите внимание, что этот флаг также отключит несколько новых функций языка.

Проблема безопасности типов, так как несколько одинаковых переменных типа инициализируются разными типами

Проблема: KT-35679

Компонент: Язык Kotlin

Тип несовместимого изменения: исходный код

Краткое описание: начиная с Kotlin 1.4, компилятор Kotlin запретит инициализацию одинаковых переменных типа разными типами

Цикл устаревания:

< 1.4: старое поведение (см. детали в проблеме)
>= 1.4: поведение изменено, -XXLanguage:-NewInference можно использовать для временного возврата к поведению версии до 1.4. Обратите внимание, что этот флаг также отключит несколько новых функций языка.

Проблема безопасности типов из-за неправильной субординации для пересекающихся типов

Отсутствие несовпадения типов с пустым выражением when внутри лямбды

Проблема: KT-17995

Компонент: Язык Kotlin

Тип несовместимого изменения: исходный код

Краткое описание: начиная с Kotlin 1.4, будет несовпадение типов для пустого выражения when , если оно используется в качестве последнего выражения в лямбде

Цикл устаревания:

< 1.4: старое поведение (см. подробности в проблеме)
>= 1.4: поведение изменено, -XXLanguage:-NewInference можно использовать для временного возврата к поведению до версии 1.4. Обратите внимание, что этот флаг также отключит несколько новых функций языка.

Тип возврата Any выводится для лямбды с ранним возвратом с целочисленной константой в одном из возможных значений возврата

Проблема: KT-20226

Компонент: Язык Kotlin

Тип несовместимого изменения: исходный код

Краткое описание: начиная с Kotlin 1.4, тип возвращаемого значения целого числа из лямбды будет более специфичным в случаях, когда используется ранний возврат

Цикл устаревания:

< 1.4: старое поведение (см. подробности в проблеме)
>= 1.4: поведение изменено, -XXLanguage:-NewInference можно использовать для временного возврата к поведению до версии 1.4. Обратите внимание, что этот флаг также отключит несколько новых функций языка.

Правильное захват проекций звёздочкой с рекурсивными типами

Проблема: KT-33012

Компонент: Язык Kotlin

Тип несовместимого изменения: исходный код

Краткое описание: начиная с Kotlin 1.4, больше кандидатов станет применимыми, потому что захват для рекурсивных типов будет работать более правильно

Цикл устаревания:

< 1.4: старое поведение (см. подробности в проблеме)
>= 1.4: поведение изменено, -XXLanguage:-NewInference можно использовать для временного возврата к поведению до версии 1.4. Обратите внимание, что этот флаг также отключит несколько новых функций языка.

Вычисление общего супертипа с ненадлежащим типом и гибким типом приводит к неверным результатам

Проблема: KT-37054

Компонент: Язык Kotlin

Тип несовместимого изменения: поведенческий

Краткое описание: начиная с Kotlin 1.4, общий супертип между гибкими типами будет более специфичным, защищая от ошибок во время выполнения

Цикл устаревания:

< 1.4: старое поведение (см. подробности в проблеме)
>= 1.4: поведение изменено, -XXLanguage:-NewInference можно использовать для временного возврата к поведению до версии 1.4. Обратите внимание, что этот флаг также отключит несколько новых функций языка.

Проблема безопасности типов из-за отсутствия захвата преобразования против аргумента типа, допускающего значение null

Проблема: KT-35487

Компонент: Язык Kotlin

Тип несовместимого изменения: исходный код

Краткое описание: начиная с Kotlin 1.4, подтипирование между захваченными и допускающими значение null типами будет более корректным, защищая от ошибок во время выполнения

Цикл устаревания:

< 1.4: старое поведение (см. подробности в проблеме)
>= 1.4: поведение изменено, -XXLanguage:-NewInference можно использовать для временного возврата к поведению до версии 1.4. Обратите внимание, что этот флаг также отключит несколько новых функций языка.

Сохранение пересечения типов для ковариативных типов после неявного преобразования

Проблема: KT-37280

Компонент: Язык Kotlin

Тип несовместимого изменения: исходный код

Краткое описание: начиная с Kotlin 1.4, неявные преобразования ковариативных типов дают тип пересечения для умных преобразований, а не тип неявного преобразования.

Цикл устаревания:

< 1.4: старое поведение (см. подробности в проблеме)
>= 1.4: поведение изменено, -XXLanguage:-NewInference можно использовать для временного возврата к поведению до версии 1.4. Обратите внимание, что этот флаг также отключит несколько новых функций языка.

Утечка переменной типа из вывода билдера из-за использования выражения this

Проблема: KT-32126

Компонент: Язык Kotlin

Тип несовместимого изменения: исходный код

Краткое описание: начиная с Kotlin 1.4, использование this внутри функций-билдеров, таких как sequence {}, запрещено, если нет других надлежащих ограничений

Цикл устаревания:

< 1.4: старое поведение (см. подробности в проблеме)
>= 1.4: поведение изменено, -XXLanguage:-NewInference можно использовать для временного возврата к поведению до версии 1.4. Обратите внимание, что этот флаг также отключит несколько новых функций языка.

Неправильное разрешение перегрузки для контравариантных типов с аргументами типа, допускающими значение null

Проблема: KT-31670

Компонент: Язык Kotlin

Тип несовместимого изменения: исходный код

Краткое описание: начиная с Kotlin 1.4, если две перегрузки функции, принимающей аргументы контравариантного типа, отличаются только отсутствием или наличием значения null для типа (например, In<T> и In<T?>), тип, допускающий значение null, считается более специфичным.

Цикл устаревания:

< 1.4: старое поведение (см. подробности в проблеме)
>= 1.4: поведение изменено, -XXLanguage:-NewInference можно использовать для временного возврата к поведению до версии 1.4. Обратите внимание, что этот флаг также отключит несколько новых функций языка.

Выведение типов для билдеров с невложенными рекурсивными ограничениями

Проблема: KT-34975

Компонент: Язык Kotlin

Тип несовместимого изменения: исходный код

Краткое описание: начиная с Kotlin 1.4, функции-билдеры, такие как sequence {}, с типом, зависящим от рекурсивного ограничения внутри переданного лямбда-выражения, вызывают ошибку компилятора.

Цикл устаревания:

< 1.4: старое поведение (подробности см. в проблеме)
>= 1.4: поведение изменено, -XXLanguage:-NewInference можно использовать для временного возврата к поведению до 1.4. Обратите внимание, что этот флаг также отключит несколько новых функций языка.

Принудительное раннее закрепление типа переменной приводит к противоречивой системе ограничений

Проблема: KT-25175

Компонент: Язык Kotlin

Тип несовместимого изменения: исходный код

Краткое описание: начиная с Kotlin 1.4, выведение типов в некоторых случаях работает менее активно, позволяя найти систему ограничений, которая не противоречит себе.

Цикл устаревания:

< 1.4: старое поведение (подробности см. в проблеме)
>= 1.4: поведение изменено, -XXLanguage:-NewInference можно использовать для временного возврата к поведению до 1.4. Обратите внимание, что этот флаг также отключит несколько новых функций языка.

Запрет модификатора tailrec для открытых функций

Поле INSTANCE компаньон-объекта более видимое, чем сам компаньон-объект

Внешний блок finally, вставленный перед return, больше не исключается из интервала catch внутреннего блока try без finally

Использование упакованной версии встроенного класса в позиции возвращаемого типа для ковариантных и обобщенных специализированных переопределений

Не объявляйте checked исключения в байткоде JVM при делегировании на Kotlin-интерфейсы

Изменено поведение полиморфных вызовов по сигнатуре к методам с одним параметром vararg, чтобы избежать обертывания аргумента в другой массив

Некорректная обобщенная сигнатура в аннотациях при использовании KClass в качестве обобщенного параметра

Запрет оператора spread в вызовах с полиморфной сигнатурой

Проблема: KT-35226

Компонент: Kotlin/JVM

Тип несовместимого изменения: исходный код

Краткое описание: Kotlin 1.4 запретит использование оператора spread (*) в вызовах с полиморфной сигнатурой

Цикл устаревания:

< 1.4: выводится предупреждение об использовании оператора spread в вызовах с полиморфной сигнатурой
>= 1.5: это предупреждение становится ошибкой, -XXLanguage:-ProhibitSpreadOnSignaturePolymorphicCall может быть использовано для временного возврата к поведению версии до 1.4

Изменение порядка инициализации значений по умолчанию для оптимизированных хвостовых рекурсивных функций

Не генерировать атрибут ConstantValue для non-const vals

Сгенерированные перегрузки для @JvmOverloads на открытых методах должны быть final

Лямбды, возвращающие kotlin.Result, теперь возвращают упакованное значение вместо распакованного

Унификация исключений из проверок на null

Проблема: KT-22275

Компонент: Kotlin/JVM

Тип несовместимого изменения: поведенческое

Краткое описание: Начиная с Kotlin 1.4, все проверки на null во время выполнения будут выбрасывать исключение java.lang.NullPointerException

Цикл устаревания:

< 1.4: проверки на null во время выполнения выбрасывают разные исключения, такие как KotlinNullPointerException, IllegalStateException, IllegalArgumentException, и TypeCastException
>= 1.4: все проверки на null во время выполнения выбрасывают исключение java.lang.NullPointerException. -Xno-unified-null-checks может быть использовано для временного возврата к поведению версии до 1.4

Сравнение значений с плавающей точкой в операциях с массивами/списками contains, indexOf, lastIndexOf: IEEE 754 или общий порядок

Постепенное изменение типа возвращаемого значения функций min и max для коллекций на не-null

Проблема: KT-38854

Компонент: kotlin-stdlib (JVM)

Тип несовместимого изменения: исходный код

Краткое описание: тип возвращаемого значения функций min и max для коллекций будет изменён на не-null в версии 1.6

Цикл устаревания:

1.4: вводятся функции ...OrNull в качестве синонимов и устаревает затронутый API (см. подробности в проблеме)
1.5.x: уровень устаревания затронутого API повышен до ошибки
>=1.6: повторный ввод затронутого API, но с типом возвращаемого значения не-null

Устаревание appendln в пользу appendLine

Устаревание преобразований типов с плавающей запятой в Short и Byte

Быстрое завершение при вызове Regex.findAll с недопустимым startIndex

Удаление устаревшего kotlin.coroutines.experimental

Удаление устаревшего оператора mod

Скрытие метода Throwable.addSuppressed и использование расширяющего метода вместо него

Функция capitalize должна преобразовывать диграфы в заглавные буквы

Инструменты

Аргументы компилятора с разделителями должны передаваться в двойных кавычках в Windows

KAPT: Изменены имена синтетических методов $annotations() для свойств

Последнее изменение: 07 апреля 2022

© 2010–2022 JetBrains s.r.o. and Kotlin Programming Language contributors
Licensed under the Apache License, Version 2.0.
https://kotlinlang.org/docs/compatibility-guide-14.html