Clojure Spec 在分层规范中访问数据答案

【问题标题】：Clojure Spec accessing data in hierarchical specClojure Spec 在分层规范中访问数据
【发布时间】：2017-10-11 10:22:44
【问题描述】：

如果您有一组用于验证分层数据集的规范 - 比如说 yaml 文件。从其中一个子规范中，是否可以引用树中较早出现的数据？

【问题讨论】：

你有具体的例子吗？一般来说，您的内部/嵌套规范不会接收祖先数据，但您可以使用外部规范解决问题。
我想验证一些代表复杂数据结构的 yaml。我想证明的验证点是结构的一部分引用同一结构的另一部分，但我想证明引用的部分确实存在。这意味着即将在引用点应用谓词并回溯 yaml 树，然后返回到引用项的点。为此，我需要能够获取验证引用的规范的父级。
您似乎希望我们为您编写一些代码。虽然许多用户愿意为陷入困境的程序员编写代码，但他们通常只在发布者已经尝试自己解决问题时才提供帮助。展示这项工作的一个好方法是包含您迄今为止编写的代码、示例输入（如果有的话）、预期输出以及您实际获得的输出（控制台输出、回溯等）。您提供的详细信息越多，您可能收到的答案就越多。检查FAQ 和How to Ask。

标签： clojure clojure.spec

【解决方案1】：

这是您可以采取的一种方法的示例：

(s/def ::tag string?)

(s/def ::inner (s/keys :req-un [::tag]))

(s/def ::outer
  (s/and
    (s/keys :req-un [::inner ::tag])
    #(= (:tag %) ;; this tag must equal inner tag
        (:tag (:inner %)))))

(s/conform ::outer {:tag "y" ;; inner doesn't match outer
                    :inner {:tag "x"}})
;=> :clojure.spec.alpha/invalid

(s/conform ::outer {:tag "x"
                    :inner {:tag "x"}})
;=> {:tag "x", :inner {:tag "x"}}

根据您的要求，您也许可以从外向内而不是从内向外做出这样的断言。

【讨论】：

感谢一个非常有用的答案