Kotlin 1.4 兼容性指南

tip

Issue: KT-18053

组件: 核心语言

不兼容性类型: 源代码级

概述: Kotlin 1.4 将会禁止使用 Java 编写的 java.util.Map 的实现中的 contains 操作符

废弃周期:

• < 1.4: 对问题的操作符, 在调用处产生编译警告

• >= 1.4: 将这个警告提升为错误, 可以暂时使用 -XXLanguage:-ProhibitConcurrentHashMapContains 回退到 1.4 以前的行为

tip

Issue: KT-21178

组件: 核心语言

不兼容性类型: 源代码级

概述: Kotlin 1.4 将会禁止通过 public inline 成员来访问 protected 成员.

废弃周期:

• < 1.4: 对有问题的访问, 在调用处产生编译警告

• 1.4: 将这个警告提升为错误, 可以暂时使用 -XXLanguage:-ProhibitProtectedCallFromInline 回退到 1.4 以前的行为

tip

Issue: KT-28672

组件: 核心语言

不兼容性类型: 行为级

概述: 在 1.4 中, 对于带隐含接受者的调用, 可以根据契约(Contract)信息进行智能类型转换

废弃周期:

• < 1.4: 旧行为 (详情请参见 issue)

• >= 1.4: 行为有变化, 可以暂时使用 -XXLanguage:-ContractsOnCallsWithImplicitReceiver 回退到 1.4 以前的行为

tip

Issues: KT-22723

组件: 核心语言

不兼容性类型: 行为级

概述: 从 Kotlin 1.4 开始, Kotlin 编译器将会使用 IEEE 754 标准来比较浮点数

废弃周期:

• < 1.4: 旧行为 (详情请参见 issue)

• >= 1.4: 行为有变化, 可以暂时使用 -XXLanguage:-ProperIeee754Comparisons 回退到 1.4 以前的行为

tip

Issue: KT-15020

组件: 核心语言

不兼容性类型: 行为级

概述: 从 1.4 开始, Lambda 表达式中对最后一条表达式的智能类型转换将会正确执行

废弃周期:

• < 1.4: 旧行为 (详情请参见 issue)

• >= 1.4: 行为有变化, 可以暂时使用 -XXLanguage:-NewInference 回退到 1.4 以前的行为. 注意, 这个标记还会同时关闭其他几个新语言特性.

tip

Issue: KT-36045

组件: 核心语言

不兼容性类型: 源代码级

概述: 从 Kotlin 1.4 开始, Lambda 表达式参数将会分别独立解析, 不再隐含的强制解释为 Unit

废弃周期:

• < 1.4: 旧行为 (详情请参见 issue)

• >= 1.4: 行为有变化, 可以暂时使用 -XXLanguage:-NewInference 回退到 1.4 以前的行为. 注意, 这个标记还会同时关闭其他几个新语言特性.

tip

Issue: KT-35681

Components: 核心语言

不兼容性类型: 源代码级

概述: 从 Kotlin 1.4 开始, raw Comparable 类型和 integer 字面类型的共通超类型将会更加明确

废弃周期:

• < 1.4: 旧行为 (详情请参见 issue)

• >= 1.4: 行为有变化, 可以暂时使用 -XXLanguage:-NewInference 回退到 1.4 以前的行为. 注意, 这个标记还会同时关闭其他几个新语言特性.

tip

Issue: KT-35679

组件: 核心语言

不兼容性类型: 源代码级

概述: 从 Kotlin 1.4 开始, Kotlin 编译器将会禁止将相等类型的变量初始化为不同的类型

废弃周期:

• < 1.4: 旧行为 (详情请参见 issue)

• >= 1.4: 行为有变化, 可以暂时使用 -XXLanguage:-NewInference 回退到 1.4 以前的行为. 注意, 这个标记还会同时关闭其他几个新语言特性.

tip

Issues: KT-22474

组件: 核心语言

不兼容性类型: 源代码级

概述: 在 Kotlin 1.4 中, 将会改进类型交集的子类型, 使其动作更正确

废弃周期:

