使用Spec验证已知和未知键值的映射

我想创建一个Clojure规范来验证由:multipart中间件创建的http请求的reitit.ring.middleware.multipart参数。

多部分表单数据必须包含可以用s/keys进行验证的特定参数,以及任意数量的具有任意参数名称的文件。

要验证的地图如下所示:

           {:visualisation "vis"
            :file-xy       {:filename     "foo.png",:content-type "image/png",:tempfile     "C:\\Temp\\ring-multipart-123.tmp",:size         295281}
            :file-abc      {:filename     "bar.png",:tempfile     "C:\\Temp\\ring-multipart-456.tmp",:size         42}}

我可以使用reitit.ring.middleware.multipart/temp-file-part规范来验证文件,如下所示:

    (s/def :multipart/files (s/map-of :multipart/param multipart/temp-file-part))

将其放在一起,我想出了一个可以通过的规范,但是它允许所有未知参数为文件或字符串:

(s/def :multipart/param keyword?)
(s/def :multipart/visualisation string?)
(s/def :multipart/items (s/map-of :multipart/param (s/or :file multipart/temp-file-part :visualisation string?)))
(s/def :visualisation/files (s/and (s/keys :req-un [:multipart/visualisation])
                                   :multipart/items))

如何为具有特定键的地图定义规范,并为其他键定义值验证器?

zhongchuan000 回答:使用Spec验证已知和未知键值的映射

您可以添加谓词函数以确保地图的值中只有一个是字符串:

(s/def :visualisation/files
  (s/and (s/keys :req-un [:multipart/visualisation])
         #(= 1 (count (filter string? (vals %))))
         :multipart/items))

(s/conform :visualisation/files
  {:visualisation "vis"
   :file-xy       {:filename "" :content-type "" :tempfile "" :size 0}})

(s/conform :visualisation/files
  {:visualisation "vis"
   :file-abc      "not valid"
   :file-xy       {:filename "" :content-type "" :tempfile "" :size 0}})

但是,如果您使用的是s/or的输出,那么包罗万象的conform规范将产生冗余标签。

另一种选择是使用两种规格检查:

(def data
  {:visualisation "vis"
   :file-xy       {:filename "" :content-type "" :tempfile "" :size 0}})

(s/conform (s/keys :req-un [:multipart/visualisation])
           data)

(s/conform (s/map-of :multipart/param :multipart/temp-file-part)
           (dissoc data :visualisation))

如果您控制数据的形状或可以重新排列数据,我会考虑这样的事情,这种事情更容易确定:

{:visualisation "foo"
 :files {:file-1 {,}
         :file-2 {,}}}
本文链接:https://www.f2er.com/3063493.html

大家都在问