使用Clojure.Spec的spec/cat定义Map规格时验证失败

核心问题是你用错了Spec构造器：s/cat是用来验证**有序序列（向量、列表这类）**结构的工具，根本不适合用来验证Map。你生成的是Map，但s/cat会把Map当成键值对组成的无序序列去匹配，自然会验证失败。

具体错误点拆解 #

1. s/cat的误用：s/cat的设计目标是匹配像[UUID "张三" "123456" ...]这样的有序向量，而非{:id UUID, :name "张三"}这样的键值对Map。用它定义Map的Spec，从根上就违背了Spec的设计逻辑。
2. Address部分的错误写法：(s/nilable #(s/map-of ::address %))完全错误，若::address已经是一个Map的Spec，直接写(s/nilable ::address)即可，不需要额外嵌套map-of。

修正后的代码示例 #

(ns thrift-store.entities.customer
  (:require [clojure.spec.alpha :as s]
            [thrift-store.entities.address :refer :all]))

(s/def ::customer
  (s/keys :req-un [::id ::name ::document]
          :opt-un [::email ::phone-number ::address]))

;; 假设你的Address Spec是类似这样的定义（示例）
(s/def ::address
  (s/keys :req-un [::street ::city ::zip-code]
          :opt-un [::suite]))

验证逻辑说明 #

• s/keys是Clojure Spec专门为验证Map结构设计的构造器：:req-un表示Map必须包含的非命名空间键，:opt-un表示可选包含的键。
• 如果你需要保留带命名空间的键（比如:thrift-store.entities.customer/id），可以把:req-un换成:req，:opt-un换成:opt，同时调整生成Map时的键名即可。

内容的提问来源于stack exchange，提问作者Guilherme Djrdjrjan Santos