Kotlin导论

从本章问题开始

Kotlin导论要解决的不是语法记忆，而是明确Kotlin 1.2、JVM与IntelliJ基线，并建立从语言特性到可运行程序的学习合同。先写出输入和期望结果，再运行最小切片；如果无法解释失败落在编译期、边界层还是运行期，程序即使输出一次正确答案也未通过。

本页不把 val 等同深度不可变，也不把简洁语法等同动态类型。Kotlin 的类型、可空性、求值规则和对象模型共同压缩非法状态；本章不变量是明确Kotlin 1.2、JVM与IntelliJ基线，并建立从语言特性到可运行程序的学习合同的输入、类型边界、求值结果和失败路径都能由独立读者重放。

来源范围与年代边界

O’Reilly 的第1版书目与完整目录只用于核定本页范围，中文版出版记录用于交叉核对译本信息；未取得的原书正文不作忠实性宣称。Kotlin导论涉及的语言机制由JetBrains/Android 一手文档独立核验，以下中文讲解、代码组织、图示、实验和练习均为独立教学重写。

第1版的教学坐标是2018年前后的 Kotlin 1.2、JVM、IntelliJ 与当时 Android/早期协程接口。Kotlin 1.2 发布说明用于锁定历史能力；当前文档只提供迁移对照，Flow、Compose、MockK、现代 Gradle Kotlin DSL 和第二版新增内容不倒灌为原书内容。

本章机制与六个检查点

、、、、、。这些检查点共同回答明确Kotlin 1.2、JVM与IntelliJ基线，并建立从语言特性到可运行程序的学习合同，最终必须落到版本指纹、目标平台说明、最小程序、学习顺序与迁移边界，不能只停在API名称或目录词。

正式目录逐项深读

Introducing Kotlin

Introducing Kotlin服务于明确Kotlin 1.2、JVM与IntelliJ基线，并建立从语言特性到可运行程序的学习合同。把这个目录坐标翻译成一个可执行或可判定合同，明确输入、状态变化、可见结果和反例，并以版本指纹、目标平台说明、最小程序、学习顺序与迁移边界完成独立复核。

在 Kotlin导论 的 界定责任 阶段，Introducing Kotlin先声明可接受输入和状态拥有者，再说明为何得到当前结果。随后进入比较方案，使用同一份输入把正常路径与把当前Kotlin或Android惯例倒灌进2018年原书产生的反例并排保存。

对 Introducing Kotlin 的四级验收分别是：正文出现该坐标；解释它如何参与明确Kotlin 1.2、JVM与IntelliJ基线，并建立从语言特性到可运行程序的学习合同；在章专属实验中选择该节点并观察反馈；最后凭版本指纹、目标平台说明、最小程序、学习顺序与迁移边界回答练习、复位并重放。

Why Kotlin?

Why Kotlin?服务于明确Kotlin 1.2、JVM与IntelliJ基线，并建立从语言特性到可运行程序的学习合同。把这个目录坐标翻译成一个可执行或可判定合同，明确输入、状态变化、可见结果和反例，并以版本指纹、目标平台说明、最小程序、学习顺序与迁移边界完成独立复核。

在 Kotlin导论 的 比较方案 阶段，Why Kotlin?先声明可接受输入和状态拥有者，再说明为何得到当前结果。随后进入声明不变量，使用同一份输入把正常路径与把当前Kotlin或Android惯例倒灌进2018年原书产生的反例并排保存。

对 Why Kotlin? 的四级验收分别是：正文出现该坐标；解释它如何参与明确Kotlin 1.2、JVM与IntelliJ基线，并建立从语言特性到可运行程序的学习合同；在章专属实验中选择该节点并观察反馈；最后凭版本指纹、目标平台说明、最小程序、学习顺序与迁移边界回答练习、复位并重放。

Who Is This Book For?