• < 1.4: 旧行为 (详情请参见 issue)

• >= 1.4: 行为有变化, 可以暂时使用 -XXLanguage:-NewInference 回退到 1.4 以前的行为. 注意, 这个标记还会同时关闭其他几个新语言特性.

tip

Issue: KT-17995

组件: 核心语言

不兼容性类型: 源代码级

概述: 从 Kotlin 1.4 开始, 对于空 when 表达式, 如果用作 Lambda 表达式之内的最后一条表达式, 将会出现类型不匹配

废弃周期:

• < 1.4: 旧行为 (详情请参见 issue)

• >= 1.4: 行为有变化, 可以暂时使用 -XXLanguage:-NewInference 回退到 1.4 以前的行为. 注意, 这个标记还会同时关闭其他几个新语言特性.

tip

Issue: KT-20226

组件: 核心语言

不兼容性类型: 源代码级

概述: 从 Kotlin 1.4 开始, 如果 Lambda 表达式存在快速返回, 返回类型将会更加正确的推断为 integer

废弃周期:

• < 1.4: 旧行为 (详情请参见 issue)

• >= 1.4: 行为有变化, 可以暂时使用 -XXLanguage:-NewInference 回退到 1.4 以前的行为. 注意, 这个标记还会同时关闭其他几个新语言特性.

tip

Issue: KT-33012

组件: 核心语言

不兼容性类型: 源代码级

概述: 从 Kotlin 1.4 开始, 可以使用更多类型选项, 因为递归类型的捕捉将会更加正确

废弃周期:

• < 1.4: 旧行为 (详情请参见 issue)

• >= 1.4: 行为有变化, 可以暂时使用 -XXLanguage:-NewInference 回退到 1.4 以前的行为. 注意, 这个标记还会同时关闭其他几个新语言特性.

tip

Issue: KT-37054

组件: 核心语言

不兼容性类型: 行为级

概述: 从 Kotlin 1.4 开始, 灵活类型(flexible type)的共通超类型将会更加正确, 防止运行时错误

废弃周期:

• < 1.4: 旧行为 (详情请参见 issue)

• >= 1.4: 行为有变化, 可以暂时使用 -XXLanguage:-NewInference 回退到 1.4 以前的行为. 注意, 这个标记还会同时关闭其他几个新语言特性.

tip

Issue: KT-35487

组件: 核心语言

不兼容性类型: 源代码级

概述: 从 Kotlin 1.4 开始, 捕获类型与可 null 类型的子类型将会更加正确, 防止运行时错误

废弃周期:

• < 1.4: 旧行为 (详情请参见 issue)

• >= 1.4: 行为有变化, 可以暂时使用 -XXLanguage:-NewInference 回退到 1.4 以前的行为. 注意, 这个标记还会同时关闭其他几个新语言特性.

tip

Issue: KT-37280

组件: 核心语言

不兼容性类型: 源代码级

概述: 从 Kotlin 1.4 开始, 对协变(covariant)类型的未检测的类型转换, 会产生用于智能类型转换的交叉类型(intersection type), 而不是未检测的类型转换的类型.

废弃周期:

• < 1.4: 旧行为 (详情请参见 issue)

• >= 1.4: 行为有变化, 可以暂时使用 -XXLanguage:-NewInference 回退到 1.4 以前的行为. 注意, 这个标记还会同时关闭其他几个新语言特性.

tip

Issue: KT-32126

组件: 核心语言

不兼容性类型: 源代码级

概述: 从 Kotlin 1.4 开始, 如果不存在其他适当的约束, 在 sequence {} 之类的构造器函数内使用 this 会被禁止

废弃周期:

• < 1.4: 旧行为 (详情请参见 issue)

• >= 1.4: 行为有变化, 可以暂时使用 -XXLanguage:-NewInference 回退到 1.4 以前的行为. 注意, 这个标记还会同时关闭其他几个新语言特性.

tip

Issue: KT-31670

组件: 核心语言

不兼容性类型: 源代码级

