Clojure中如何利用其他必填键值进行字段验证？

嘿，刚接触Clojure Spec的话，这种跨字段依赖的验证确实是个常见需求，我给你分享个简洁直接的方法，不用额外创建新映射就能搞定！

首先，原生Clojure Spec里，单个字段的验证默认只接收该字段的值，没法直接拿到其他字段的上下文。所以最简便的方式是在整个地址映射的Spec上添加跨字段验证逻辑，用s/and把基础的s/keys规则和自定义验证函数结合起来。

完整代码示例 #

(require '[clojure.spec.alpha :as s])

;; 定义基础字段的Spec
(s/def ::country string?)
(s/def ::street string?)
(s/def ::state string?)
(s/def ::postal-code string?)

;; 定义带跨字段验证的地址Spec
(s/def ::address
  (s/and
    ;; 先确保所有必填字段存在且符合基础类型
    (s/keys :req-un [::country ::postal-code ::street ::state])
    ;; 这里添加依赖country的邮编验证逻辑
    (fn [{:keys [country postal-code]}]
      (cond
        (= country "Canada") (re-matches #"^[A-Z0-9]{5}$" postal-code)
        (= country "USA") (re-matches #"^[0-9]{5}$" postal-code)
        ;; 可以根据需求添加更多国家的规则，或者设置默认行为
        :else true)))) ; 默认允许未知国家的邮编，也可以改成false拒绝

测试验证效果 #

你可以用s/valid?来测试不同场景：

;; 加拿大合法邮编
(s/valid? ::address {:country "Canada" :postal-code "A1B2C" :street "Main St" :state "Ontario"})
;; => true

;; 加拿大非法邮编（纯数字）
(s/valid? ::address {:country "Canada" :postal-code "12345" :street "Main St" :state "Ontario"})
;; => false

;; 美国合法邮编
(s/valid? ::address {:country "USA" :postal-code "12345" :street "Main St" :state "California"})
;; => true

进阶优化：抽离验证逻辑 #

如果需要支持更多国家，或者验证逻辑更复杂，可以把验证逻辑抽成单独的函数，让代码更清晰易维护：

(defn valid-postal-code? [{:keys [country postal-code]}]
  (case country
    "Canada" (re-matches #"^[A-Z0-9]{5}$" postal-code)
    "USA" (re-matches #"^[0-9]{5}$" postal-code)
    "UK" (re-matches #"^[A-Z]{1,2}[0-9][A-Z0-9]? [0-9][A-Z]{2}$" postal-code)
    ;; 默认行为：未知国家的邮编是否允许通过？根据业务需求调整
    true))

(s/def ::address
  (s/and
    (s/keys :req-un [::country ::postal-code ::street ::state])
    valid-postal-code?))

这种方式完全不需要额外创建新映射，直接在整个地址的Spec层面完成跨字段验证，既简洁又符合Spec的设计思路。

内容的提问来源于stack exchange，提问作者pickles99