Kotlin 与协程工程实践专题

这个专题围绕 Kotlin 在 Android 工程中的核心能力：协程、Flow、编译器和跨平台。目标是理解运行机制，并能把它们用在稳定的业务架构里。

学习路径

1. 从 suspend 编译结果理解协程不是线程。
2. 用结构化并发解释取消、异常和生命周期。
3. 用 Flow、StateFlow、SharedFlow 建立响应式数据流。
4. 关注 K2 编译器对类型推断、构建速度和迁移的影响。

核心文章

• Kotlin suspend 原理：CPS 变换、Continuation 与状态机字节码
• Kotlin Flow 原理与工程实践：冷流、StateFlow、SharedFlow 对比
• Kotlin Coroutines 与 Flow：协程调度、结构化并发和响应式数据流
• Kotlin K2 编译器解析：统一前端、类型推断与 Android 构建影响

类型系统、编译期能力与测试

• 深入 Kotlin Coroutines 测试全链路：从 TestDispatcher 调度控制到 Turbine Flow 断言的协程单元测试工程实践
• 深入 Kotlin Context Receivers 上下文接收器
• 深入 Kotlin Contracts 契约编程：从 SmartCast 失效到 callsInPlace 的编译器协作机制
• 深入 Kotlin Sealed Class/Interface 密封类层次：从编译期穷举检查到 Compose UI 状态建模的类型安全实践
• 深入 KSP 全链路：从注解扫描到代码生成的编译期元编程
• 深入 Kotlin inline class/value class 全链路：从编译期消除装箱到类型安全的零开销抽象
• 深入 Kotlin 内联函数全链路解析：从 inline 字节码内联到 reified 泛型特化的编译期优化黑魔法
• 深入 Kotlin 类型安全构建器与 DSL 设计全链路

工程判断

• 一次性异步任务优先用 suspend。
• 连续数据流优先用 Flow。
• UI 状态优先用 StateFlow。
• 事件广播谨慎使用 SharedFlow，并明确 replay 和 buffer 策略。
• 协程泄漏通常不是语法问题，而是作用域设计问题。

下一步

协程和 Flow 通常会落到架构、测试和 Compose 状态管理里，建议继续阅读 移动端工程化 和 Jetpack Compose 深度解析。