方案编程在嵌套循环中查找项目

Question

我有以下项目

(define itemslist
  (list 'a1 'b2 'c3 (list 'z1 'z2) 'd5 'e6))

我查找项目的方法如下

(define find-item
  (lambda (item itemslist)
    (cond ((null? itemslist) #f)
          ((list? (car itemslist))
            (cond ((null? itemslist) #f)
                  (else (find-item item (car itemslist)))))
          ((equal? stn (car itemslist)) (display "found"))
          (else (find-stn stn (cdr itemslist)))
          )
    )
  )

使用上面的方法我可以找到 a1、b2、c3、z1、z2。但是当我想查找 d5 以后的内容时，它什么也没有返回。看起来已经跳过堆栈了。顺便说一句，我刚刚开始学习Scheme，所以简单的解释会更好。

还有一个 qns，如果我有这个怎么样，

(list 'a1 'b2 'c3 (list 'z1 (list 'y1 'y2) 'z2) 'd5 'e6)

这也有效吗？谢谢！

Answer 1

是的，您跳过列表。
示例：

'(1 '(2 3) 4)

如果 (list? '(2 3)) 为 true，则 else 部分（外部 cond）不会被评估，因此 4 被跳过。
因此，要么将 else 部分放在 list? 块中，要么重新设计代码。

如果itemlist是一个列表/对，您可以立即在递归调用中传递它
您可以避免在谓词内编写类似 (car itemslist) 的代码，从而使代码变得简单。

这是一个重新设计（简化）的版本：

(define (find-item item l)
  (cond ((equal? item l) #t)
        ((pair? l) (or (find-item item (car l)) (find-item item (cdr l))))
        (else #f)))

提示：您还可以使用 '(...) 表示法而不是 (list ...) 编写列表，即

(find-item 'z2 '('a1 'b2 'c3 '('z1 '('y1 'y2) 'z2) 'd5 'e6))  
#t  
(find-item 'e6 '('a1 'b2 'c3 '('z1 '('y1 'y2) 'z2) 'd5 'e6))  
#t

Answer 2

为了写更多而写更多...这通常称为“树遍历”，因为这样的嵌套列表实际上是一棵二叉树。列表实际上是由二进制对组成的，因此当您有一对 (l . r) 时，l 是树的左分支，而 r code> 是树的右分支。

例如，'(1 (2 3) 4) 是 '(1 . ((2 . (3 . ())) . (4 . ())))< /code> 可以绘制为

     .
    / \
   1   .
      / \
     /   .
    /   / \
   .   4  ()
  / \ 
 2   .
    / \
   3  ()

任意对 (l . r)，car 为您提供左树，cdr 为您提供正确的。因此，当您编写 (pair? ls) 时，您实际上是在询问您是否位于树中的一个分支，此时您应该在左侧分支 (car）和右分支（cdr）。希望能帮助您理解列表。

Answer 3

即使您得到了[具体]答案，这里的一些内容可能会帮助您解决类似的问题。

(define describe
  (lambda (e)
    (cond #;((list? e)
             `(list ,@(map describe e)))
          ((pair? e)
           `(cons ,(describe (car e))
                  ,(describe (cdr e))))
          ((vector? e)
           `(vector ,@(map describe (vector->list e))))
          ((or (null? e) (symbol? e)) `',e)
          (else e))))

此过程打印生成给定 sexpr 的代码。例如：

> (describe '(a 2 b 3))
(cons 'a (cons 2 (cons 'b (cons 3 '()))))

它还会在需要的地方放置引号，因此它将它们放置在符号或 () 之前，但不在数字之前。当您对嵌套对感到满意时，您可能需要删除第三行上的 #;，以生成更紧凑的输出：

> (describe '(a 2 b 3))
(list 'a 2 'b 3)

此代码可以教您许多有关引用的知识。例如：

> (describe ''''a)
(list 'quote (list 'quote (list 'quote 'a)))