概述: 从 Kotlin 1.4 开始, 如果一个函数的 2 个 overload, 接受反向类型变异(contravariant)类型参数, 区别只有类型可否为 null (比如 In<T> 和 In<T?>), 这时将认为可 null 类型是更明确的 overload 解析结果.

废弃周期:

• < 1.4: 旧行为 (详情请参见 issue)

• >= 1.4: 行为有变化, 可以暂时使用 -XXLanguage:-NewInference 回退到 1.4 以前的行为. 注意, 这个标记还会同时关闭其他几个新语言特性.

tip

Issue: KT-34975

组件: 核心语言

不兼容性类型: 源代码级

概述: 从 Kotlin 1.4 开始, sequence {} 之类的构造器函数, 如果其类型依赖于一个在传入的Lambda 表达式之内的递归约束, 会导致编译器错误.

废弃周期:

• < 1.4: 旧行为 (详情请参见 issue)

• >= 1.4: 行为有变化, 可以暂时使用 -XXLanguage:-NewInference 回退到 1.4 以前的行为. 注意, 这个标记还会同时关闭其他几个新语言特性.

tip

Issue: KT-25175

组件: 核心语言

不兼容性类型: 源代码级

概述: 从 Kotlin 1.4 开始, 某些场景的类型推断不再使用及早计算(eager)模式, 以便寻找没有矛盾的约束系统.

废弃周期:

• < 1.4: 旧行为 (详情请参见 issue)

• >= 1.4: 行为有变化, 可以暂时使用 -XXLanguage:-NewInference 回退到 1.4 以前的行为. 注意, 这个标记还会同时关闭其他几个新语言特性.

tip

Issue: KT-18541

组件: 核心语言

不兼容性类型: 源代码级

概述: 从 Kotlin 1.4 开始, 函数不能同时存在 open 和 tailrec 标识符.

废弃周期:

• < 1.4: 对同时存在 open 和 tailrec 标识符的函数报告警告 (渐进模式(progressive mode) 下会报告错误).

• >= 1.4: 将这个警告提升为错误.

tip

Issue: KT-11567

组件: Kotlin/JVM

不兼容性类型: 源代码级

概述: 从 Kotlin 1.4 开始, 如果同伴对象可见度为 private, 那么它的域 INSTANCE 可见度也将是 private

废弃周期:

• < 1.4: 编译器生成对象的 INSTANCE 带有废弃标记

• >= 1.4: 同伴对象的 INSTANCE 域带有正确的可见度

tip

Issue: KT-31923

组件: Kotlin/JVM

不兼容性类型: 行为级

概述: 从 Kotlin 1.4 开始, 对嵌套的 try/catch 代码段, catch 分支将被正确计算

废弃周期:

• < 1.4: 旧行为 (详情请参见 issue)

• >= 1.4: 行为有变化, 可以暂时使用 -XXLanguage:-ProperFinally 回退到 1.4 以前的行为

tip

Issues: KT-30419

组件: Kotlin/JVM

不兼容性类型: 行为级

概述: 从 Kotlin 1.4 开始, 使用协变(covariant)和泛型专用的(generic-specialized)覆盖的函数, 将会返回内联类(inline class)的装箱(box)的值

废弃周期:

• < 1.4: 旧行为 (详情请参见 issue)

• >= 1.4: 行为有变化

tip

Issue: KT-35834

组件: Kotlin/JVM

不兼容性类型: 源代码级

概述: Kotlin 1.4 中, 当接口委托给 Kotlin 接口时, 将不会生成受控异常(Checked Exception)

废弃周期:

• < 1.4: 旧行为 (详情请参见 issue)

• >= 1.4: 行为有变化, 可以暂时使用 -XXLanguage:-DoNotGenerateThrowsForDelegatedKotlinMembers 回退到 1.4 以前的行为

tip

Issue: KT-35469

组件: Kotlin/JVM

不兼容性类型: 源代码级

概述: Kotlin 1.4 中, 对签名多态(signature-polymorphic)的方法调用, 不会将参数包装入另一个数组

废弃周期:

• < 1.4: 旧行为 (详情请参见 issue)