Who Is This Book For?服务于明确Kotlin 1.2、JVM与IntelliJ基线，并建立从语言特性到可运行程序的学习合同。把这个目录坐标翻译成一个可执行或可判定合同，明确输入、状态变化、可见结果和反例，并以版本指纹、目标平台说明、最小程序、学习顺序与迁移边界完成独立复核。

在 Kotlin导论 的 声明不变量 阶段，Who Is This Book For?先声明可接受输入和状态拥有者，再说明为何得到当前结果。随后进入验证替换，使用同一份输入把正常路径与把当前Kotlin或Android惯例倒灌进2018年原书产生的反例并排保存。

对 Who Is This Book For? 的四级验收分别是：正文出现该坐标；解释它如何参与明确Kotlin 1.2、JVM与IntelliJ基线，并建立从语言特性到可运行程序的学习合同；在章专属实验中选择该节点并观察反馈；最后凭版本指纹、目标平台说明、最小程序、学习顺序与迁移边界回答练习、复位并重放。

How to Use This Book

How to Use This Book服务于明确Kotlin 1.2、JVM与IntelliJ基线，并建立从语言特性到可运行程序的学习合同。把这个目录坐标翻译成一个可执行或可判定合同，明确输入、状态变化、可见结果和反例，并以版本指纹、目标平台说明、最小程序、学习顺序与迁移边界完成独立复核。

在 Kotlin导论 的 验证替换 阶段，How to Use This Book先声明可接受输入和状态拥有者，再说明为何得到当前结果。随后进入记录决策，使用同一份输入把正常路径与把当前Kotlin或Android惯例倒灌进2018年原书产生的反例并排保存。

对 How to Use This Book 的四级验收分别是：正文出现该坐标；解释它如何参与明确Kotlin 1.2、JVM与IntelliJ基线，并建立从语言特性到可运行程序的学习合同；在章专属实验中选择该节点并观察反馈；最后凭版本指纹、目标平台说明、最小程序、学习顺序与迁移边界回答练习、复位并重放。

For the More Curious

For the More Curious服务于明确Kotlin 1.2、JVM与IntelliJ基线，并建立从语言特性到可运行程序的学习合同。把这个目录坐标翻译成一个可执行或可判定合同，明确输入、状态变化、可见结果和反例，并以版本指纹、目标平台说明、最小程序、学习顺序与迁移边界完成独立复核。

在 Kotlin导论 的 记录决策 阶段，For the More Curious先声明可接受输入和状态拥有者，再说明为何得到当前结果。随后进入界定责任，使用同一份输入把正常路径与把当前Kotlin或Android惯例倒灌进2018年原书产生的反例并排保存。

对 For the More Curious 的四级验收分别是：正文出现该坐标；解释它如何参与明确Kotlin 1.2、JVM与IntelliJ基线，并建立从语言特性到可运行程序的学习合同；在章专属实验中选择该节点并观察反馈；最后凭版本指纹、目标平台说明、最小程序、学习顺序与迁移边界回答练习、复位并重放。

Challenges

Challenges服务于明确Kotlin 1.2、JVM与IntelliJ基线，并建立从语言特性到可运行程序的学习合同。先把题目改写成输入、输出、约束和失败样例，再运行正常、边界与非法三组断言；挑战完成的证据是版本指纹、目标平台说明、最小程序、学习顺序与迁移边界，不是一次示例输出。

在 Kotlin导论 的 界定责任 阶段，Challenges先声明可接受输入和状态拥有者，再说明为何得到当前结果。随后进入比较方案，使用同一份输入把正常路径与把当前Kotlin或Android惯例倒灌进2018年原书产生的反例并排保存。

对 Challenges 的四级验收分别是：正文出现该坐标；解释它如何参与明确Kotlin 1.2、JVM与IntelliJ基线，并建立从语言特性到可运行程序的学习合同；在章专属实验中选择该节点并观察反馈；最后凭版本指纹、目标平台说明、最小程序、学习顺序与迁移边界回答练习、复位并重放。

Typographical conventions

