pcase 各种 pattern 使用举例

1. 'VAL

值相等时匹配。

(pcase 'foo
  ('foo 123))
;; => 123

VAL 是整数、字符串或关键字,引号可省略。

2. SYMBOL

匹配一切值,绑定 SYMBOL(符号 _ 除外)

(pcase 1
  (x (1+ x)))
;; => 2

3. _

匹配一切值,但不绑定值。

(pcase 1
  (_ "hello"))
;; => "hello"

4. `

匹配列表。支持 (elisp) Dotted Pair Notation 指定 cdr。

(pcase '(1 2 3 4)
  (`(,a ,_ . ,rest)
   (list :a a
         :rest rest)))
;; => (:a 1 :rest (3 4))

5. (guard BOOLEXP)

匹配 BOOLEXP 为真。

(pcase nil
  ((guard (> 2 1)) "二大于一"))
;; => "二大于一"

6. (pred FUN)

匹配 (fun EXPVAL) 为真。

(pcase "hello"
  ((pred stringp) "this is a string")
  ((pred numberp) "this is a number"))
;; => "this is a string"

FUN 除了直接为函数名,还可以写成一个列表,当作函数调用,pcase 会把 EXPVAL 加到最后位置,也就是你写的 (FUN arg0 arg1 ... argn) 变成 (FUN arg0 arg1 ... argn EXPVAL)

(pcase 1
  ((pred (< 0)) "positive"))
;; => "positive"

上面 (< 0) 变成 (< 0 1)

7. (and PAT...)

当所有 PAT 全匹配时。

(pcase "hello"
  ((and (pred stringp)
        s
        (guard (> (length s) 0)))
   (format "%S 是字符串,且非空" s)))
;; => "\"hello\" 是字符串,且非空"

这里 andpcase 模式,不是 Lisp 函数 andpcase 模式和函数调用很像,需要区分,比如 (guard (> (length s) 0))pcase 模式,但里面的 (> (length s) 0) 是正常的 Lisp 代码。

and 模式里面是三个模式依次匹配,第二个模式符号 s 匹配一切并绑定值,类似于 let*,后续匹配可以访问。

8. or

当任意一个 PAT 匹配时。

(pcase 2
  ((or 1 2 3) "1 to 3"))
;; => "1 to 3"

9. (let PAT EXPR)

PAT 匹配 EXPR 时匹配。类似于在一个 pcase 里使用另一个 pcase

(pcase 1
  ((and n (let 2 (1+ n)))
   "haha"))
;; => "haha"

2 是模式 PAT(1+ n) 是表达式 EXPR

10. (app FUN PAT)

apppred 非常像,区别在于匹配条件,predFUN 为真时匹配,而 appFUN 结果的匹配 PAT 时才匹配。

app 效果类似于 pred + let 的组合。

(pcase 1
  ((app 1+ 2) 100))
;; => 100

11. seq

seq 模式由 seq.el 定义(所以需要 (require 'seq) 才能用)

(pcase '(1 2 3 4)
  ((seq x _ y)
   (list x y)))
;; => (1 3)

前面提到过 ` 模式用 (elisp) Dotted Pair Notation 匹配 cdr,但是 seq 不是,它用 &rest,和 cl-destructuring-bind 一样。

(pcase '(1 2 3)
  ((seq a &rest r)
   (list a r)))
;; => (1 (2 3))

12. map

map.el 定义。

(pcase '((a . 1) (b . 2))
  ((map a b) (list a b)))

还可以重命名变量:

(pcase '((a . 1) (b . 2))
  ((map ('a val-of-a))
   val-of-a))
;; => 1

13. rx

rx.el 定义。

正则表达式匹配时。

(pcase "192.168.1.1"
  ((rx (1+ (or num ".")))
   "IP address"))
;; => "IP address"

恐怕取出匹配更加有用:

(pcase "11:30"
  ((rx (let hour (= 2 num)) ":"
       (let minute (= 2 num)))
   (list hour minute)))
;; => ("11" "30")

backref 除了接受数字(匹配分组,和原始 rx 宏一样),还可以跟 let 结合起来

(pcase "12 = 12"
  ((rx (let x (1+ num))
       " = "
       (backref x))
   "n = n"))
;; => "n = n"

14. cl-struct

当类型匹配时匹配。

(cl-defstruct (dog (:constructor dog-create))
  name age)

(pcase (dog-create :name "Snoopy" :age 47)
  ((cl-struct dog name age)
   (format "%s is %s" name age)))
;; => "Snoopy is 47"

15. eieio

EXPVAL 是 EIEIO 类时匹配。

(pcase (person :name "Charlie" :age 4)
  ((eieio name age)
   (format "%s is %d" name age)))
;; => "Charlie is 4"

16. (radix-tree-leaf VPAT)

radix-tree.el 定义。

匹配 radix tree 数据结构的叶子,VPAT 绑定值,只有在 radix-tree-iter-mappings 内部用到过,我不清楚它的用途,感觉只是用来在递归这个数据结构时,用来退出的。

(pcase 123
  ((radix-tree-leaf v) v))
;; => 123
24 个赞

感谢分享,收获满满,pcase 太强大了!简单的几个语句,可以少写许多代码。

pcase-let 也很好用,可以 destructure(虽然严格说不在题目的范围内):

(setq a '(1 . 2))
(pcase-let ((`(,x . ,y) a))
  (+ x y))
;; => 3