Clojure 1.13 新增已检查键支持

背景

Clojure 是一种运行在 JVM 上的动态函数式编程语言，以其简洁的语法和强大的并发支持而闻名。2026年7月2日，Clojure 团队发布了 1.13.0-alpha1 版本，该版本引入了一项重要的语法增强——checked keys，即在 map 解构时强制检查所需键是否存在，并在缺失时抛出异常。这一特性旨在提升代码的健壮性和可调试性。

核心内容

Clojure 1.13.0-alpha1 已正式可用，用户可以从 Downloads 页面获取下载和使用信息。主要变更如下：

1. Checked keys 支持：在 map 解构中，之前使用的 :keys、:syms、:strs 指令现在有了对应的 checked 变体——:keys!、:syms!、:strs!。当使用这些带感叹号的指令时，如果解构的目标 map 中缺少指定的键，则会立即抛出异常。此外，在所有指令中，用户现在可以在键列表之后使用 & 符号指定一些不会被绑定的键，这些键仅用于文档或检查目的（例如，声明某个 map 应包含哪些键，但实际解构时并不取出它们）。

2. PersistentArrayMap 增长策略优化：仅由 keyword 键组成的 PersistentArrayMap，在转换为 PersistentHashMap 之前，其大小上限从原来的 8 提升到了 64。在这个范围内，基于数组的 map 的键扫描（PAM identity scan）比 PersistentHashMap 的哈希查找更高效，同时也能让更多的使用点成为单态（monomorphic），从而更易于 JVM 运行时优化。

3. CLJ-2891 问题修复：移除了静态初始化常量上的 ACC_FINAL 标记。这一改动是前置步骤，目的是将 Java 字节码基线版本提升，以应对新的验证器检查（verifier checks）。

4. 依赖更新：运行时依赖和测试依赖已更新至最新版本。

关键要点

• :keys!、:syms!、:strs! 是新增的 checked 解构指令，缺失键会直接抛出异常，帮助开发者及早发现数据错误。
• 在解构指令中，& 后可以放置不被绑定的键，用于声明意图或作为文档/检查用途，而不占用解构变量。
• PersistentArrayMap 的 keyword-only map 增长阈值从 8 增至 64，提升了小规模 map 的访问性能，并利于 JIT 内联优化。
• 移除了静态初始化常量上的 ACC_FINAL 标记，为后续字节码基线升级做准备，以兼容新版本的 JVM 验证器。
• 所有依赖库（运行时和测试）升级到最新版本，确保安全性和兼容性。

意义与影响

• 提升代码健壮性：Checked keys 使得在函数参数或模式匹配中，可以强制要求调用方提供某些键，避免了因缺少键而导致 NullPointerException 或意外行为。对于大型项目和库设计者来说，这是一个实用的语法糖。
• 改善开发体验：通过显式声明必选键，代码意图更清晰，编译期或运行时的早期检查可以帮助快速定位错误，减少调试时间。
• 性能优化：PersistentArrayMap 阈值的提升对小 map 操作有显著的性能改善，尤其是在高频使用的场景（如配置 map、函数参数 map）中，可以减少哈希计算的 overhead，同时也让 JVM 更容易对调用点进行内联优化。
• 技术债清理：移除 ACC_FINAL 是字节码层面的一次清理，为将来支持更高版本的 JVM 打好基础，体现了 Clojure 团队对长远兼容性的重视。
• 社区信号：此版本作为 alpha 版本，展示了 Clojure 语言在保持向后兼容的同时，积极吸收社区反馈（如 checked keys 的需求），持续演进语言特性的态度。