编译器 相关文章

Kotlin K2 编译器深度解析：统一前端架构、类型推断重写与 Android 工程迁移实践

深入解析 Kotlin K2 编译器的 FIR 统一前端架构与类型推断重写机制，结合 30 万行 Android 工程的实测数据，系统梳理 kapt 迁移 KSP、编译器插件 API 升级及类型推断差异的迁移实践。

深入 Kotlin Contracts 契约编程：从 SmartCast 失效到 callsInPlace 的编译器协作机制

深入解析 Kotlin Contracts 契约编程机制，涵盖 returns() implies 与 callsInPlace 两种核心契约如何帮助编译器实现 SmartCast 和变量初始化推断，并探讨实际使用场景与限制。