• >= 1.4: 行为有变化

tip

Issue: KT-35207

组件: Kotlin/JVM

不兼容性类型: 源代码级

概述: Kotlin 1.4 中, 当 KClass 用作泛型参数时, 会修正注解中的错误的类型映射

废弃周期:

• < 1.4: 旧行为 (详情请参见 issue)

• >= 1.4: 行为有变化

tip

Issue: KT-35226

组件: Kotlin/JVM

不兼容性类型: 源代码级

概述: Kotlin 1.4 将在签名多态(signature-polymorphic)调用中禁止使用展开(spread)操作符(*)

废弃周期:

• < 1.4: 对于在签名多态(signature-polymorphic)调用中使用展开(spread)操作符, 会报告警告

• >= 1.5: 将这个警告提升为错误, 可以暂时使用 -XXLanguage:-ProhibitSpreadOnSignaturePolymorphicCall 回退到 1.4 以前的行为

tip

Issue: KT-31540

组件: Kotlin/JVM

不兼容性类型: 行为级

概述: 从 Kotlin 1.4 开始, 对尾递归(tail-recursive)函数的初始化顺序, 将与通常的函数相同

废弃周期:

• < 1.4: 对于有问题的函数, 在声明处报告警告

• >= 1.4: 行为有变化, 可以暂时使用 -XXLanguage:-ProperComputationOrderOfTailrecDefaultParameters 回退到 1.4 以前的行为

tip

Issue: KT-16615

组件: Kotlin/JVM

不兼容性类型: 行为级

概述: 从 Kotlin 1.4 开始, 对非 const 的 val, 编译器不会生成 ConstantValue 属性

废弃周期:

• < 1.4: 通过 IntelliJ IDEA 的代码审查报告警告

• >= 1.4: 行为有变化, 可以暂时使用 -XXLanguage:-NoConstantValueAttributeForNonConstVals 回退到 1.4 以前的行为

tip

Issue: KT-33240

Components: Kotlin/JVM

不兼容性类型: 源代码级

概述: 对带有 @JvmOverloads 注解的函数, 生成的 overload 将是 final

废弃周期:

• < 1.4: 旧行为 (详情请参见 issue)

• >= 1.4: 行为有变化, 可以暂时使用 -XXLanguage:-GenerateJvmOverloadsAsFinal 回退到 1.4 以前的行为

tip

Issue: KT-39198

组件: Kotlin/JVM

不兼容性类型: 行为级

概述: 从 Kotlin 1.4 开始, 返回值为 kotlin.Result 类型的 Lambda 表达式, 将会返回装箱(box)的值, 而不是未装箱(unbox)的值

废弃周期:

• < 1.4: 旧行为 (详情请参见 issue)

• >= 1.4: 行为有变化

tip

Issue: KT-22275

组件: Kotlin/JVM

不兼容性类型: 行为级

概述: 从 Kotlin 1.4 开始, 所有的运行时 null 检查将会抛出 java.lang.NullPointerException 异常

废弃周期:

• < 1.4: 运行时 null 检查抛出不同的异常, 比如 KotlinNullPointerException, IllegalStateException, IllegalArgumentException, 和 TypeCastException

• >= 1.4: all 运行时 null 检查抛出 java.lang.NullPointerException 异常. 可以暂时使用 -Xno-unified-null-checks 回退到 1.4 以前的行为

tip

Issue: KT-28753

组件: kotlin-stdlib (JVM)

不兼容性类型: 行为级

概述: 从 Double/FloatArray.asList() 返回的 List 实现, 将会实现 contains, indexOf, 和 lastIndexOf, 因此他们会使用全顺序相等性(total order equality)

废弃周期:

• < 1.4: 旧行为 (详情请参见 issue)

• >= 1.4: 行为有变化

tip

Issue: KT-38854

组件: kotlin-stdlib (JVM)

不兼容性类型: 源代码级

概述: 在 1.6 中, 集合的 min 和 max 函数返回类型将会变为非 null

废弃周期:

