Руководство по совместимости для 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, подтипизация между захваченными и nullable типами будет более корректной, предотвращая ошибки во время выполнения

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

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

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

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

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

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

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

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

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

END_OF_DOCUMENT_MARKER

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

Вопрос: 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

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

Не объявляйте обработчики исключений в байткоде 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

Lambda-выражения, возвращающие 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 или общий порядок

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

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

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

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

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

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

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

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

Инструменты

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

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

Последнее изменение: 10 января 2023 г.

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