clojure - Clojure Spec中的`&`和`and`有什么区别？

Question

我似乎很难区分 Clojure Spec的&和运算符的含义。and他们似乎都在做同样的事情，只有一个被称为正则表达式运算符，我不确定我是否理解其重要性。

Answer 1

如果我们从中采样一些数据，我们可以看到两者之间的区别：

(ns playground
  (:require [clojure.spec     :as spec]
            [clojure.spec.gen :as gen]))

(gen/generate (spec/gen (spec/and #{:a :c} #{:b :a :c})))
=> :a
(gen/sample (spec/gen (spec/and #{:a :c} #{:b :a :c})))
=> (:c :a :c :a :a :a :a :a :a :c)

正如我们所见spec/and，匹配两个谓词#{:a :c}和匹配的单次出现#{:b :a :c}。

(gen/generate (spec/gen (spec/& #{:a :c} #{:b :a :c})))
=> [:c]
(gen/sample (spec/gen (spec/& #{:a :c} #{:b :a :c})))
=> ([:c] [:a] [:a] [:c] [:c] [:c] [:c] [:a] [:c] [:c])

spec/&另一方面，匹配谓词作为序列的一部分所接受的内容。