Clojure 1.13 引入检查键：解构时强制要求键必须存在，否则抛异常

Clojure 1.13 新增带感叹号的解构指令，强制要求映射解构时指定键必须存在，否则抛出异常，同时优化了关键字键映射的性能阈值。

一、背景：Clojure 映射解构的痛点

Clojure 是一门运行在 JVM 上的函数式 Lisp 方言，其核心哲学之一是“数据优先”。在 Clojure 中，映射（map）是最常用的数据结构之一，而解构（destructuring）是提取映射中键值对的标准方式。

传统上，Clojure 的 :keys、:syms 和 :strs 指令在解构映射时，如果指定的键不存在，只会将对应的局部变量绑定为 nil，而不会报错。这种“宽容”的设计虽然灵活，但也容易隐藏 bug——开发者可能误以为某个键一定存在，结果在后续逻辑中遇到 nil 引发的空指针或意外行为。

例如：
clojure
(let [{:keys [name age]} {:name "Alice"}]
(println age)) ; 输出 nil，而不是报错

这种静默失败在大型代码库中尤其危险，因为错误可能被推迟到很远的地方才显现。

二、核心新特性：checked keys（检查键）

Clojure 1.13.0-alpha1 引入了三个带感叹号的解构指令变体：

• :keys!
• :syms!
• :strs!

这些指令的行为与对应的无感叹号版本完全相同，但有一个关键区别：如果指定的键在映射中不存在，会立即抛出 IllegalArgumentException，而不是静默绑定为 nil。

2.1 例子：检查键强制存在

clojure
(let [{:keys! [name age]} {:name "Alice"}]
(println name)) ; 正常输出 "Alice"

但：
clojure
(let [{:keys! [name age]} {:name "Alice"}]
(println age)) ; 抛出异常: Required key :age not found

2.2 在 & 后指定仅用于文档/检查的键

除了强制检查，Clojure 1.13 还允许在解构模式中的 & 后列出一些键，这些键不会被绑定，但可以被用于文档说明或某些检查目的。这类似于在函数参数中声明但不使用的参数。

例如：
clojure
(let [{:keys [name] & :keys [age]} {:name "Bob"}]
(println name)) ; 输出 "Bob"，age 不会被绑定

这里的 & :keys [age] 不会创建 age 绑定，但可以在宏或静态分析中用于验证映射是否包含这些键。这个语法特性为未来更丰富的元数据检查铺平了道路。

三、相关的 API 增强：req! 函数

除了解构指令，Clojure 1.13 还新增了一个实用函数 req!，它是 get 函数的变体。

• get 在键不存在时返回 nil（或可选的默认值）。
• req! 在键不存在时直接抛出异常，报告缺失的键。

clojure
(req! {:a 1} :a) ; => 1
(req! {:a 1} :b) ; => 抛出异常: Required key :b not found in map

这个函数对于不希望静默处理缺失键的场景非常实用，例如在配置解析或数据验证中。

四、其他变更

4.1 let/loop/let* 禁止将 & 用作局部绑定名

在 Clojure 中，& 在解构中用于捕获剩余参数（类似可变参数）。在 1.13 之前，用户可能不小心将 & 作为局部变量名（例如 (let [& 1] ...)），这会导致歧义。新版本明确禁止这种做法，在编译期就会报错。

4.2 PersistentArrayMap 关键字键扩容阈值调高

PersistentArrayMap（PAM）是 Clojure 中小型映射的底层实现，当映射较小时使用数组存储，超过阈值后转换为 PersistentHashMap（PHM）。

在 1.12.5 及之前，如果映射的所有键都是关键字（keyword），阈值是 8 个键值对。从 1.13 开始，这个阈值提升到了 64。

为什么重要？

• 在数组大小范围内（≤64），PAM 的线性扫描（identity scan）比 PHM 的哈希查找更高效，因为关键字是 interned 的，可以用引用相等性（==）快速比较，避免了哈希计算和哈希冲突处理。
• 更多使用场景保持为 PAM，意味着 JIT 编译器可以更好地进行内联和去虚拟化（monomorphic dispatch），从而提升性能。
• 对于许多实际应用（如配置映射、小规模数据传递），映射通常不超过 64 个键，因此这个改动能带来可观的性能收益。

4.3 移除静态初始化常量的 ACC_FINAL 标志

这是一个底层的字节码改动。Clojure 编译器生成的静态初始化常量（如某些内部缓存）之前被标记为 ACC_FINAL（即 Java 的 final 字段）。新版本移除了这个标志，作为提升 Java 字节码基线版本的准备工作。

原因：未来的 JVM 版本（如 Java 22+）对 final 字段的验证器检查更加严格，要求它们必须在构造器或静态初始化器中明确赋值。Clojure 的某些内部机制可能无法满足这些新规则，因此提前移除 ACC_FINAL 以避免兼容性问题。

4.4 运行时与测试依赖更新

所有运行时和测试依赖已更新到最新版本（具体版本号未在公告中列出，但通常包括 tools.reader、core.specs.alpha 等）。

五、如何试用

如果你已经安装了 Clojure CLI（任何版本），可以通过以下命令启动一个包含 1.13.0-alpha1 的 REPL：

bash
clj -Sdeps '{:deps {org.clojure/clojure {:mvn/version "1.13.0-alpha1"}}}'

或者，在项目的 deps.edn 中添加依赖：

clojure
{:deps {org.clojure/clojure {:mvn/version "1.13.0-alpha1"}}}

六、总结与展望

Clojure 1.13 的检查键特性（:keys! 等）虽然是一个看似微小的语法糖，但它体现了 Clojure 社区对显式优于隐式的追求。在函数式编程中，数据结构的完整性至关重要，静默返回 nil 是一种“乐观”的设计，而检查键则提供了一种“防御性”的选项，让开发者可以根据场景选择安全或灵活。

此外，PAM 阈值的提升展示了 Clojure 在 JVM 性能优化上的持续投入——通过调整数据结构的切换点，让更多常见模式受益于线性扫描的高效性。

对于正在构建生产系统的 Clojure 开发者，建议尽快在关键路径上使用 :keys! 和 req!，它们能帮助你在开发阶段就捕获数据缺失的问题，而不是等到运行时出现难以调试的空指针。

原文链接：https://clojure.org/news/2026/07/02/clojure-1-13-alpha1