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

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

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

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

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

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

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

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

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

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

Компонент: ядро языка

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

Краткое описание: в Kotlin 1.4 будет запрещено автоматическое использование оператора contains, предоставленного реализациями java.util.Map, написанными на Java

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

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

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

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

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

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

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

Компонент: ядро языка

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

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

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

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

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

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

Компонент: ядро языка

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

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

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

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

Неверный общий супертип для raw-типа и типа целочисленного литерала приводит к небезопасному коду

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

Компоненты: ядро языка

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

Краткое описание: начиная с Kotlin 1.4 общий супертип raw-типа Comparable и типа целочисленного литерала будет более конкретным

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

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

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

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

Компонент: ядро языка

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

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

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

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

Проблема типобезопасности из-за некорректного отношения подтипов для типов-пересечений

Проблемы: KT-22474

Компонент: ядро языка

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

Краткое описание: в Kotlin 1.4 отношение подтипов для типов-пересечений будет уточнено для более корректной работы

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

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

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

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

Компонент: ядро языка

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

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

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

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

Для лямбды с ранним возвратом выводится тип Any, если среди возможных возвращаемых значений есть целочисленный литерал

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

Компонент: ядро языка

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

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

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

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

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

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

Компонент: ядро языка

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

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

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

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

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

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

Компонент: ядро языка

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

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

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

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

Проблема типобезопасности из-за отсутствия преобразования захваченного типа для аргумента nullable-типа

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

Компонент: ядро языка

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

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

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

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

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

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

Компонент: ядро языка

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

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

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

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

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

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

Компонент: ядро языка

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

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

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

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

Неверное разрешение перегрузки для контравариантных типов с nullable-аргументами типа

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

Компонент: ядро языка

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

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

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

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

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

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

Компонент: ядро языка

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

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

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

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

Преждевременная фиксация переменной типа приводит к противоречивой системе ограничений

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

Компонент: ядро языка

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

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

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

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

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

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

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

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

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

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

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

Запретить оператор распаковки в сигнатурно-полиморфных вызовах

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

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

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

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

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

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

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

Не генерировать атрибут ConstantValue для val, не являющихся const

Сгенерированные перегрузки для @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. Для временного возврата к поведению до версии 1.4 можно использовать -Xno-unified-null-checks

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

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

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

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

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

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

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

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

Объявить appendln устаревшим в пользу appendLine

Объявить устаревшими преобразования типов с плавающей точкой в Short и Byte

Немедленно сообщать об ошибке в Regex.findAll при недопустимом startIndex

Удалить устаревший kotlin.coroutines.experimental

Удалить устаревший оператор mod

Скрыть метод-член Throwable.addSuppressed и предпочесть ему функцию-расширение

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

Инструменты

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

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

26 мая 2025

© 2010–2026 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