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

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

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

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

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

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

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

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

Неправильное разрешение перегрузки для контравариантных типов с аргументами типа 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

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

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

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

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

Запрещение использования оператора spread в вызовах с подписью-полиморфизмом

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

Не генерировать атрибут 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 для коллекций на non-nullable

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

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

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

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

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

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

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

Инструменты

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

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

Последнее изменение: 14 декабря 2021 г.

© 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