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

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

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

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

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

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

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

Язык и stdlib

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

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

END_OF_DOCUMENT_MARKER

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Инструменты

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

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

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

© 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