Kotlin 在 2.0 - 2.3 都更新了什么特性，一口气带你看完这两年 Kotlin 更新

也许你还在用 Kotlin 但是你是不是很久没关注过 Kotlin 都有什么更新了实际上这两年里自从 K2 开始Kotlin 发布了不少版本也增加了很多新的特性今天我们主要就是汇总聊聊有哪些是你错过的新支持2.0 之后的 Kotlin 是全新的场景因为 K2 不是一个普通的大版本更新K2 属于是对编译器的完全重写主要是重写统一了中间表示IR也实现了更加高效的语义分析最重要是提升了编译速度也对 KMP 场景进行了增强所以从 K2 时代开始Kotlin 就进入了一个新的时代。Kotlin 2.0.0Kotlin 2.0.0 版本是 K2 编译器的第一个稳定版本里程碑前面我们也说过他大规模优化了 K1 在代码分析过程中过度依赖隐式延迟加载解决了在大规模复杂项目时经常导致内存溢出或编译效率低下的问题。K2K2 主要是通过将代码分析分解成一系列明确的相位Phases从而提升了处理的线性度 编译相位职责目的SUPER_TYPES计算类的超类型层级建立基础类型拓扑为后续推断提速TYPES处理函数签名、参数及显式返回类型确保接口契约在早期即完成验证STATUS确定声明的可见性与修饰符如 open/final减少解析过程中的回溯需求ARGUMENTS解决函数调用时的参数绑定与重载决策在复杂重载场景下提供更一致的行为简单来说这种相位化的设计可以让 IntelliJ IDEA 和 Android Studio 的 K2 模式更稳定进行代码分析减少了 IDE 假死和高 CPU 占用的情况根据官方在 Anki-Android 等实际项目上的基准测试K2 的性能提升为测试指标Kotlin 1.9.23 (K1)Kotlin 2.0.0 (K2)性能提升幅度全量构建耗时 (Clean Build)57.7s29.7s~94%增量编译初始化耗时0.126s0.022s~488%增量编译分析耗时0.581s0.122s~376%这些性能提升主要来自 K2 内部数据结构的精简还有对类型推断算法的优化从而让编译器能够更智能地跳过不必要的重复检查 所以如果你现在还觉得编译慢内存占用高是不是考虑下还没用 K2 Smart Casts在 Kotlin 2.0 的版本里智能类型转换Smart Casts机制也有了全面的增强主要是解决了 K1 编译器里许多“逻辑缺陷”场景例如局部变量和作用域扩展在旧版本里面如果一个变量的类型检查结果被存储在一个临时Boolean变量那么编译器会出现无法在后续的if块里面识别出对应检查而这在 K2 里可以跨越局部变量的赋值进行状态跟踪 funpetAnimal(animal:Any){valisCatanimalisCatif(isCat){// Kotlin 2.0编译器能够溯源 isCat自动将 animal 转换为 Catanimal.purr()}}内联函数闭包中的智能转换K1 编译器对于在 lambda 表达式里修改的局部变量支持很保守就算 lambda 是在内联函数中执行也不行但是 K2 能够识别出内联函数的 lambda 不会发生逃逸可以在内联闭包进行智能转换funindexOfMax(a:IntArray):Int?{varmaxI:Int?nulla.forEachIndexed{i,value-// K2能够识别出 maxI 在内联循环中的状态if(maxInull||a[maxI]value){maxIi}}returnmaxI}异常增强K2 能把智能转换信息进一步传递到catch和finally并在逻辑或||运算符后尝试将类型合并为共同的超类从而允许开发者在更复杂的表达式后安全地访问成员interfaceStatus{funsignal(){}}interfacePostponed:StatusinterfaceDeclined:StatusfunsignalCheck(signalStatus:Any){if(signalStatusisPostponed||signalStatusisDeclined){// Kotlin 2.0 起signalStatus 智能转换为共同父类型 StatussignalStatus.signal()// 在 Kotlin 2.0 之前需显式检查 signalStatus is Status 才能调用 signal()}}上面的示例signalStatus通过||判断后被智能转换为Status类型所以可以直接调用signal()方法。funtestString(){varstringInput:String?null// stringInput 智能转换为非空 StringstringInputtry{// 编译器知晓 stringInput 非空println(stringInput.length)// 输出 0// 此处丢弃之前的智能转换信息将 stringInput 恢复为 String? 类型stringInputnull// 抛出异常throwException()stringInput}catch(e:Exception){// 在 Kotlin 2.0 中编译器意识到 stringInput 可能为空因此需要使用安全调用符println(stringInput?.length)// 输出 null// 而在 Kotlin 1.9.20 中编译器错误地允许直接调用 length}}当异常发生后变量stringInput会可以为空必须使用安全调用符来访问。invokedynamicfunmain(){valf{}// Kotlin 2.0.0 起默认 invokedynamic可能输出形如 FileKt$$Lambda$...println(f.toString())}Kotlin 2.1.02.1.0 版本也引入了不少提升代码整洁度的特性同时开始加强对外部注解如 JSpecify的集成 。when 表达式守卫条件Guard Conditions在 2.1.0 开始可以在when分支里面通过if关键字添加额外的Boolean约束不再需要嵌套if-elsesealedinterfaceAnimal{dataclassCat(valmouseHunter:Boolean):AnimaldataclassDog(valbreed:String):Animal}funhandleAnimal(animal:Animal){when(animal){isAnimal.Catifanimal.mouseHunter-println(捕鼠能手)isAnimal.Cat-println(普通的猫)isAnimal.Dog-println(狗狗)}}2.1.0 里是作为预览版支持。非局部 break 与 continueKotlin 2.1.0 引入了非局部的 break/continue预览特性可以在内联函数的 lambda 中使用所在外层循环的break或continue编译器会在同一私有作用域内自动 smart cast 到 backing field 的实现类型funprocessList(elements:ListInt):Boolean{for(elementinelements){valvariableelement.nullableMethod()?:run{println(元素无效跳过此元素)显式 backing fieldcontinue// 非局部 continue跳出外层 for 循环当前迭代}if(variable0)returntrue}returnfalse}continue的调用发生在run内联 lambda 但是可以继续外部的for循环这在 Kotlin 2.1.0 之前是无法实现。多 $ 字符串插值在之前处理嵌套模板 JSON 模式或代码生成器时字符串的$符号经常会产生歧义而 2.1.0 引入了多 $ 符号语法通过指定$的数量来确定插值的深度 // 只有使用两个 $$ 开头的表达式才会被插值valtemplate$$$ { id: $$id, value: $value } JSpecify 注解的严格模式为了提升 Java 互操作的安全性Kotlin 2.1.0 将 JSpecify 注解如Nullable和NonNull的默认处理模式从警告升级为错误也就是在调用标有 JSpecify 注解的 Java 代码时类型不匹配将直接导致编译失败而非运行时的 NPE 。这也是给我的GSYVideoPlayer带来很多 issue 的特性importorg.jspecify.annotations.*;publicclassSomeJavaClass{NonNullpublicStringfoo(){returnx;}NullablepublicStringbar(){returnnull;}}funtest(sjc:SomeJavaClass){sjc.foo().length// Kotlin 2.1.0 起bar() 的返回值若直接访问成员会报错// sjc.bar().lengthprintln(sjc.bar()?.length)}Kotlin 2.2.0Kotlin 2.2.0 开始增加了上下文参数和嵌套类型别名等特性主要是为了减少样板代码同时增强封装。上下文参数作为实验性 Context Receivers 的继任者上下文参数提供了一种更清晰的方式来声明函数的隐式依赖通过context(name: Type)语法函数可以访问上下文中的成员并且必须通过名称引用从而避免了接收器歧义 context(tx:TransactionContext)funsaveUser(user:User){tx.execute(INSERT INTO users...)}这个特性在 2.3.20 的上下文参数的重载决策规则有了进一步规范确保和普通参数在重载选择时能有一致的优先级 。嵌套类型别名2.2.0 开始支持在类内部定义类型别名并且这个支持在 2.3.0 进入了稳定版本它可以让开发者在特定领域或类中使用的别名进行私有化或局部化避免了顶层命名空间的污染 classNetworkManager{// 嵌套类型别名仅在 NetworkManager 或其外部通过限定名使用privatetypealiasRequestIdStringfuncancelRequest(id:RequestId){/*... */}}common 原子类型importkotlin.concurrent.atomics.AtomicIntimportkotlin.concurrent.atomics.ExperimentalAtomicApiOptIn(ExperimentalAtomicApi::class)funmain(){valcounterAtomicInt(0)counter.incrementAndGet()println(counter.value)}Kotlin 2.3.0Kotlin 2.3.0 的核心主要围绕“错误防范”通过引入未使用的返回值检查器和显式底层字段来提升了代码的安全性。未使用的返回值检查器这是一个很有意思的新特性当函数返回一个非Unit且非Nothing的值的时候但在调用处被静默忽略时编译器会发出警告 配置模式行为描述-Xreturn-value-checkercheck仅报告标有MustUseReturnValues的函数包括 stdlib 中的多数函数-Xreturn-value-checkerfull报告项目中所有具有返回值的函数除非标有IgnorableReturnValue例如list.filter { it 0 }但是没有将结果赋值现在会被编译器捕捉 。funformatGreeting(name:String):String{if(name.isBlank())returnHello, anonymous user!if(!name.contains( )){// 构建的字符串结果未被使用Hello, name.replaceFirstChar{it.titlecaseChar()}!}val(first,last)name.split( )returnHello,$first! Or should I call you Dr.$last?}if分支构造了字符串却没有被赋值或返回 Kotlin 2.3.0 编译器会警告结果被忽略。显式底层字段在 Kotlin 中将一个可变的内部状态如MutableStateFlow暴露为只读的公共属性如StateFlow是一个极为普遍的场景而在之前时需要定义两个属性_state和state但是 2.3.0 引入了field关键字可以直接声明底层字段类型 // 语法改进直接在属性内定义 field 的实现类型valloadingState:StateFlowBooleanfieldMutableStateFlow(false)funstartLoading(){// 在私有作用域内编译器会自动将 loadingState 智能转换为 MutableStateFlowloadingState.valuetrue}Kotlin 2.3.202.3.20 作为最近的稳定版本更新主要是引入了基于名称的解构声明和智能构建工具集成。基于名称的解构声明Kotlin 传统的解构是基于位置依赖componentN()如果数据类属性顺序发生变化解构代码可能会在不报错的情况下产生运行时错误而 2.3.20 引入了显式的名称匹配模式 解构方式语法示例安全性分析位置解构 (传统)val (name, age) person属性重排会导致数据错位名称解构 (新)(val mail email, val name username) user安全通过属性名显式绑定编译器现在提供了三种模式only-syntax支持新语法name-mismatch警告位置解构与属性名不符的情况complete则通过中括号和圆括号区分两种解构dataclassUser(valusername:String,valemail:String)funmain(){valuserUser(alice,aliceexample.com)// 位置解构顺序写错会“静默错配”val(email,username)userprintln(email)// aliceprintln(username)// aliceexample.com// 2.3.20name-based destructuring例子// val (username u, email e) user// println(u)// println(e)}context parameters 的变化classLogger{funinfo(msg:String)println(INFO:$msg)}funsaveUser(id:Int){println(Saving user$id(no logger))}context(logger:Logger)funsaveUser(id:Int){logger.info(Saving user$id)}funmain(){valloggerLogger()context(logger){// 2.3.20当仅以“是否有 context parameters”区分重载时可能变为歧义错误// saveUser(1)}}编译器插件Lombok 插件开始 Alpha: 为了支持更多的 Java 遗留项目Lombok 编译器插件现在支持更复杂的注解组合JPA 插件优化: 自动应用all-open预设确保Entity类在运行时能够被正确代理解决了延迟加载中的初始化问题 。Maven 智能默认值: 在 Maven 项目中只需开启extensionstrue/extensions插件会自动注册源代码根目录并添加标准库依赖Wasm 和 Native这里还有其他需要聊的也就是对非 JVM 的支持在 2.0 至 2.3.20 的更新里也有这需要场景更新特别是在 WebAssembly 和 iOS 互操作领域。Kotlin/WasmKotlin 2.2.20 正式宣布 Wasm 进入 Beta 阶段在性能方面通过默认启用 Binaryen 优化如--closed-world生产环境的二进制大小在 2.3.0 中进一步缩小了 13% 。另外在 2.1.20 也引入了 DWARF 调试支持从让项目能够在 V8 或 SpiderMonkey 引擎外进行源码级调试 。Kotlin/Native 与 SwiftKotlin/Native 的 Swift Export 正在逐步完善比如 2.3.0 增强了对 Swift 枚举和变长参数的直接映射Swift 开发者在调用 Kotlin 代码时感官上与调用原生 Swift 框架更接近。同时安全性也有了显著增强2.2.20 引入了对 Stack Canaries 的支持可以有效防御缓冲区溢出攻击开发者可以通过kotlin.native.binary.stackProtectoryes开启 。适配当然随着版本的迭代老的 Kotlin 版本也在被逐步移除例如 2.1.0 彻底移除了对语言版本 1.4 和 1.5 的支持同时在 2.3.0 也将 1.8 标记为错误 。弃用组件版本阶段替代方案 / 影响kotlin-android-extensions2.1.20 (Error)使用 ViewBinding 或 ComposekotlinOptionsDSL2.2.0 (Deprecated)迁移到compilerOptions块Number.toChar()2.3.0 (Error)使用显式的Int.toChar()或 Code 转换androidTarget(KMP)2.3.0 (Warning)迁移至新的 Google KMP Android 插件版本变化汇总版本日期类型关键调整breaking changes2.0.02024-05-21LanguageK2 编译器全平台 Stable 且默认JVM lambda 默认invokedynamicKMP 编译期严格隔离 common/platform source setsGradleCompose compiler 进入 Kotlin 仓库并提供新插件等大量不兼容/弃用条目集中在 compatibility guide 2.0.x语义修正与 K2 行为差异、Gradle 属性/插件 ID 移除等2.0.102024-08-06Bug fix以修复为主Xcode/编译器稳定性等可能导致更严格封装的修复/-不能再绕过 private setter2.0.202024-08-22Toolingdata classcopy()可见性一致化迁移warning 注解/编译选项启动用 context parameters 替代 context receivers 的迁移K/NGC 并发标记Wasmnamed exports 迁移加严Stdlibcommon UUIDGradle 支持到 8.8 等多项迁移开始“发警告/升格”context receivers 警告、Wasm default import 变 error、bitcode embedding 支持移除并弃用相关参数、kotlin.incremental.useClasspathSnapshot弃用等。2.0.212024-10-10Bug fixXcode 16 支持等修复2.1.02024-11-27Language预览guard conditions、非局部 break/continue、多$插值JSpecify 严格 nullabilityKMPSwift export 基础支持、compilerOptions DSL 稳定等language version 1.4/1.5 移除stdlib 多项旧 API 的“warning→error”如 locale-sensitive case conversion、appendlnNative 冻结 API 弃用升级等2.1.102025-01-27Bug fix2.1.202025-03-20ToolingK2 kapt 默认启用KMP 新executable{}DSL 替代 Gradle ApplicationStdlibcommon atomics、UUID 改进、time trackingCompose 编译器限制放宽Isolated Projects 兼容性提升。明确列出 breaking/deprecationswithJava()退场、kotlin-android-extensions配置即错误、移除旧 classpath snapshot 属性等。2.1.212025-05-13Bug fix2.2.02025-06-23Languagecontext parameters 预览多项 2.1 预览特性转 Stable编译器 warnings 统一管理JVM 接口 default method 生成规则变更与-jvm-default稳定Stdlib Base64/HexFormat 稳定KGP 引入 BTA 等明确列出-language-version1.6/1.7不再支持Ant 弃用并计划 2.3 移除kotlinOptions{}升级为 error移除kotlin-android-extensionsJS DCE 相关 DSL 移除等2.2.102025-08-14Bug fix2.2.202025-09-10ToolingKotlin/Wasm 升级 BetaSwift export 默认JSLong→BigIntNativestack canaries、调试显示增强、x86_64 Apple targets 退场Gradle增量编译/发布任务增强Maven默认使用 Kotlin daemon新增 compiler options schema artifact。引入/加严WasmKClass.qualifiedName诊断默认开启并在未显式启用 FQN 时直接报错多项 Gradle API/DSL 弃用节奏推进2.2.212025-10-23Bug fix支持 Xcode 26并修复 Wasm/JS/Gradle 等2.3.02025-12-16Languagenested typealias、when 数据流完备性检查默认启用显式返回类型表达式体中的 return新增 unused return value checkerWasm默认启用 FQN 并压缩 Latin-1JSsuspend 导出实验Stdlibtime tracking 稳定、UUID v4/v7 等Gradle注册 generated sources 新 APIComposeminify 场景 stack trace mapping 输出增强不再支持-language-version1.8以及非 JVM 无 1.9AGP 9 / kotlin-android 插件迁移强制诊断Ant 支持移除等2.3.102026-02-05Bug fix修复包括 kotlinx.serialization 插件相关竞争条件并包含多项编译器/Compose/Gradle 修复对 2.3.0 的问题进行修复与部分回退2.3.202026-03-16ToolingMaven “简化配置”进入 Stableextensions 自动配置 source roots stdlibname-based destructuring、context parameters overload resolution 规则变化StdlibMap.Entry.copy()JVM识别更多 nullability/只读集合注解GradleKotlin/JVM 编译默认走 BTANative新互操作模式/跨编译检查等2.3.20 在 compat 2.3.x 中新增多项 Gradle 属性弃用kotlin.publishJvmEnvironmentAttribute、isolated-projects 相关属性等最后总结一下从 Kotlin 2.0 到 2.3 版本主要有几个大变化K2 时代的开始全新语法入如 guard conditions、非局部 break/continue、多$插值、 context parameters、when 的数据流完备检查等工具链的“强约束 自动化”的增强Native 和 Wasm 场景推进可以看出来现在的 Kotlin 和两年前已经有了很大的变化如果你想要更好的体验升级 Kotlin 版本是必不可少的当然升级的成本也越来越高因为 Kotlin 的捆绑和配套也越来越密切比如最新的 Room 也是一个较大的破坏性适配更新。那么你现在用的是什么 Kotlin 版本