h2. 问题
为了进行运行时强制转换，规范需要遍历两次以删除分支信息：{{s/conform}} + {{s/unform}}。这引入了额外的延迟（见下面的示例）。
h2. 建议
新的通用 {{s/walk*}} 以支持通用规范遍历。
h2. 当前状态
* {{s/valid?}} 允许我们快速检查一个值是否符合规范
** [
https://dev.clojure.org/jira/browse/CLJ-2115] 可能有助于在一次遍历中返回错误。
* 对于强制转换，我们执行 {{s/conform}} + {{s/unform}} / {{s/explain}}
** [
https://dev.clojure.org/jira/browse/CLJ-2116] 将符合规范的规范与规范分开
尽管如此，在运行 {{s/conform}} + {{s/unform}} 时，我们遍历规范两次 - 从性能的角度来看并不理想。以下是一个示例，使用的是 2013 年晚期的 MacBook Pro，配备 2.5 GHz i7 处理器，JVM 以 {{-server}} 模式运行。
(require '[clojure.spec.alpha :as s])
(s/def ::id int?)
(s/def ::name string?)
(s/def ::languages (s/coll-of #{:clj :cljs} :into #{}))
(s/def ::street string?)
(s/def ::zip string?)
(s/def ::number int?)
(s/def ::address (s/keys
:req-un [::street ::zip ::number]))
(s/def ::user (s/keys
:req [::id]
:req-un [::name ::address]
:opt-un [::languages]))
(def value {::id 1
:name "Liisa"
:languages #{:clj :cljs}
:address {:street "Hämeenkatu"
:number 24
:zip "33200"}})
; 2.0 µs
(cc/quick-bench
(s/conform ::user value))
; 6.2 µs
(cc/quick-bench
(s/unform ::user (s/conform ::user value)))
尽管 {{s/conform}} 相对较快，但当运行 {{s/unform}} 时，示例中将延迟增加到三倍。既然我们知道我们不感兴趣于分支信息，我们就可以不发出这些信息。
h2. 建议
{{s/walk*}} 替换 {{s/confrom*}} 和 {{s/unform*}}，甚至可能替换 {{s/explain*}}。它将包含额外的 {{mode}} 参数，这将是一个以下之一的关键字
* {{:validate}} - 一旦首次失败规范即返回 false
* {{:conform}} - 与当前的 {{s/conform*}} 类似，也可能返回 {{s/explain}} 结果？
* {{:unform}} - 与当前的 {{s/unform*}} 类似
将强制类型转换、符合性判断和普通类型转换组合成一个操作，或许可以进行优化（例如，如果没有分支信息，只需要返回值即可）。
公共API可以保持不变（添加可选额外参数CLJ-2116），并增加一个新的强制类型转换，用以调用递归。
2. 结果
单次遍历验证与强制类型转换。运行时满足预期。
