创建一个函数会调用这个函数

Question

我正在尝试自定义函数生成器以支持在`spec`指南中描述的场景https://clojure.org/guides/spec#_combining_check_and_instrument中，但目标是使生成的值依赖于具体参数，而不仅仅是`:ret`规范。

在处理这个问题的时候，我发现了一个奇怪的行为，我无法理解为什么生成的函数在被返回之前调用了一个奇怪的21次。

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

(s/fdef foo
  :args (s/cat :x int?)
  :gen #(gen/return
         (fn [& argv]
           (prn argv)
           (gen/generate (s/gen string?)))))

(gen/generate (s/gen `foo))
;; Prints:
;; (-1)
;; (-1)
;; (-2)
;; (-1)
;; (3)
;; (-2)
;; (-2)
;; (-1)
;; (-35)
;; (14)
;; (-16)
;; (26)
;; (-17)
;; (150)
;; (0)
;; (-1)
;; (25)
;; (5638)
;; (543)
;; (57)
;; (257)
;; Returns: #function[fspec-gen-bug.core/fn--6577/fn--6578]

这个行为似乎特定于函数生成，例如

(s/def ::bar
  (s/spec (s/coll-of int?)
          :gen #(gen/return
                 (doto [(gen/generate (s/gen int?))]
                   prn))))

(gen/generate (s/gen ::bar))
;; Prints:
;; [438803]
;; Returns: [438803]

为什么生成的函数被积极地调用？或者这是一个bug？

Answer 1

经过一些额外的调查，我明白，当通过` s/valid?`来生成函数时，会调用` s/conform*`，并且21是默认的` *fspec-iterations* `值。

我对在设计选择中与全仪器化验证产生分歧感到有些惊讶，即在函数生成时使用`:args`、`:ret`和`:fn`，而只有在函数执行时使用`:args`。

但经过思考后，由于每个函数都自动关联一个生成器，所以重要的是不要默默地生成一个不满足spec的`:fn`属性的函数。另外，鉴于生成函数的目的是作为占位符进行检查，在执行时只检查`:args`来进行正确的错误边界检查也是一件好事。

Comments

我们在规范2中有一个工单和一些关于此类替代实现的思路。