第112篇 Kotlin 2.x 演进：K2 编译器带来了什么

前面几节讲的是语言特性，这一节讲编译器与工具链的演进。这类题的形态通常是："Kotlin 2.0 带来了什么？K2 是什么？升级要注意什么？"答得好不好，取决于能不能把"编译器重写"这件事和日常开发体验连起来，而不是背发布说明。先把结论放在前面：Kotlin 2.0 的核心是K2 编译器（Kotlin Frontend 全面重写）与KMP 的稳定化。K2 带来的收益是编译速度（大型工程增量编译体感明显）与类型推断更准；伴随的代价是第三方编译器插件需要适配。2.x 还有一批语言层面的演进：guard条件、上下文接收者（Context Receivers）进入实验、集合字面量注解等。这一节按"编译器 → 语言特性 → 工程影响"三层讲。机制背后的执行路径先说清 K2 是什么。Kotlin 编译器前端（Frontend）负责把源码解析成中间表示（PSI/FIR），传统实现叫K1（基于 PSI，解析与类型推断耦合较紧）。K2 改用FIR（Flexible Intermediate Representation），核心设计是把类型推断与语法解析分离，并让编译器前端可增量更新。这三点直接对应三个可观测的收益：1.速度：FIR 的数据结构更紧凑，编译多线程