Kotlin 2.0 发布及其新特性

JetBrains 发布了 Kotlin 2.0，并推出了新的 K2 编译器。尽管语言本身没有引入新的语法，但 K2 编译器带来了多项优势，包括更快的构建速度、扩展的语言能力（如智能转换）以及开箱即用的多平台支持。

K2 编译器的主要优势

1. 统一平台支持：K2 编译器统一了 Kotlin 支持的所有平台，所有编译器后端现在共享大量逻辑和统一的流水线。这使得 JetBrains 能够一次性为所有平台实现大多数功能、优化和错误修复，大幅加快了新语言功能的开发速度。
2. 多平台库开发：K2 编译器支持 JVM、JavaScript、Wasm 和原生平台。通过定义新的多平台库分发格式，Kotlin 可以更容易地创建通用 Kotlin 库，这些库可以在任何主机上使用。
3. 性能提升：K2 编译器显著加快了实际项目的编译时间。JetBrains 表示，K2 平均将编译速度提高了一倍，某些项目编译速度更快，而另一些则稍慢。性能提升主要体现在初始化阶段（最高提升 488%）和分析阶段（最高提升 376%）。

语言智能化的改进

1. 前端中间表示（FIR）：通过支持早期的脱糖操作，编译器有更多机会分析代码。
2. 分阶段分析：在导入、注解和类型上采用分阶段分析，为 IDE 和编译器插件集成提供了更多机会。
3. 新的控制流引擎：改进了类型推断和解析，帮助检测异常代码、错误和其他潜在问题，从而增强了语言的安全性。

语言表达能力的提升

1. 操作符和数值转换：Kotlin 2.0 更好地支持操作符组合和数值转换。例如，语句 longList[0] += 1 现在被允许，并且可以与可空值和可选解引用操作符 ? 结合使用。

2. 智能转换：Kotlin 2.0 会传播局部变量的智能转换，例如：

   fun petAnimal(animal: Any) {
       if (animal is Cat) {
           animal.purr()
       }
   }

   此外，智能转换还会传播以保存关于可空性、is 检查、as 转换和契约的状态。

未来计划

Kotlin 将继续增强其控制流引擎，添加诸如无绑定模式匹配、上下文敏感解析、广义代数数据类型（ADT）等功能，以支持更多智能转换和效果系统。许多新功能将在 Kotlin 2.1 或 2.2 中实现。

如需了解更多详细信息，请观看 Kotlin 2024 会议的演讲。