• 1.4: 引入 ...OrNull 函数作为同义函数, 并废弃受影响的 API (详情请参见 issue)

• 1.5.x: 将受影响的 API 的废弃级别提升为错误

• >=1.6: 重新引入受影响的 API, 但返回类型为非 null

tip

Issue: KT-38754

组件: kotlin-stdlib (JVM)

不兼容性类型: 源代码级

概述: StringBuilder.appendln() 将被废弃, 改为使用 StringBuilder.appendLine()

废弃周期:

• 1.4: 引入 appendLine 函数, 替代 appendln, 并废弃 appendln

• >=1.5: 将废弃级别提升为错误

tip

Issue: KT-30360

组件: kotlin-stdlib (JVM)

不兼容性类型: 源代码级

概述: 从 Kotlin 1.4 开始, 浮点类型转换为 Short 和 Byte 将被废弃

废弃周期:

• 1.4: 废弃 Double.toShort()/toByte() 和 Float.toShort()/toByte(), 并提供替代函数

• >=1.5: 将废弃级别提升为错误

tip

Issue: KT-28356

组件: kotlin-stdlib

不兼容性类型: 行为级

概述: 从 Kotlin 1.4 开始, findAll 函数将会改进, 会在进入 findAll 时, 立即检查 startIndex 是否在输入的字符序列的正确下标范围之内, 如果不是则抛出 IndexOutOfBoundsException 异常

废弃周期:

• < 1.4: 旧行为 (详情请参见 issue)

• >= 1.4: 行为有变化

tip

Issue: KT-36083

组件: kotlin-stdlib

不兼容性类型: 源代码级

概述: 从 Kotlin 1.4 开始, 废弃的 kotlin.coroutines.experimental API 将从标准库中删除

废弃周期:

• < 1.4: kotlin.coroutines.experimental 被废弃, 级别为 ERROR

• >= 1.4: kotlin.coroutines.experimental 被从标准库删除. 在 JVM 平台, 提供了一个单独的兼容库(详情请参见 issue).

tip

Issue: KT-26654

组件: kotlin-stdlib

不兼容性类型: 源代码级

概述: 从 Kotlin 1.4 开始, 数值类型上的 mod 操作符被从标准库删除

废弃周期:

• < 1.4: mod 被废弃, 级别为 ERROR

• >= 1.4: mod 被从标准库删除

tip

Issue: KT-38777

组件: kotlin-stdlib

不兼容性类型: 行为级

概述: 建议使用 Throwable.addSuppressed() 扩展函数, 而不是 Throwable.addSuppressed() 成员函数

废弃周期:

• < 1.4: 旧行为 (详情请参见 issue)

• >= 1.4: 行为有变化

tip

Issue: KT-38817

组件: kotlin-stdlib

不兼容性类型: 行为级

概述: String.capitalize() 函数现在能够将 Serbo-Croatian Gaj 式拉丁字母表 中的二合字母(Digraph) 转换为标题格式(title case) (Dž 而不是 DŽ)

废弃周期:

• < 1.4: 二合字母的首字母大写转换结果为: 大写格式(upper case) (DŽ)

• >= 1.4: 二二合字母的首字母大写转换结果为: 标题格式(title case) (Dž)

tip

Issue: KT-41309

组件: CLI

不兼容性类型: 行为级

概述: 在 Windows 上, kotlinc.bat 包含分隔字符的参数 (空格, =, ;, ,) 现在必须使用双引号(" )括起

废弃周期:

• < 1.4: 所有的编译器参数都不使用引号

• >= 1.4: 包含分隔字符的编译器参数 (空格, =, ;, ,) 需要双引号(" )括起

tip

Issue: KT-36926

组件: KAPT

不兼容性类型: 行为级

概述: 在 1.4 中, KAPT 为属性生成的合成 $annotations() 方法的名称有变化

废弃周期:

• < 1.4: 属性的合成 $annotations() 方法的名称模式是 <propertyName>@annotations()

• >= 1.4: 属性的合成 $annotations() 方法的名称包含 get 前缀: get<PropertyName>@annotations()