Scheme - 正确使用cons创建列表

时间:2015-07-14 01:20:07

标签: scheme racket sicp

我一直试图解决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中避免这些陷阱/陷阱?

1 个答案:

答案 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)