生成器覆盖无法按预期在多Spec上工作。
下面的代码说明了问题。
{code:none}
(s/def ::obj-type #{:a :b})
(s/def ::base-obj (s/keys :req [::obj-type]))
(defmulti obj-type ::obj-type)
(defmethod obj-type :a [_]
::base-obj)
(defmethod obj-type :b [_]
::base-obj)
(s/def ::obj (s/multi-spec obj-type ::obj-type))
{code:none}
(gen/sample (s/gen ::obj {::obj-type #(gen/return :a)}))
在上面的例子中，为多方法提供的分发函数*::obj-type*进行了生成器覆盖。
预期只会返回*{::obj-type :a}*的集合。
实际上，它也会返回*{::obj-type :b}*.
那是因为生成器不能用于约束样本的分发键集合。
h2. 当前方法
在多方法的情况下，为每个可能的分发值构建生成器。
然后随机选择一个，而不考虑对分发函数（键）的覆盖。
h2. 补丁方法
提交可用[这里|
https://github.com/bonega/spec.alpha/commit/9cb42478b52eac275d496ec29669e2bf4b3e8e1f]
修补版本的版本构建与原始版本完全相同的分发值生成器。
之后，检查是否存在对分发函数的覆盖。
如果有的话，使用覆盖生成器执行gen/bind。
bind函数从覆盖生成器中生成值。
然后使用该值来查找和返回正确的多方法生成器。
[测试案例|
https://pastebin.com/62ZT5Zfc]
