Kotlin 知识地图
模块知识结构与学习路径 | 52 篇文档 | 53 个节点 | 127 条关系
正在加载知识地图...
文档索引
Kotlin 概述与环境配置Kotlin 语言概述、发展历史、设计哲学、与 Java 的关系、多平台支持、环境搭建与第一批可运行程序。对标 MIT 6.005、Stanford CS193P、CMU 15-214 教学水准。
Kotlin 基础语法变量声明、基本类型、字符串模板、包与导入、控制流与区间。
Kotlin 函数与 Lambda函数定义、扩展函数、Lambda 表达式、高阶函数、内联函数与 SAM 转换。
Kotlin 类与对象类定义、构造函数、继承、接口、数据类、密封类、枚举与伴生对象。
Kotlin 泛型与类型系统泛型、型变、空安全、智能转换与类型系统深度解析。
Kotlin 集合与协程集合框架、序列、集合操作函数与协程基础。
Kotlin 协程进阶协程异常处理、取消、超时、Flow 高级操作、StateFlow/SharedFlow 与 Select。
Kotlin 多平台KMP 架构、expect/actual、共享代码策略、Compose Multiplatform 与 Gradle 配置。
Kotlin DSL 与领域特定语言DSL 设计模式、带接收者的 Lambda、类型安全构建器与实际项目 DSL 设计。
Kotlin 测试与最佳实践测试框架集成、协程测试、代码规范、性能优化与 Effective Kotlin 要点。
Kotlin与协程ChannelChannel热数据流
空安全详解Kotlin 空安全深度解析：可空类型、智能转换、平台类型、lateinit、Elvis 运算符的形式化定义、字节码实现与企业级工程实践。
密封类与代数数据类型密封类、密封接口与代数数据类型（ADT）的原理、形式化与实践
委托属性Kotlin 委托属性深度解析：lazy、observable、vetoable、map 委托、provideDelegate 的设计哲学、形式化定义、字节码实现与企业级工程实践。
扩展函数Kotlin 扩展函数与扩展属性的原理、形式化语义、工程实践与陷阱分析
协程基础Kotlin 协程基础深度解析：suspend 函数、CoroutineScope、Job、Deferred、launch/async/runBlocking、结构化并发、Continuation 状态机原理。对标 MIT 6.005、Stanford CS193P、CMU 15-440 教学水准。
Flow与响应式流Kotlin Flow与Channel及响应式流规范深度剖析
Kotlin作用域函数let、run、with、apply、also 五大作用域函数深度剖析
Kotlin集合操作集合函数式操作
Kotlin内联类value class 与内联优化的编译原理与工程实践
Kotlin 契约（Contracts）Kotlin 契约机制的形式化语义、编译器交互、效果系统与工程实践
Kotlin与DSLDSL构建
Kotlin序列化kotlinx.serialization 的核心原理、工程实践与性能优化
Kotlin与AndroidKotlin Android开发
Kotlin与SpringKotlin Spring Boot开发
Kotlin类型系统Kotlin 类型系统深度解析：泛型、型变（协变 out / 逆变 in / 不变）、星投影、类型擦除、reified 类型参数、上下界约束、declaration-site 与 use-site variance 的形式化定义、编译器实现与企业级工程实践。对标 MIT 6.005、Stanford CS193P、CMU 15-312 教学水准。
Kotlin与ComposeJetpack Compose桌面/移动
Kotlin与Arrow函数式编程库Arrow
Kotlin与KtorKtor服务端框架
Kotlin与ExposedKotlin SQL框架Exposed
Kotlin与KoinKoin依赖注入
Kotlin与ktor-clientKtor HTTP客户端
Kotlin与测试Kotlin测试框架
Kotlin与编译器插件kapt、KSP与编译器插件的原理、工程实践与性能优化
Kotlin与GradleGradle Kotlin DSL
Kotlin与原子操作kotlinx.atomicfu
Kotlin与Benchmark基于 JMH 与 kotlinx-benchmark 的 Kotlin 性能基准测试方法论、工程实践与陷阱分析
Kotlin与IOkotlinx-io与文件操作
Kotlin 与正则表达式Kotlin 正则表达式的形式化语义、JDK 集成、性能优化与工程实践
Kotlin与时间kotlinx-datetime
Kotlin与并发安全Kotlin 并发安全深度解析：共享可变状态、数据竞争、Mutex、原子操作、CAS、Actor 模型、Channel、线程限制、Volatile、StateFlow 的形式化定义、字节码实现与企业级工程实践。对标 MIT 6.005、Stanford CS110、CMU 15-440 教学水准。
Kotlin与WebSocketKtor WebSocket
Kotlin与安全Kotlin安全编程
协程调度器与上下文Kotlin协程调度器与上下文详解：Dispatchers选择与切换。
Flow冷流与SharedFlow和StateFlowKotlin Flow冷流与SharedFlow和StateFlow详解：响应式流原理、冷热流对比、状态管理实践。
Channel与BroadcastChannelKotlin Channel与BroadcastChannel详解。
密封类与密封接口Kotlin 密封类与密封接口深度解析：受限继承、穷举检查、代数数据类型（ADT）、模式匹配、递归结构、when 表达式编译期检查的形式化定义、字节码实现与企业级工程实践。对标 MIT 6.005、Stanford CS193P、CMU 15-214 教学水准。
内联类Kotlin内联类inline class避免装箱开销。
扩展函数的编译原理Kotlin扩展函数编译原理详解。
作用域函数区别Kotlin 作用域函数深度解析：let、run、with、apply、also 的设计哲学、形式化定义与工程实践。
协程异常处理Kotlin 协程异常处理深度解析：CoroutineExceptionHandler、SupervisorJob、structured concurrency 异常传播机制的形式化定义、字节码实现与企业级工程实践。
Kotlin跨平台Kotlin跨平台详解：Kotlin/JS与Kotlin/Native。