Question

我编写了这个函数，如果给出的参数匹配，则返回t，否则为nil。

(defun match (input-form pattern)
  (cond
    ((and (not input-form) (not pattern)) t)
    ((not pattern) nil)
    ((eq (car pattern) '*) (or (match input-form (cdr pattern)) (match (cdr input-form) pattern)))
    ((not input-form) nil)
    ((and (> (length (string (car pattern))) 1) (eq (char (string (car pattern)) 0) '#\?))
            (match (cdr input-form) (cdr pattern)) )
    ((eql (car input-form) (car pattern)) (match (cdr input-form) (cdr pattern))) ) )

当我这样做时：

(setq patterns 
    '(((bonjour *) bonjour) ((salut *) salut)) )

(assoc '(bonjour Eliza) patterns :test #'match)

效果很好并返回：((bonjour *) bonjour)

和(assoc '(hello Eliza) patterns :test #'match) 也运作良好，并返回零。

但是当我向这样的变量模式添加模式时：

(setq patterns 
'(((bonjour *) bonjour) ((salut) salut) ((* mere * pere *) parlez-moi de vos parents) ((mere *) la mere de qui) ((* mere) parlez-moi de votre mere)) )

当我要求匹配的东西时，它可以工作，但当我要求一些不匹配的东西时，我收到一个堆栈溢出错误消息。

我做错了什么？

Answer 1

如果您(trace match)，您将立即得到答案（只需记得快速点击 Ctrl-C ： - ）：

  0: (MATCH (BONJOUR2 ELIZA) (BONJOUR *))
  0: MATCH returned NIL
  0: (MATCH (BONJOUR2 ELIZA) (SALUT))
  0: MATCH returned NIL
  0: (MATCH (BONJOUR2 ELIZA) (* MERE * PERE *))
    1: (MATCH (BONJOUR2 ELIZA) (MERE * PERE *))
    1: MATCH returned NIL
    1: (MATCH (ELIZA) (* MERE * PERE *))
      2: (MATCH (ELIZA) (MERE * PERE *))
      2: MATCH returned NIL
      2: (MATCH NIL (* MERE * PERE *))
        3: (MATCH NIL (MERE * PERE *))
        3: MATCH returned NIL
        3: (MATCH NIL (* MERE * PERE *))
          4: (MATCH NIL (MERE * PERE *))
          4: MATCH returned NIL
          4: (MATCH NIL (* MERE * PERE *))
            5: (MATCH NIL (MERE * PERE *))
            5: MATCH returned NIL
            5: (MATCH NIL (* MERE * PERE *))

即，您需要在逐步完成模式之前测试(null input-form) ：

(defun match (input-form pattern) (cond ((and (null input-form) (null pattern)) t) ((or (null pattern) (null input-form)) nil) ((eq (car pattern) '*) (or (match input-form (cdr pattern)) (match (cdr input-form) pattern))) ((and (> (length (string (car pattern))) 1) (char= (char (string (car pattern)) 0) #\?)) (match (cdr input-form) (cdr pattern))) ((eql (car input-form) (car pattern)) (match (cdr input-form) (cdr pattern)))))

请注意我对您的代码所做的缩进和空格更改，以及在检查空列表时使用null而不是not（也可能会考虑endp）。< / p>

堆栈溢出与assoc和功能测试

1 个答案: