Clojure.spec：如何为对随机变更敏感的数据结构编写规格？

当然可以！Clojure.spec 提供了灵活的方式来控制测试数据的生成范围，刚好能解决你遇到的这个痛点。下面分享两种实用的解决方案：

方案一：直接限定规格的允许值集合 #

如果你希望函数参数只能是特定的几个值（包括有效和无效的文件名），可以直接用 s/and 结合集合检查来定义规格：

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

; 定义包含有效/无效文件名的集合
(def allowed-file-names #{"valid-data.txt" "non-existent-file.md" "invalid@path.txt"})

; 绑定规格到这个集合
(s/def ::file-name (s/and string? #(contains? allowed-file-names %)))

; 定义函数规格
(s/fdef test-fn
  :args (s/cat :x ::file-name))

这样当你执行 (s/exercise-fn test-fn)时，生成的测试数据只会从allowed-file-names` 集合中选取，不会再出现随机生成的无效文件名导致的读取失败问题。

方案二：用 s/with-gen 自定义生成器 #

如果你想保留原有规格的校验逻辑（比如依然要求参数是字符串），但只想在测试时生成特定的文件名，可以用 s/with-gen 给规格绑定自定义生成器：

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

; 保留原有的string?校验，但替换生成器为指定的文件名集合
(s/def ::file-name
  (s/with-gen string?
    #(gen/elements ["valid-data.txt" "non-existent-file.md" "invalid@path.txt"])))

(s/fdef test-fn
  :args (s/cat :x ::file-name))

这种方式的优势是：规格依然会校验参数是否为字符串（保证了函数的输入约束），但测试时只会生成你指定的文件名，兼顾了规格的校验能力和测试数据的可控性。

额外技巧：区分有效和无效测试用例 #

如果需要针对性地测试有效场景和错误场景，可以把两种类型的文件名都包含在生成集合里，比如：

(def valid-files ["valid-data.txt" "config.ini"])
(def invalid-files ["non-existent.md" "invalid@path.txt" ""])

(s/def ::file-name
  (s/with-gen string?
    #(gen/elements (concat valid-files invalid-files))))

这样 exercise-fn 会生成涵盖两种场景的测试数据，帮助你验证函数在不同输入下的表现。

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