Typographical conventions服务于明确Kotlin 1.2、JVM与IntelliJ基线，并建立从语言特性到可运行程序的学习合同。把这个目录坐标翻译成一个可执行或可判定合同，明确输入、状态变化、可见结果和反例，并以版本指纹、目标平台说明、最小程序、学习顺序与迁移边界完成独立复核。

在 Kotlin导论 的 比较方案 阶段，Typographical conventions先声明可接受输入和状态拥有者，再说明为何得到当前结果。随后进入声明不变量，使用同一份输入把正常路径与把当前Kotlin或Android惯例倒灌进2018年原书产生的反例并排保存。

对 Typographical conventions 的四级验收分别是：正文出现该坐标；解释它如何参与明确Kotlin 1.2、JVM与IntelliJ基线，并建立从语言特性到可运行程序的学习合同；在章专属实验中选择该节点并观察反馈；最后凭版本指纹、目标平台说明、最小程序、学习顺序与迁移边界回答练习、复位并重放。

Using an eBook

Using an eBook服务于明确Kotlin 1.2、JVM与IntelliJ基线，并建立从语言特性到可运行程序的学习合同。把这个目录坐标翻译成一个可执行或可判定合同，明确输入、状态变化、可见结果和反例，并以版本指纹、目标平台说明、最小程序、学习顺序与迁移边界完成独立复核。

在 Kotlin导论 的 声明不变量 阶段，Using an eBook先声明可接受输入和状态拥有者，再说明为何得到当前结果。随后进入验证替换，使用同一份输入把正常路径与把当前Kotlin或Android惯例倒灌进2018年原书产生的反例并排保存。

对 Using an eBook 的四级验收分别是：正文出现该坐标；解释它如何参与明确Kotlin 1.2、JVM与IntelliJ基线，并建立从语言特性到可运行程序的学习合同；在章专属实验中选择该节点并观察反馈；最后凭版本指纹、目标平台说明、最小程序、学习顺序与迁移边界回答练习、复位并重放。

Looking Forward

Looking Forward服务于明确Kotlin 1.2、JVM与IntelliJ基线，并建立从语言特性到可运行程序的学习合同。把这个目录坐标翻译成一个可执行或可判定合同，明确输入、状态变化、可见结果和反例，并以版本指纹、目标平台说明、最小程序、学习顺序与迁移边界完成独立复核。

在 Kotlin导论 的 验证替换 阶段，Looking Forward先声明可接受输入和状态拥有者，再说明为何得到当前结果。随后进入记录决策，使用同一份输入把正常路径与把当前Kotlin或Android惯例倒灌进2018年原书产生的反例并排保存。

对 Looking Forward 的四级验收分别是：正文出现该坐标；解释它如何参与明确Kotlin 1.2、JVM与IntelliJ基线，并建立从语言特性到可运行程序的学习合同；在章专属实验中选择该节点并观察反馈；最后凭版本指纹、目标平台说明、最小程序、学习顺序与迁移边界回答练习、复位并重放。

最小可执行切片

data class StudyContract(val kotlin: String, val target: String)
 
val contract = StudyContract(kotlin = "1.2", target = "JVM")
check(contract.target == "JVM")
println(contract)

运行切片时固定 Kotlin/JDK 或 Android 工具链版本、输入数据和命令；保存标准输出、编译诊断及断言。迁移实验必须另建记录，不能静默改写2018年的历史坐标。

练习、答案与四级证据

术语复核与本章回顾

完成Kotlin导论意味着：能解释明确Kotlin 1.2、JVM与IntelliJ基线，并建立从语言特性到可运行程序的学习合同，能运行并改动章专属切片，能主动制造把当前Kotlin或Android惯例倒灌进2018年原书，还能凭版本指纹、目标平台说明、最小程序、学习顺序与迁移边界恢复并交接，而不是只识别术语。

阅读导航

← 上一页：《Kotlin编程权威指南》权威学习地图 · 下一页：1. Your First Kotlin Application →