带空的球拍匹配语义

Question

我的问题是，为什么下面的模式返回'match，尽管(make-tree 0 null null)显然不是null？

#lang racket
(define-struct tree (val left right))
(match (make-tree 1 (make-tree 0 null null) null)
  [(tree 1 null _) 'match]
  [_ 'no-match])

我注意到在第一个模式中将null更改为'()可以得到正确的(？)价值。为什么会发生这种情况？null和'()不是等价的吗？提前谢谢。

Answer 1

根据https://docs.racket-lang.org/reference/match.html，模式中的标识符有以下规则：

id或(var id) -匹配任何内容，并将id绑定到匹配的值。

在您的示例中，null不被计算为值。相反，它被该位置匹配的值(即(make-tree 0 null null) )阴影化为标识符。

Answer 2

如前所述，裸标识符将匹配任何内容，因为匹配模式中标识符的目的是创建匹配的结果的新绑定。当然，null不是Racket中的关键字，它只是一个由racket/base导出的绑定，所以它只是像往常一样被绑定。相反，'()是一个引用的列表文本，显然可以被match检测并相应地处理。

但是，有时能够动态比较值是有用的，在这种情况下，这些值将绑定到标识符。在这种情况下，您可以使用==匹配扩展程序，它将将匹配与任意表达式的值进行比较。如果您愿意，这将允许您使用null：

#lang racket
(define-struct tree (val left right))
(match (make-tree 1 (make-tree 0 null null) null)
  [(tree 1 (== null) _) 'match]
  [_ 'no-match])
; => 'no-match

当然，在这种情况下使用'()可能更清楚。