Kotlin 2.3.0版本现已正式发布,这一语言更新提供了多项新功能,包括未使用返回值检查器和对Java 25的支持。此次发布包含多个实验阶段功能,如值检查器、Swift互操作性,以及显式支持字段的新语法。
JetBrains于12月16日发布了这次语言更新。安装说明可在blog.jetbrains.com找到。这一正式版本是在11月18日发布候选版本之后推出的。
在Kotlin 2.3.0中,新的未使用值检查器有助于防止忽略结果。当表达式返回除Unit或Nothing之外的值且未传递给函数、在条件中检查或以其他方式使用时,它会发出警告。该检查器有助于捕获因函数调用产生有意义结果却被静默丢弃而导致意外行为或难以追踪问题的错误。此功能目前处于实验阶段。
Kotlin 2.3.0中的另一项实验功能通过Swift导出改进了Kotlin与Swift的互操作性,增加了对原生枚举类和可变函数参数的支持。此前,Kotlin枚举被导出为普通的Swift类。现在通过直接映射,开发者可以使用常规的原生Swift枚举。
Kotlin 2.3.0的其他功能包括:
Kotlin编译器现在可以生成包含Java 25字节码的类。
显式支持字段为显式声明保存属性值的底层字段提供了新语法,与现有的隐式支持字段形成对比。
在具有显式返回类型的表达式体中支持return语句现已默认启用。
上下文敏感解析作为实验功能得到了改进。当前类型的密封和封闭超类型现在被视为搜索上下文范围的一部分。不再考虑其他超类型范围。当涉及类型操作符和等式时,如果使用上下文敏感解析导致解析模糊,编译器现在会报告警告。
向Kotlin/Native项目导入C和Objective-C功能的支持已进入测试阶段。
对于Kotlin/Wasm(WebAssembly),Kotlin 2.3.0默认为Kotlin/Wasm目标启用完全限定名,为wasmWasi目标启用新的异常处理提案。它还引入了Latin-1字符的紧凑存储。同时,新的WebAssembly异常处理提案对wasmWasi目标默认启用,确保与现代WebAssembly运行时更好的兼容性。
对于Kotlin/JS,挂起函数现在可以使用@JsExport注解直接导出到JavaScript,BigInt64Array类型现在可以用于表示Kotlin的LongArray类型。这两项都是实验功能。
不再支持Ant构建系统。
Q&A
Q1:Kotlin 2.3.0中的未使用返回值检查器是什么?
A:这是一个新的检查器,用于防止忽略函数调用的返回结果。当表达式返回除Unit或Nothing之外的值且未被使用时会发出警告,帮助开发者捕获因忽略有意义返回值而导致的潜在错误。
Q2:Kotlin 2.3.0对Swift互操作性有什么改进?
A:新版本通过Swift导出功能改进了与Swift的互操作性,增加了对原生枚举类和可变函数参数的支持。现在Kotlin枚举可以直接映射为Swift枚举,而不再导出为普通Swift类。
Q3:Kotlin 2.3.0支持哪些新的编程语言特性?
A:新版本支持Java 25字节码生成、显式支持字段的新语法、表达式体中return语句的默认支持,以及改进的上下文敏感解析功能。对于WebAssembly和JavaScript也有相应的功能增强。
好文章,需要你的鼓励
WhatsApp正式向更多iOS用户推送Liquid Glass界面重设计的第一阶段更新。此前,Meta自去年10月起在小范围内测试该设计,将其应用于底部导航栏及聊天标签页部分元素。目前,多名用户已在社交平台确认收到更新,新界面覆盖底部导航栏、聊天内部分元素及主界面顶部导航栏,但语音消息播放器和消息反应菜单等组件仍沿用旧设计,预计后续将陆续跟进更新。
FORTIS是专门测量AI代理"越权行为"的基准测试,研究发现十款顶尖模型普遍选择远超任务需要的高权限技能,端到端成功率最高仅14.3%。
OpenAI近日在ChatGPT Pro中推出个人财务功能预览版,目前面向部分美国用户开放测试。用户需通过Plaid连接银行账户,ChatGPT可接入逾12,000家银行数据,并生成支出图表、投资组合分析等可视化看板。用户可用自然语言查询财务状况、识别可取消的订阅或检测高风险股票。该功能由GPT-5.5 Thinking驱动,未来将支持自动提交信用卡申请等主动操作,并计划向所有用户开放。
荷兰Nebius团队提出SlimSpec,通过低秩分解压缩草稿模型LM-Head的内部表示而非裁剪词汇,在保留完整词汇表的同时将LM-Head计算时间压缩至原来的五分之一,端到端推理速度超越现有方法最高达9%。