两元素列表方案

Question

我需要编写一个确定给定列表是否为一对元素的函数。 如果列表恰好包含两个元素，则程序将仅响应#t；否则，将仅响应#f，例如：

(zipper? '((a 1)(b 2))) => #t

和

(zipper? '((foo 100)(bar 2 3))) => #f

我对Scheme还是很陌生，因此不胜感激！ 谢谢！

Answer 1

尚不清楚该过程的“正确”输入是任意列表还是两元素列表。 如果严格来说是两个元素的列表，它将起作用：

(define (is-two-element-list? lst)
  (and (list? lst)
       (= (length lst) 2)))

(define (zipper? lst)
  (and (is-two-element-list? lst)
       (is-two-element-list? (first lst))
       (is-two-element-list? (second lst))))

…如果这是一个任意长度的列表，我们要检查其元素，则可以使用andmap在Racket中运行：

(define (zipper? lst)
  (andmap is-two-element-list? lst))

如果您不使用Racket，那么使用every此解决方案将在具有SRFI的任何解释器中运行：

(require srfi/1)

(define (zipper? lst)
  (every is-two-element-list? lst))

无论哪种方式，请注意，诀窍是定义is-two-element-list? 验证两个元素列表属性的过程，之后我们可以根据需要应用它。

Answer 2

这样想吧。 如果zipper列表为'()则答案为#t 。 如果zipper列表不是'()那么第一个元素是两个元素，其余元素是另一个zipper? ，然后返回#t 。

(define (zipper? list)
  (or (null? list)
      (and (= 2 (length (car list)))
           (zipper? (cdr list)))))

也许你的意思是：

(define (zipper? list)
  (or (not (pair? list))
      (and (= 2 (length list))
           (zipper? (list-ref list 0))
           (zipper? (list-ref list 1)))))

每个元素在任何级别都有两个元素。

> (zipper? '((a 1 2) '(b)))
#f
> (zipper? '(a b))
#t
> (zipper? '(((a (b b)) c) (1 2)))
#t