core.match在类上无法匹配

Question

在评估这个超级简单的core.match表达式时，我得到：

(match [(class "3.14")]
       [Integer] "Integer"
       [Double] "Doubler")
; => "Integer"

这怎么可能是正确的，我是不是遗漏了一些关于core.match的基本内容？在此表单上执行宏展开-1将给我以下信息：

=> (clojure.core/let [ocr-2751 (class "3.14")] (clojure.core/let [Integer ocr-2751] "Integer"))

任何指南针都会赏识。

Answer 1

core.match允许您为match子句中的一个值指定一个名称，如下(从示例中)

(let [x 1 y 2]
  (match [x y]
    [1 b] b
    [a 2] a
    :else nil))

在这个例子中，如果第一个匹配值是一个，那么在用于生成结果的表达式中，第二个值将可以在名称b下访问。

由于match子句中的任何符号都被解释为将相应值绑定到该名称的指令，因此在您的示例中，名称Integer被绑定到值java.lang.String。

user> (match [(class "3.14")]
             [Integer] Integer
             [Double] "Doubler")
java.lang.String

user> (match [(class "3.14")]
             [name-to-bind] name-to-bind
             [Double] "Doubler")
java.lang.String

文档中还不清楚是否有一种方法可以使用core.match来计算match子句，而不是绑定到它。可以通过与字符串进行匹配来解决这一问题，尽管它失去了一些优雅之处：

user> (match [(str (class (int 3)))]
             ["class java.lang.Integer"] "Integer"
             ["class java.lang.String"] "String"
             ["class java.lang.Double"] "Double")
"Integer"
user> (match [(str (class "3.14"))]
             ["class java.lang.Integer"] "Integer"
             ["class java.lang.String"] "String"
             ["class java.lang.Double"] "Double")
"String"
user> (match [(str (class 3.14))]
             ["class java.lang.Integer"] "Integer"
             ["class java.lang.String"] "String"
             ["class java.lang.Double"] "Double")
"Double"