我一直试图解决SICP的练习2.20,其中"点尾"符号被引入。我的问题是,我的函数返回一个嵌套列表,而不是返回一个带有结果的正确列表。 我知道我称之为缺点的方式有问题,但我仍然不知道如何解决这个问题。
所以这是我的功能:
(define (same-parity first . items)
(define (speccar items)
(cond ((null? items) 2)
((not (pair? items)) (modulo items 2))
(else (modulo (car items) 2))))
(define (iter-parity first items result)
(let ((parityFirst (modulo first 2)) (samepar (speccar items)))
(if (null? items)
result
(if (= parityFirst samepar)
;; This next line is where the problem is...
(iter-parity first (cdr items) (cons (list result) (list (car items))))
(iter-parity first (cdr items) result)))))
(iter-parity first items first))
测试:
(same-parity 1 2 3 4 5)
((((1) 3)) 5)
现在,我已经阅读了以下解决类似问题的答案:
Cons element to list vs cons list to element in Scheme
How to use 'cons' without generating nested lists in Scheme?
他们当然会明确问题的来源,但是如何实际实施合适的解决方案呢? 并且,如果可能的话,思考"的正确方法是什么?在Scheme中避免这些陷阱/陷阱?
答案 0 :(得分:2)
您错误地构建了输出列表 - 请记住:cons
的第一个参数应该是当前元素,第二个参数是结果列表。
此外,鉴于您正在使用尾递归,您必须在末尾reverse
输出以保留与原始列表中相同的顺序。试试这个:
(define (same-parity first . items)
(define (speccar items)
(cond ((null? items) 2)
((not (pair? items)) (modulo items 2))
(else (modulo (car items) 2))))
(define (iter-parity first items result)
(let ((parityFirst (modulo first 2))
(samepar (speccar items)))
(if (null? items)
(reverse result)
(if (= parityFirst samepar)
(iter-parity first
(cdr items)
(cons (car items) result))
(iter-parity first
(cdr items)
result)))))
(iter-parity first items (list first)))
如果我们使用内置程序(不要重新发明轮子!),上述解决方案可以大大简化。这是在Scheme中编写程序的推荐方法 - 坚持功能风格:
(define (same-parity head . tail)
(if (even? head)
(filter even? (cons head tail))
(filter odd? (cons head tail))))
无论哪种方式,它都按预期工作:
(same-parity 1 2 3 4 5)
=> '(1 3 5)