(Racket) 返回满足条件的列表的子列表

Question

我在编写返回满足条件的对子列表的函数时遇到问题。

当前代码：

(define lst1 '((a . 8)(b . 3)(c . 1)(d . 9)(e . 4)))

(define (letter t)
  (caar t))

(define (numb p)
  (cdar p))

(define (satisfy? c? lst)
  (cond
    [(or (c? (letter lst)) (c? (numb lst))) #t]
    [else #f]))

(define (find-sublist c? lst)
  (cond
    [(satisfy? c? lst) (cons (car lst) (find-sublist c?(cdr lst)))]
    [else (find-sublist c? (cdr lst))]))

控制台输入：

(find-sublist (lambda(x) (> (numb x) 3)) lst1)

想要的输出：

'((a . 8)(d . 9)(e . 4))

我当前的输入包括违反合同或对的合同

car: contract violation   
     expected: pair?   
     given: '()

cdar: contract violation
      expected: (cons/c pair? any/c)
      given: 'a

Answer 1

您的代码有几个问题：

• letter 和 numb 过程在列表元素上运行，而不是在列表上，所以它们应该只是car和cdr。
• 您忘记了基本情况，当列表为空时会发生什么？
• 不要将() 放在lst 周围，这不是程序。
• 更重要的是：您的satisfy? 程序尝试对号码上的字母or 进行操作，但在lambda 中您已经提取了该号码。解决方案就是摆脱这个过程（或者，不要提取lambda 中的数字，但是您必须在应用条件之前测试lambda 的参数是否为数字。 )

这应该可以解决问题：

(define (letter t)
  (car t))

(define (numb p)
  (cdr p))

(define (find-sublist c? lst)
  (cond
    [(null? lst) '()]
    [(c? (car lst)) (cons (car lst) (find-sublist c? (cdr lst)))]
    [else (find-sublist c? (cdr lst))]))

它按预期工作：

(define lst1 '((a . 8) (b . 3) (c . 1) (d . 9) (e . 4)))
(find-sublist (lambda (x) (> (numb x) 3)) lst1)
=> '((a . 8) (d . 9) (e . 4))

仅供参考，您重新实现了内置的 filter 过程。您应该尽可能使用现有程序；）

(filter (lambda (x) (> (numb x) 3)) lst1)
=> '((a . 8) (d . 9) (e . 4))