第2章 探究新语言,快速入门Kotlin编程
依据郭霖《第一行代码 Android》第3版完整目录独立重构:掌握Kotlin变量、函数、控制流、面向对象、Lambda、集合、空安全与扩展语法,并理解其在Android字节码与Java互操作中的边界
第2章 探究新语言,快速入门Kotlin编程
本页对应第3版正式结构中的 第2章 探究新语言,快速入门Kotlin编程。课程不复制原文,而是按出版社电子书目录逐节点独立重构平台机制与工程实践,目标是掌握Kotlin变量、函数、控制流、面向对象、Lambda、集合、空安全与扩展语法,并理解其在Android字节码与Java互操作中的边界。每个示例都必须说明目标API、设备、生命周期、线程、状态来源和失败条件。
可验收学习目标
学习目标
- 能解释本页全部10个正式节点的用户任务、平台合同、生命周期和版本边界。
- 能实现“为同一数据转换分别写命令式和函数式Kotlin实现,加入可空输入、继承和Java调用,比较类型推断与生成行为”,并保存干净构建、设备操作、原始日志和断言。
- 能比较正常创建、配置变更、后台、进程重建、权限拒绝与外部故障下的状态差异。
- 能设计至少一个推翻当前实现的反例,并用Kotlin语义卡、空安全反例、Lambda与集合变换实验、Java互操作字节码记录完成独立交接。
机制总览
第2章 探究新语言,快速入门Kotlin编程:机制路径
- 1
可验收学习目标
首要陷阱是“把Kotlin当成更短的Java,只背语法糖而不理解可空类型、函数类型、对象表达式和互操作平台类型”。先预测再运行;任何“能跑”结论都要经过生命周期、失败输入、安全、资源释放和目标SDK迁移检查。
- 2
先建立直觉
在《第2章 探究新语言,快速入门Kotlin编程》中,先把 生命周期 看成系统与应用之间的时序合同,再把 版本边界 看成这份合同的坐标。API 名称只是入口;真正要追踪的是输入由谁接收、状态由谁保存、任务由谁取消,以及失败后用户看到什么。
- 3
最小可执行切片
fun reduce(state: UiState, event: UserEvent): UiState = nextState(state, event)
章级决策实验
第2章 探究新语言,快速入门Kotlin编程:机制与证据
切换《第2章 探究新语言,快速入门Kotlin编程》的三个关键教学阶段,先解释机制,再用运行与失败证据验证结论。
选择推理阶段
当前阶段 · 可验收学习目标
首要陷阱是“把Kotlin当成更短的Java,只背语法糖而不理解可空类型、函数类型、对象表达式和互操作平台类型”。先预测再运行;任何“能跑”结论都要经过生命周期、失败输入、安全、资源释放和目标SDK迁移检查。
可核验证据
在 Android 10/Kotlin 基线上复现「可验收学习目标」,用正常、权限拒绝/弱网和组件重建样本核对界面状态、持久数据、线程与资源释放。
学完《第2章 探究新语言,快速入门Kotlin编程》后,应能从输入和前置条件推导状态变化,并用可重复的构建、运行或边界测试证明结果。
失效—证据矩阵
第2章 探究新语言,快速入门Kotlin编程:失效与核验
可验收学习目标
典型失效
若学习「可验收学习目标」只复制顺利路径代码而不处理权限、生命周期、线程、持久状态和资源释放,应用会在拒绝、旋转、进程重建或弱网时丢失行为。
核验证据
在 Android 10/Kotlin 基线上复现「可验收学习目标」,用正常、权限拒绝/弱网和组件重建样本核对界面状态、持久数据、线程与资源释放。
先建立直觉
典型失效
若学习「先建立直觉」只复制顺利路径代码而不处理权限、生命周期、线程、持久状态和资源释放,应用会在拒绝、旋转、进程重建或弱网时丢失行为。
核验证据
在 Android 10/Kotlin 基线上复现「先建立直觉」,用正常、权限拒绝/弱网和组件重建样本核对界面状态、持久数据、线程与资源释放。
最小可执行切片
典型失效
若学习「最小可执行切片」只复制顺利路径代码而不处理权限、生命周期、线程、持久状态和资源释放,应用会在拒绝、旋转、进程重建或弱网时丢失行为。
核验证据
在 Android 10/Kotlin 基线上复现「最小可执行切片」,用正常、权限拒绝/弱网和组件重建样本核对界面状态、持久数据、线程与资源释放。
首要陷阱是“把Kotlin当成更短的Java,只背语法糖而不理解可空类型、函数类型、对象表达式和互操作平台类型”。先预测再运行;任何“能跑”结论都要经过生命周期、失败输入、安全、资源释放和目标SDK迁移检查。
先建立直觉
在《第2章 探究新语言,快速入门Kotlin编程》中,先把↡由系统回调驱动、决定组件何时创建、可见、停止与释放的状态机看成系统与应用之间的时序合同,再把↡Android版本、targetSdk、设备形态和权限政策共同限定的行为适用范围看成这份合同的坐标。API 名称只是入口;真正要追踪的是输入由谁接收、状态由谁保存、任务由谁取消,以及失败后用户看到什么。
《第2章 探究新语言,快速入门Kotlin编程》的直觉检验只改变一个条件:旋转、进程重建、拒绝权限、断网或目标 SDK。若结果随隐藏缓存或旧对象身份漂移,就回到状态所有者和平台合同定位首个分叉,而不是继续堆补丁。
最小可执行切片
先把状态与副作用分离,示例只表达可恢复合同:
sealed interface UiState {
data object Loading : UiState
data class Ready(val itemId: String) : UiState
data class Failed(val retryable: Boolean) : UiState
}
fun reduce(state: UiState, event: UserEvent): UiState = nextState(state, event)固定环境并从命令行保留可复现证据:
./gradlew clean test assembleDebug
adb install -r app/build/outputs/apk/debug/app-debug.apk
adb shell am force-stop example.package
adb shell monkey -p example.package 1
adb logcat -d -v threadtime > run.log验收在操作前写出故障条件:
Given a pinned JDK, SDK, Gradle build, device API, locale, and seed
When the component is recreated after state saving or process death
Then user-visible state is restored from durable facts
And cancelled work cannot update a destroyed owner
And denied permission, offline input, and malformed data remain recoverable在《第2章 探究新语言,快速入门Kotlin编程》中,三段代码分别承担状态模型、环境重放和行为断言。真实工程还需静态检查、单元测试、仪器测试、截图或无障碍检查,以及发布构建验证;不要用日志输出代替断言,也不要让测试依赖本机IDE缓存。
线程、状态与资源边界
每个实现列出五张表:入口来自哪里,执行在哪个线程,状态保存在哪里,资源由谁关闭,失败怎样呈现与重试。在《第2章 探究新语言,快速入门Kotlin编程》中,网络重试必须有上限、退避和幂等;数据库升级必须覆盖所有受支持旧版本;文件和媒体句柄在取消与异常路径释放;组件回调不持有超过生命周期的View或Context。
性能以用户任务衡量。在《第2章 探究新语言,快速入门Kotlin编程》中,启动不仅看首帧,还要检查可交互时刻;列表不仅看平均帧率,还要检查滚动卡顿和绑定分配;后台工作不仅看是否完成,还要检查电量、约束与系统调度;网络不仅看成功耗时,还要检查超时、取消和错误恢复。每次比较固定设备温度、构建类型、数据规模与网络条件。
在《第2章 探究新语言,快速入门Kotlin编程》中,版本迁移分两步:先在Android 10/Kotlin语境下还原书中机制,再对目标compileSdk、targetSdk和设备API查询当前官方合同。一次只迁移一个变化,例如存储、权限、通知、后台启动、发布仓库或已弃用库;保存编译警告、运行差异和回滚。新API更现代不代表自动正确,旧API能编译也不代表仍符合平台政策。
本章回顾
本页从“第2章 探究新语言,快速入门Kotlin编程”覆盖到“2.9 小结与点评”,共10个正式节点。闭环是先明确生命周期、所有者与状态源,再执行“为同一数据转换分别写命令式和函数式Kotlin实现,加入可空输入、继承和Java调用,比较类型推断与生成行为”,最后以Kotlin语义卡、空安全反例、Lambda与集合变换实验、Java互操作字节码记录证明功能在正常、重建、失败和版本迁移场景下可重放、可恢复、可发布。
练习
问题 1:第2章 探究新语言,快速入门Kotlin编程覆盖哪些正式节点和主线?
问题 2:怎样为第2章 探究新语言,快速入门Kotlin编程建立最小可执行实验?
问题 3:为什么“把Kotlin当成更短的Java,只背语法糖而不理解可空类型、函数类型、对象表达式和互操作平台类型”会破坏结论?
问题 4:如何设计能推翻本章实现的反例?
问题 5:从Android 10迁移到目标SDK时怎样控制变量?
问题 6:第2章 探究新语言,快速入门Kotlin编程达到独立交接标准需要什么?
名词解释
本章出现的专业名词,用大白话再讲一遍。
- 生命周期
由系统回调驱动、描述组件从创建到销毁及可见交互阶段的状态机。
- 持久状态
跨配置变更或进程重建仍能恢复的最小业务事实。
- 所有者
负责创建、取消并最终释放组件、任务或资源的明确作用域。
- 版本边界
Android版本、targetSdk、设备形态、权限、网络与厂商实现共同形成的行为适用范围。
- 证据链
可由测试重放并以日志、状态快照、截图或产物校验支持的结论链。
← 上一页:第1章 开始启程,你的第一行Android代码 · 下一页:第3章 先从看得到的入手,探究Activity →
原版目录概念补充核对
以下条目补齐官方目录中容易被示例主线掩盖的概念。它们不重复罗列目录,而是明确每项概念的机制、适用边界和验收证据。
2.1 Kotlin语言简介:机制、边界与证据
第2章 探究新语言,快速入门Kotlin编程中的2.1 Kotlin语言简介要把语言写法连接到类型、可空性、对象状态与生成调用,简洁语法不能替代契约。用可编译/应拒绝案例和边界输入核对推断、空值、集合变化与 Java 互操作。
2.2 如何运行Kotlin代码:机制、边界与证据
第2章 探究新语言,快速入门Kotlin编程中的2.2 如何运行Kotlin代码要把语言写法连接到类型、可空性、对象状态与生成调用,简洁语法不能替代契约。用可编译/应拒绝案例和边界输入核对推断、空值、集合变化与 Java 互操作。
2.3 编程之本:变量和函数:机制、边界与证据
第2章 探究新语言,快速入门Kotlin编程中的2.3 编程之本:变量和函数要把语言写法连接到类型、可空性、对象状态与生成调用,简洁语法不能替代契约。用可编译/应拒绝案例和边界输入核对推断、空值、集合变化与 Java 互操作。
2.4 程序的逻辑控制:机制、边界与证据
第2章 探究新语言,快速入门Kotlin编程中的2.4 程序的逻辑控制要在 Android 10/Kotlin 基线中写清用户任务、平台合同、状态 owner、线程与资源释放,再单列现代 targetSdk 差异。用正常、拒绝和生命周期重建三类样本核对最终行为。
2.5 面向对象编程:机制、边界与证据
第2章 探究新语言,快速入门Kotlin编程中的2.5 面向对象编程要在 Android 10/Kotlin 基线中写清用户任务、平台合同、状态 owner、线程与资源释放,再单列现代 targetSdk 差异。用正常、拒绝和生命周期重建三类样本核对最终行为。
2.6 Lambda编程:机制、边界与证据
第2章 探究新语言,快速入门Kotlin编程中的2.6 Lambda编程要把语言写法连接到类型、可空性、对象状态与生成调用,简洁语法不能替代契约。用可编译/应拒绝案例和边界输入核对推断、空值、集合变化与 Java 互操作。
2.7 空指针检查:机制、边界与证据
第2章 探究新语言,快速入门Kotlin编程中的2.7 空指针检查要把语言写法连接到类型、可空性、对象状态与生成调用,简洁语法不能替代契约。用可编译/应拒绝案例和边界输入核对推断、空值、集合变化与 Java 互操作。
2.8 Kotlin中的小魔术:机制、边界与证据
第2章 探究新语言,快速入门Kotlin编程中的2.8 Kotlin中的小魔术要把语言写法连接到类型、可空性、对象状态与生成调用,简洁语法不能替代契约。用可编译/应拒绝案例和边界输入核对推断、空值、集合变化与 Java 互操作。